10:32

[UNSOUND] Welcome to Unsound

ACM SIGPLAN

45:09

[UNSOUND] What do we mean by "unsound"?

ACM SIGPLAN

46:56

[UNSOUND] How to trust a verified program?

ACM SIGPLAN

41:35

[UNSOUND] MetaCoq as a tool to prevent future unsoundness in Coq

ACM SIGPLAN

24:28

[UNSOUND] Proving False in Object Oriented Verification Programs by Exploiting Non-Termination

ACM SIGPLAN

48:50

[UNSOUND] The 4 horsemen of unsoundness in OO languages

ACM SIGPLAN

25:11

[UNSOUND] Discussion

ACM SIGPLAN