13/1/2026 SQuaRe Talk – “Cost of Soundness in Mixed-Precision Tuning” by Debasmita Lohar
In this year’s first Square Talk, Debasmita discusses how sound mixed-precision tuning can achieve performance comparable to dynamic analysis while preserving correctness guarantees. This is joint work with Anastasia Isychev (TU[…]