Oliver Flatt

Orcid: 0000-0002-0656-235X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract).
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.
Proc. ACM Program. Lang., October, 2023

Better Together: Unifying Datalog and Equality Saturation.
Proc. ACM Program. Lang., 2023

Making Interval Arithmetic Robust to Overflow.
Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022
Small Proofs from Congruence Closure.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang., 2021

An Interval Arithmetic for Robust Error Estimation.
CoRR, 2021

Combining Precision Tuning and Rewriting.
Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

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


  Loading...