Unsound 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
All Editions
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 ...