research
∙
09/18/2023
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)
Bounded proofs are convenient to use due to the high degree of automatio...
research
∙
05/05/2023
Completeness Thresholds for Memory Safety of Array Traversing Programs
We report on intermediate results of – to the best of our knowledge – th...
research
∙
11/21/2022
Completeness Thresholds for Memory Safety: Early Preliminary Report
In this early preliminary report on an ongoing project, we present – to ...
research
∙
10/22/2020
Ghost Signals: Verifying Termination of Busy-Waiting
Programs for multiprocessor machines commonly perform busy-waiting for s...
research
∙
07/30/2020
A Core Calculus for Static Latency Tracking with Placement Types
Developing efficient geo-distributed applications is challenging as prog...
research
∙
07/24/2020
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Programs for multiprocessor machines commonly perform busy-waiting for s...
research
∙
07/20/2020