56:08 [Incorrectness'24] My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof ACM SIGPLAN
23:03 [Incorrectness'24] Unified Compositional Formal Methods: Exact Separation Logic and the Gi... ACM SIGPLAN
19:20 [Incorrectness'24] The Never-Ending Trace: An Under-Approximate Approach to Divergence Bug... ACM SIGPLAN
23:49 [Incorrectness'24] Work in Progress: Modelling Incorrect Programs in the Open World with D... ACM SIGPLAN
