Yisu Remy Wang

35 papers A* 1A 4C 1Journal 26Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A conf
Algorithms for Optimizing Acyclic Queries.
ICDT
Zheng Luo, Wim Van den Broeck, Guy Van den Broeck, Yisu Remy Wang
2026 A conf
Database Theory in Action: Yannakakis' Algorithm.
ICDT
Paraschos Koutris, Stijn Vansummeren, Qichen Wang, Yisu Remy Wang, Xiangyao Yu
2026 J jnl
Database Theory in Action: Yannakakis' Algorithm.
CoRR
Paraschos Koutris, Stijn Vansummeren, Qichen Wang, Yisu Remy Wang, Xiangyao Yu
2026 J jnl
TreeTracker Join: Simple, Optimal, Fast.
ACM Trans. Database Syst.
Zeyuan Hu, Yisu Remy Wang, Daniel P. Miranker
2025 J jnl
Algorithms for Optimizing Acyclic Queries.
CoRR
Zheng Luo, Wim Van den Broeck, Guy Van den Broeck, Yisu Remy Wang
2025 A conf
Database Theory in Action: Search-Based Program Optimization.
ICDT
Yihong Zhang, Dan Suciu, Yisu Remy Wang, Max Willsey
2025 J jnl
Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores.
Proc. VLDB Endow.
Liese Bekkers, Frank Neven, Stijn Vansummeren, Yisu Remy Wang
2025 A conf
Semantic Foundations of Equality Saturation.
ICDT
Dan Suciu, Yisu Remy Wang, Yihong Zhang
2025 J jnl
Semantic foundations of equality saturation.
CoRR
Dan Suciu, Yisu Remy Wang, Yihong Zhang
2024 J jnl
Convergence of datalog over (Pre-) Semirings.
J. ACM
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2024 J jnl
From Binary Join to Free Join.
SIGMOD Rec.
Yisu Remy Wang, Max Willsey, Dan Suciu
2024 J jnl
Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores.
CoRR
Liese Bekkers, Frank Neven, Stijn Vansummeren, Yisu Remy Wang
2023 J jnl
Better Together: Unifying Datalog and Equality Saturation.
CoRR
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
2023 J jnl
Better Together: Unifying Datalog and Equality Saturation.
Proc. ACM Program. Lang.
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
2023 J jnl
Convergence of Datalog over (Pre-) Semirings.
SIGMOD Rec.
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2023 J jnl
Free Join: Unifying Worst-Case Optimal and Traditional Joins.
CoRR
Yisu Remy Wang, Max Willsey, Dan Suciu
2023 J jnl
Free Join: Unifying Worst-Case Optimal and Traditional Joins.
Proc. ACM Manag. Data
Yisu Remy Wang, Max Willsey, Dan Suciu
2023 J jnl
No More Nulls!
CoRR
Yisu Remy Wang
2023 — —
Relational Programming
Yisu Remy Wang
2022 A* conf
Convergence of Datalog over (Pre-) Semirings.
PODS
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2022 J jnl
Datalog in Wonderland.
SIGMOD Rec.
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2022 — conf
Optimizing Recursive Queries with Progam Synthesis.
SIGMOD Conference
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
2022 J jnl
Optimizing Recursive Queries with Program Synthesis.
CoRR
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
2022 J jnl
Relational e-matching.
Proc. ACM Program. Lang.
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
2021 J jnl
Convergence of Datalog over (Pre-) Semirings.
CoRR
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2021 — conf
Equality Saturation for Tensor Graph Superoptimization.
MLSys
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques A. Pienaar
2021 J jnl
Equality Saturation for Tensor Graph Superoptimization.
CoRR
Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques A. Pienaar
2021 J jnl
Relational E-Matching.
CoRR
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
2021 J jnl
Rewrite Rule Inference Using Equality Saturation.
CoRR
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2021 J jnl
Rewrite rule inference using equality saturation.
Proc. ACM Program. Lang.
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2021 J jnl
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang.
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
2020 J jnl
SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra.
CoRR
Yisu Remy Wang, Shana Hutchison, Jonathan Leang, Bill Howe, Dan Suciu
2020 J jnl
SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra.
Proc. VLDB Endow.
Yisu Remy Wang, Shana Hutchison, Dan Suciu, Bill Howe, Jonathan Leang
2020 J jnl
egg: Easy, Efficient, and Extensible E-graphs.
CoRR
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
2016 C conf
Autobahn: using genetic algorithms to infer strictness annotations.
Haskell
Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher