2 papers
cs.SE2025
Codetations: Intelligent, Persistent Notes and UIs for Programs and Other Documents
Edward Misback, Erik Vank, Zachary Tatlock +1
Software developers maintain extensive mental models of code they produce and its context, often relying on memory to retrieve or reconstruct design decisions, edge cases, and debu…
cs.PL2024
Target-Aware Implementation of Real Expressions
Brett Saiki, Jackson Brough, Jonas Regehr +5
New low-precision accelerators, vector instruction sets, and library functions make maximizing accuracy and performance of numerical code increasingly challenging. Two lines of wor…