Oliver Flatt

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