Tatlock, Zachary

1. Better Together: Unifying Datalog and Equality Saturation
   2023/04/10 by Yihong Zhang, Yisu Remy Wang, Zhang, Yihong +13 · 2 voices · 14 citations
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
2. Finding Root Causes of Floating Point Error with Herbgrind
   2017/05/29 by Sanchez-Stern, Alex, Panchekha, Pavel, Lerner, Sorin +1 · 4 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Rewrite Rule Inference Using Equality Saturation
   2021/08/23 by Nandi, Chandrakana, Willsey, Max, Zhu, Amy +6 · 5 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. 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
5. 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)
6. Dynamic Tensor Rematerialization
   2020/06/17 by Kirisame, Marisa, Lyubomirsky, Steven, Haan, Altan +5 · 2 citations
   #C.3 #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)
7. Combining Tools for Optimization and Analysis of Floating-Point Computations
   2018/05/07 by Becker, Heiko, Pancheckha, Pavel, Darulova, Eva +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
8. 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)
9. Relay: A High-Level Compiler for Deep Learning
   2019/04/17 by Roesch, Jared, Lyubomirsky, Steven, Kirisame, Marisa +7 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)
10. Generate Compilers from Hardware Models!
    2023/05/16 by Gus Henry Smith, Smith, Gus Henry, Ben Kushigian +9 · 1 voice
    #cs.PL #cs.AR
11. Small Proofs from Congruence Closure
    2022/09/07 by Flatt, Oliver, Coward, Samuel, Willsey, Max +2 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
12. There and Back Again: A Netlist's Tale with Much Egraphin'
    2024/03/31 by Gus Henry Smith, Zachary D. Sisco, Smith, Gus Henry +16 · 1 voice
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.AR #cs.PL
13. Target-Aware Implementation of Real Expressions
    2024/10/17 by Brett Saiki, Saiki, Brett, Jackson Brough +13 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL)
14. Scaling Program Synthesis Based Technology Mapping with Equality Saturation
    2024/11/17 by Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel +5 · 1 citation
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL)