Oliver Flatt

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Interval Arithmetic

Top Venues

Proc. ACM Program. Lang.

Publications

Bruno Andreotti, Haniel Barbosa, Oliver Flatt
Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract). PAAR+SC²@IJCAR (2024)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Oliver Flatt, Pavel Panchekha
Making Interval Arithmetic Robust to Overflow. ARITH (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. CoRR (2023)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. CoRR (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. FMCAD (2022)
Oliver Flatt, Pavel Panchekha
An Interval Arithmetic for Robust Error Estimation. CoRR (2021)
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
Combining Precision Tuning and Rewriting. ARITH (2021)
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
egg: Easy, Efficient, and Extensible E-graphs. CoRR (2020)