matt_d
- Karma
- 21,648
- Created
- 12 years ago
Recent Submissions
- 1. ▲ Functional State Machines in Rust: Typestate and Newtype Patterns (dl.acm.org)
- 2. ▲ Chunky Agents (ianbarber.blog)
- 3. ▲ I accidentally turned LLM memory into program analysis (pwning.systems)
- 4. ▲ Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support (github.com)
- 5. ▲ Terminal-Bench-Science: Evaluating AI agents on scientific research workflows (terminal-bench-science.ai)
- 6. ▲ XPress: Parallel Refinement for Diffusion Drafters in Speculative Decoding (supercomputing-system-ai-lab.github.io)
- 7. ▲ SoK: Multi-Layer Indirect Call Analysis in the Real World [pdf] (cs.brown.edu)
- 8. ▲ Composition and Modular Verification of TLA+ Specs (muratbuffalo.blogspot.com)
- 9. ▲ IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ (arxiv.org)
- 10. ▲ Maia 200: A Software Defined Dataflow System for Large-Scale AI Acceleration (arxiv.org)