15:07[OOPSLA23] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin...ACM SIGPLAN176 viewsView & Download
4:15On Incorrectness Logic and Kleene Algebra With Top and Tests (Teaser)ACM SIGPLAN254 viewsView & Download
24:08[POPL'26] U-Turn: Enhancing Incorrectness Analysis by Reversing DirectionACM SIGPLAN38 viewsView & Download
16:36[TPSA'25] Calculational design of Incorrectness Separation LogicACM SIGPLAN25 viewsView & Download
17:23[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and TestsACM SIGPLAN237 viewsView & Download
8:19[TPSA'25] Data Structure Abstraction and Incorrectness Separation LogicACM SIGPLAN21 viewsView & Download
15:53[TPSA'25] Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual VerificationACM SIGPLAN39 viewsView & Download
20:37[OOPSLA24] Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with(…)ACM SIGPLAN52 viewsView & Download
28:53[OOPSLA] Finding real bugs in big programs with incorrectness logicACM SIGPLAN402 viewsView & Download
22:39[Incorrectness'24] Hoare-Like Triples and Kleene Algebras with Top and TestsACM SIGPLAN91 viewsView & Download