|Mon 5 - Sat 10 December 2022 Auckland, New Zealand|
Unsound 2022 with SPLASH 2022
Goals 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 ...
Elisa BaniassadSteering Committee Chair
University of British Columbia
National University of Singapore
Northeastern University, United States