Max Willsey
- Better Together: Unifying Datalog and Equality Saturation
2023/04/10 by Yihong Zhang, Yisu Remy Wang, Zhang, Yihong +13 · 2 voices · 11 citations
Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
- egg: Fast and extensible equality saturation
2020/04/07 by Max Willsey, Chandrakana Nandi, Yisu Remy Wang +3 · 1 voice · 28 citations
Computer Science · #Logic, programming, and type systems #Web Application Security Vulnerabilities #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
- 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
- Finite Functional Programming
2026/04/28 by Michael Arntzenius, Max Willsey · 2 voices
#cs.PL