Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Tunable Automation in Automated Program Verification
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
Automated verification tools based on SMT solvers have made significant progress in verifying complex software systems. However, these tools face a fundamental tension between auto…
cs.SE2025
Debugging WebAssembly? Put some Whamm on it!
Elizabeth Gilbert, Matthew Schneider, Zixi An +5
Debugging and monitoring programs are integral to engineering and deploying software. Dynamic analyses monitor applications through source code or IR injection, machine code or byt…