Rust Standard Library Verification Contest Scaled Past Manual Proof Engineeringrustfoundation.org·2 pts·matt_d·0
Metastability as a failed conditional discharge of rely-guarantee compositionmuratbuffalo.blogspot.com·2 pts·matt_d·0
Fungible Memories for Automated Technology Mapping and Retargeting: PLDI'26 Talk [video]youtube.com·1 pts·matt_d·0
TEAS: Tracking Evolving AI and Systems – cost, accuracy, performance, energyteasbench.com·1 pts·matt_d·0
Terminal-Bench-Science: Evaluating AI agents on scientific research workflowsterminal-bench-science.ai·117 pts·matt_d·36
XPress: Parallel Refinement for Diffusion Drafters in Speculative Decodingsupercomputing-system-ai-lab.github.io·3 pts·matt_d·0
Change MIR to use block arguments instead of phis – LLVM Code Generation RFCdiscourse.llvm.org·20 pts·matt_d·0
A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computationarxiv.org·20 pts·matt_d·0
Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)dl.acm.org·2 pts·matt_d·0