77 citations · 104 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Abstract Interpretation on E-Graphs
Samuel Coward, George A. Constantinides, Theo Drane
Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions. However,…
cs.LO2021★ 1 cited
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
George Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric +1
We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated wi…