Incorrectness 2024
12 videos • 55 views • by ACM SIGPLAN
Formal Methods for Incorrectness 2024
1
[Incorrectness'24] My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof
ACM SIGPLAN
Download
2
[Incorrectness'24] A Comparison of Program Logics for (In)Correctness
ACM SIGPLAN
Download
3
[Incorrectness'24] Unified Compositional Formal Methods: Exact Separation Logic and the Gi...
ACM SIGPLAN
Download
4
[Incorrectness'24] The Never-Ending Trace: An Under-Approximate Approach to Divergence Bug...
ACM SIGPLAN
Download
5
[Incorrectness'24] Work in Progress: Modelling Incorrect Programs in the Open World with D...
ACM SIGPLAN
Download
6
[Incorrectness'24] Hoare-Like Triples and Kleene Algebras with Top and Tests
ACM SIGPLAN
Download
7
[Incorrectness'24] Quantitative Weakest Hyper Pre
ACM SIGPLAN
Download
8
[Incorrectness'24] A Reachability Logic for a Weak Memory Model with Promises
ACM SIGPLAN
Download
9
[Incorrectness'24] Towards Temporal Adversarial Logic
ACM SIGPLAN
Download
10
[Incorrectness'24] Finding counterexamples to ∀∃ hyperproperties
ACM SIGPLAN
Download
11
[Incorrectness'24] Type-Based Incorrectness Reasoning
ACM SIGPLAN
Download
12
[Incorrectness'24] Ill-Typed Programs Don't Evaluate
ACM SIGPLAN
Download