1Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification (opens in new tab)(goedelcodeprover.github.io)3matt_d5h ago0
3An Efficient Heterogeneous Co-Design for Fine-Tuning on a Single GPU (opens in new tab)(arxiv.org)2matt_d15h ago0
4Specula: A framework for finding deep bugs in system code using TLA+ (opens in new tab)(github.com)3matt_d1d ago0
6UniTe: A Universal Tensor Abstraction for Capturing Spatial Relationships (opens in new tab)(dl.acm.org)2matt_d1d ago0
7Co-Design of B+-Tree Index with Emerging Zone Interfaces for Small KV Pairs (opens in new tab)(dl.acm.org)4matt_d1d ago0
8CounterPoint: Using Hardware Counters to Refute and Refine µarch Assumptions (opens in new tab)(arxiv.org)2matt_d1d ago0
9PivotRL: High Accuracy Agentic Post-Training at Low Compute Cost (opens in new tab)(arxiv.org)2matt_d2d ago0
10SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems (opens in new tab)(muratbuffalo.blogspot.com)5matt_d2d ago0
12Idempotent Slices with Applications to Code-Size Reduction (opens in new tab)(arxiv.org)1matt_d2d ago0
13Microsoft Rust Training Books: Beginner, advanced, expert level material (opens in new tab)(github.com)3matt_d3d ago0
14LUMINA: LLM-Guided GPU Architecture Exploration via Bottleneck Analysis (opens in new tab)(arxiv.org)3matt_d3d ago0
15Challenges and Design Issues in Finding CUDA Bugs via GPU-Native Fuzzing (opens in new tab)(arxiv.org)2matt_d3d ago0
