Presenter
Will Leeson is a PhD candidate at the University of Virginia studying under Prof. Matthew Dwyer. His work uses machine learning and graph representations of programs to improve program analysis and verification.
Presentations by Will Leeson
Show All
Poster Presentations
Sibyl: Improving Software Engineering Tools with SMT Selection
Will Leeson
Judges Comments