Poster · Sydney
VeriVul: A Verification-Guided Framework for Generating Realistic Vulnerability Benchmarks
- When
- Wed 9 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 4
- Authors
- Ahmed Lekssays, Hamza Mouhcine, Issa Khalil
- Organisations
- Qatar Computing Research Institute, Qatar Computing Research Institute - Hamad Bin Khalifa University
- QRS classification
- Language models