research
∙
08/02/2023
Staged Specifications for Automated Verification of Higher-Order Imperative Programs
Higher-order functions and imperative references are language features s...
share
research
∙
04/11/2023
Tracing OCaml Programs
This presentation will cover a framework for application-level tracing o...
research
∙
09/24/2021
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
Ensuring the correctness of software for communication centric programs ...
research
∙
08/26/2019
Automated Verification of CountDownLatch
The CountDownLatch (CDL) is a versatile concurrency mechanism that was f...
research
∙
10/26/2017