Unsound
Sun 20 - Fri 25 October 2024 Pasadena, California, United StatesUNSOUND 2024 with SPLASH 2024Sources of Unsoundness in Type Systems and Verification This workshop, which is in its second instance, is about all aspects of unsoundness in type system and verification tools and theories. It is meant to entertain a community-wide discussion on possible sources of unsoundness and how to avert, address, and tackle them. We are particularly interested in the presentation of previously unknown or lesser known pr ... |
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 ... |
