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