oflatt education

60 subscribers

4 videos

View on YouTube

Latest Videos

Combining Precision Tuning and Rewriting for Faster, More Accurate Programs- ARITH 2021

Combining Precision Tuning and Rewriting for Faster, More Accurate Programs- ARITH 2021

oflatt education

113 views·2 years ago

Making Interval Arithmetic Robust to Overflow- ARITH 2023

Making Interval Arithmetic Robust to Overflow- ARITH 2023

oflatt education

292 views·2 years ago

egglog Tutorial (EGRAPHS 2023) Next Generation Egraphs

egglog Tutorial (EGRAPHS 2023) Next Generation Egraphs

oflatt education

2.8K views·2 years ago

Small Proofs from Congruence Closure - FMCAD 2022

Small Proofs from Congruence Closure - FMCAD 2022

oflatt education

696 views·3 years ago

oflatt education - NatokHD | NatokHD