Formal Perf. and Compile Time Guarantees for Compiler Optimization Heuristicsarxiv.org·2 pts·matt_d·0
Context-Aware Inlining: Using Call-Stack Profiles for Fast and Smaller Binariesdl.acm.org·2 pts·matt_d·0
InstrSem: Automatically Inferring Semantics of (Undocumented) CPU Instructionsroots.ec·2 pts·matt_d·0
Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)dl.acm.org·2 pts·matt_d·0
What's Better Than Binary? – Advent of Computing Episode 187adventofcomputing.libsyn.com·6 pts·matt_d·1