Publications: 2026
All Publications
Book Chapters
Conference Papers
Demos
Dissertations, Theses
Journals
Posters
Technical Reports
Tutorials
Workshops
- NEW TACAS'26: Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP Charles Moloney, , Elena Sherman. April 15, 2026.
- NEW
ICPC'26:
Do Developers Read Type Information? An Eye-Tracking Study
Samuel W. Flint,
,
Bonita Sharif. April 12, 2026.Acceptance rate: 35/123 (28.46%)