Remy Wang

Remy Wang

ASSISTANT PROFESSOR
COMPUTER SCIENCE

Engineering VI - Room 277

Email: remywang@cs.ucla.edu
Phone: (424) 259-5072
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