Yisu Remy Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Recursive Queries

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Yisu Remy Wang, Max Willsey, Dan Suciu
From Binary Join to Free Join. SIGMOD Rec. 53 (1) (2024)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of datalog over (Pre-) Semirings. J. ACM 71 (2) (2024)
Yisu Remy Wang, Max Willsey, Dan Suciu
Free Join: Unifying Worst-Case Optimal and Traditional Joins. Proc. ACM Manag. Data 1 (2) (2023)
Yisu Remy Wang
No More Nulls! CoRR (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. SIGMOD Rec. 52 (1) (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. CoRR (2023)
Yisu Remy Wang, Max Willsey, Dan Suciu
Free Join: Unifying Worst-Case Optimal and Traditional Joins. CoRR (2023)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Datalog in Wonderland. SIGMOD Rec. 51 (2) (2022)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. PODS (2022)
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
Optimizing Recursive Queries with Program Synthesis. CoRR (2022)
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Relational e-matching. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference (2022)
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Relational E-Matching. CoRR (2021)
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. MLSys (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. CoRR (2021)
Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. CoRR (2021)
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
egg: Easy, Efficient, and Extensible E-graphs. CoRR (2020)
Yisu Remy Wang, Shana Hutchison, Jonathan Leang, Bill Howe, Dan Suciu
SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra. CoRR (2020)
Yisu Remy Wang, Shana Hutchison, Dan Suciu, Bill Howe, Jonathan Leang
SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra. Proc. VLDB Endow. 13 (11) (2020)
Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher
Autobahn: using genetic algorithms to infer strictness annotations. Haskell (2016)