Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Oliver Flatt
conf.researchr.org general profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2021 profile
Registered user since Sat 1 Jan 2022
Name:
Oliver Flatt
Affiliation:
University of Utah
Contributions
2023
PLDI
Author of Better Together: Unifying Datalog and Equality Saturation within the PLDI Research Papers-track
EGRAPHS
Author of Ensuring the termination of equality saturation for terminating term rewriting systems within the EGRAPHS 2023-track
Author of egglog In Practice: Automatically Improving Floating-point Error within the EGRAPHS 2023-track
2022
PLDI
Author of (POPL 2021) egg: Fast and Extensible Equality Saturation within the SIGPLAN Track-track
2021
POPL
Author of egg: Fast and Extensible Equality Saturation within the POPL-track
Share
x
Mon 4 Dec 00:01