Unsound
All Editions
Mon 5 - Sat 10 December 2022 Auckland, New ZealandUnsound 2022 with SPLASH 2022Goals of the workshop are: To discover sources of unsoundness in different verification tools To share experiences and exploits on how different verification tools can either be broken or expose confusing behavior To broaden the attention of researchers to topics which so far escaped their focused area of research; e.g., from only type correctness to also avoiding stack overflows To challenge assumption ... |
Steering Committee (SPLASH 2022 SPLASH-E)
Elisa BaniassadSteering Committee Chair
University of British Columbia
Canada
Charlie Curtsinger
Grinnell College
Molly Feldman
Oberlin College
United States
Kathi Fisler
Brown University
United States
Martin Henz
National University of Singapore
Singapore
Benjamin Lerner
Northeastern University, United States
United States