Remy Wang

ASSISTANT PROFESSOR (BEGINNING JULY 2024)
COMPUTER SCIENCE

Engineering VI - Room 277

Email: remywang@cs.washington.edu
Phone: (310) 206-3321
Fax: (310) 825-2273

RESEARCH AND INTERESTS

optimization of modern data systems with advanced techniques from programming languages and databases

NOTABLE PUBLICATIONS

Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, and Yisu Remy Wang. “Convergence of Datalog over (Pre-) Semirings”. In: PODS ’22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. Ed. by Leonid Libkin and Pablo Barceló. ACM, 2022 pp. 105 –117. Doi: 10.1145/3517804.3524140. URL: https://doi.org/10.1145/3517804.3524140 .
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, and Yisu Remy Wang. “Datalog in Wonderland”. In: SIGMOD Rec. 51 .2 (2022), pp. 6 –17. doi : 10.1145/3552490.3552492 . URL: https://doi.org/10.1145/3552490.3552492 .
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, and Dan Suciu. “Optimizing Recursive Queries with Program Synthesis”. In: SIGMOD ’22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. Ed. by Zachary Ives, Angela Bonifati, and Amr El Abbadi. ACM, 2022, pp. 79 –93. Doi: 10.1145/3514221.3517827. URL: https://doi.org/10.1145/3514221.3517827 .
Yihong Zhang, Yisu Remy Wang, Max Willsey, and Zachary Tatlock. “Relational e-matching”. In: Proc. ACM Program. Lang. 6. POPL (2022), pp. 1 –22. doi : 10.1145/3498696 . URL: https://doi.org/10.1145/3498696 .
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock. “Rewrite rule inference using equality saturation”. In: Proc. ACM Program. Lang. 5. OOPSLA (2021), pp. 1 –28. Doi: 10.1145/3485496. URL: https://doi.org/10.1145/3485496 .
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha. “Egg: Fast and extensible equality saturation”. In: Proc. ACM Program. Lang. 5. POPL (2021), pp. 1 –29. Doi: 10.1145/3434304. URL: https://doi.org/10.1145/3434304 .
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. “Equality Saturation for Tensor Graph Superoptimization”. In: Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual, April 5-9, 2021. Ed. by Alex Smola, Alex Dimakis, and Ion Stoica. mlsys.org, 2021. url: https://proceedings.mlsys.org/paper/2021/ hash/65ded5353c5ee48d0b7d48c591b8f430-Abstract.html .
Yisu Remy Wang, Shana Hutchison, Dan Suciu, Bill Howe, and Jonathan Leang. “SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra”. In: Proc. VLDB Endow. 13 .11 (2020), pp. 1919 –1932. URL: http://www.vldb.org/pvldb/vol13/p1919- wang.pdf.
Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher. “Autobahn: using genetic algorithmsto infer strictness annotations”. In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016. Ed. by Geoffrey Mainland. ACM, 2016, pp. 114 –126. Doi:10.1145/2976002.2976009. url: https://doi.org/10.1145/2976002.2976009 .

EDUCATION

PhD, [2023] University of Washington - Computer Science & Engineering

AWARDS AND RECOGNITION

PODS Best Paper Award, 2022
OOPSLA Distinguished Paper Award, 2021
POPL Distinguished Paper Award, 2021
Microsoft Recruitment Award University of Washington, 2018
CRA Outstanding Undergraduate Researcher - Finalist Tufts University, 2016