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
![[OOPSLA23] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin... — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/FfrZsL-0Wjo/mqdefault)
![[POPL'26] U-Turn: Enhancing Incorrectness Analysis by Reversing Direction — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/ZacNZbVrKC8/mqdefault)
![[TPSA'25] Calculational design of Incorrectness Separation Logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/qz5sYqZZpPE/mqdefault)
![[POPL'22] Concurrent Incorrectness Separation Logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/1m7ebAOH8CI/mqdefault)
![[OOPSLA] On incorrectness logic for Quantum programs — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/gRGmZLDmsF8/mqdefault)
![[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and Tests — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/gLLlrnxB5Jg/mqdefault)
![[Incorrectness'24] Towards Temporal Adversarial Logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/afCIm52dKpc/mqdefault)
![[TPSA'25] Data Structure Abstraction and Incorrectness Separation Logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/AD2cVdPokF0/mqdefault)
![[POPL'26] A Complementary Approach to Incorrectness Typing — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/uvbb_qsV72s/mqdefault)
![[TPSA'25] Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/1H_F0oVWJmY/mqdefault)
![[TPSA'25] Partial Incorrectness Logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/7xvxW_wrSbM/mqdefault)
![[OOPSLA24] Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with(…) — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/FLbgBQGGoGI/mqdefault)
![[OOPSLA] Finding real bugs in big programs with incorrectness logic — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/HwIzhtfs6Oo/mqdefault)
![[Incorrectness'24] Hoare-Like Triples and Kleene Algebras with Top and Tests — ACM SIGPLAN — incorrectness logic YouTube to MP3 & MP4 download on TubeGalore](/api/image/eAVI2SG2go8/mqdefault)