4:15On Incorrectness Logic and Kleene Algebra With Top and Tests (Teaser)ACM SIGPLAN254 viewsView & Download
21:36"A Correctness/Incorrectness Program Logic based on Abstract Interpretation"Software and System Verification123 viewsView & Download
20:43[PADL'22] Graph-based Interpretation of Normal Logic ProgramsACM SIGPLAN120 viewsView & Download
13:25Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)ACM SIGPLAN825 viewsView & Download
17:23[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and TestsACM SIGPLAN237 viewsView & Download
31:22[Incorrectness'24] A Comparison of Program Logics for (In)CorrectnessACM SIGPLAN196 viewsView & Download
0:00Ian Orzel - Circuit Complexity of Set-Multilinear Polynomials over Kronecker ProductsWorkshop on Algebraic Complexity Theory 20260 viewsView & Download
28:53[OOPSLA] Finding real bugs in big programs with incorrectness logicACM SIGPLAN402 viewsView & Download