Yisu Remy Wang

According to our database, Yisu Remy Wang authored at least 15 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Convergence of Datalog over (Pre-) Semirings.

Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang

SIGMOD Rec., 2023

Better Together: Unifying Datalog and Equality Saturation.

Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey

Proc. ACM Program. Lang., 2023

Free Join: Unifying Worst-Case Optimal and Traditional Joins.

Yisu Remy Wang, Max Willsey, Dan Suciu

Proc. ACM Manag. Data, 2023

No More Nulls!

Yisu Remy Wang

CoRR, 2023

2022

Datalog in Wonderland.

Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang

SIGMOD Rec., 2022

Relational e-matching.

Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock

Proc. ACM Program. Lang., 2022

Optimizing Recursive Queries with Program Synthesis.

Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu

CoRR, 2022

Optimizing Recursive Queries with Progam Synthesis.

Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

egg: Fast and extensible equality saturation.

Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha

Proc. ACM Program. Lang., 2021

Rewrite rule inference using equality saturation.

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

CoRR, 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

Proceedings of Machine Learning and Systems 2021, 2021

2020

SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra.

Yisu Remy Wang, Shana Hutchison, Dan Suciu, Bill Howe, Jonathan Leang

Proc. VLDB Endow., 2020

egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

CoRR, 2020

2016

Autobahn: using genetic algorithms to infer strictness annotations.

Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher

Proceedings of the 9th International Symposium on Haskell, 2016