Wang, Yisu Remy
- Better Together: Unifying Datalog and Equality Saturation
2023/04/10 by Yihong Zhang, Yisu Remy Wang, Zhang, Yihong +13 · 2 voices · 12 citations
Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
- Equality Saturation for Tensor Graph Superoptimization
2021/01/05 by Yichen Yang, Phitchaya Mangpo Phothilimtha, Yang, Yichen +9 · 11 citations
Computer Science · Mathematics · #Parallel Computing and Optimization Techniques #Tensor decomposition and applications #Software Testing and Debugging Techniques
- Convergence of Datalog over (Pre-) Semirings
2021/05/30 by Mahmoud Abo Khamis, Khamis, Mahmoud Abo, Hung Q. Ngo +7 · 6 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Databases (cs.DB) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Fuzzy and Soft Set Theory
- Rewrite Rule Inference Using Equality Saturation
2021/08/23 by Nandi, Chandrakana, Willsey, Max, Zhu, Amy +6 · 4 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Relational E-Matching
2021/08/04 by Zhang, Yihong, Wang, Yisu Remy, Willsey, Max +1 · 4 citations
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Free Join: Unifying Worst-Case Optimal and Traditional Joins
2023/01/25 by Yisu Remy Wang, Wang, Yisu Remy, Max Willsey +3 · 4 citations
Computer Science · #Data Management and Algorithms #Advanced Database Systems and Queries #Algorithms and Data Compression
- SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra
2020/02/19 by Wang, Yisu Remy, Hutchison, Shana, Leang, Jonathan +2 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Optimizing Recursive Queries with Program Synthesis
2022/02/21 by Wang, Yisu Remy, Khamis, Mahmoud Abo, Ngo, Hung Q. +2 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences
- TreeTracker Join: Simple, Optimal, Fast
2024/03/03 by Zeyuan Hu, Yisu Remy Wang, Hu, Zeyuan +3 · 1 voice · 1 citation
Computer Science · #Databases (cs.DB) #Digital Rights Management and Security #FOS: Computer and information sciences #H.2.4 #cs.DB
- Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores
2024/11/06 by Liese Bekkers, Frank Neven, Bekkers, Liese +5 · 1 citation
Engineering · Computer Science · #Scheduling and Optimization Algorithms #Optimization and Packing Problems #Optimization and Search Problems