Poster · Atlanta
VeruSAGE-Bench: A Benchmark Suite for Rust System Verification
- When
- Fri 11 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 5
- Authors
- Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R Lorch, Shan Lu
- Organisations
- University of Illinois Urbana-Champaign, Carnegie Mellon University, Microsoft, University of Chicago
- QRS classification
- Language models