Oliver Flatt

According to our database, Oliver Flatt authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract).

Bruno Andreotti, Haniel Barbosa, Oliver Flatt

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

2023

Equality Saturation Theory Exploration à la Carte.

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi

Proc. ACM Program. Lang., October, 2023

Better Together: Unifying Datalog and Equality Saturation.

Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey

Proc. ACM Program. Lang., 2023

Making Interval Arithmetic Robust to Overflow.

Oliver Flatt, Pavel Panchekha

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Small Proofs from Congruence Closure.

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

egg: Fast and extensible equality saturation.

Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha

Proc. ACM Program. Lang., 2021

An Interval Arithmetic for Robust Error Estimation.

Oliver Flatt, Pavel Panchekha

CoRR, 2021

Combining Precision Tuning and Rewriting.

Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

CoRR, 2020