Zachary Tatlock
- Better Together: Unifying Datalog and Equality Saturation
2023/04/10 by Yihong Zhang, Zhang, Yihong, Yisu Remy Wang +13 · 2 voices · 9 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 · 20 citations
Computer Science · #Logic, programming, and type systems #Web Application Security Vulnerabilities #Formal Methods in Verification
- Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
2022/03/01 by Bo-Yuan Huang, Huang, Bo-Yuan, Steven Lyubomirsky +23 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL) #cs.AR #cs.PL
- A Graphical Interactive Debugger for Distributed Systems
2018/06/13 by Doug Woos, Woos, Doug, Zachary Tatlock +5 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Generate Compilers from Hardware Models!
2023/05/16 by Gus Henry Smith, Smith, Gus Henry, Ben Kushigian +9 · 1 voice
#cs.PL #cs.AR
- Target-Aware Implementation of Real Expressions
2024/10/17 by Brett Saiki, Jackson Brough, Saiki, Brett +13 · 1 citation
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL)