research
∙
08/09/2023
Fixing Rust Compilation Errors using LLMs
The Rust programming language, with its safety guarantees, has establish...
share
research
∙
06/21/2023
Automatic Inference of Resource Leak Specifications
A resource leak occurs when a program fails to free some finite resource...
research
∙
03/04/2021
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels
Modern applications, such as social networking systems and e-commerce pl...
research
∙
05/16/2020
Distributed Bounded Model Checking
Program verification is a resource-hungry task. This paper looks at the ...
research
∙
02/12/2020
Building Reliable Cloud Services Using P# (Experience Report)
Cloud services must typically be distributed across a large number of ma...
research
∙
05/24/2019
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
We address the problem of analyzing asynchronous event-driven programs, ...
research
∙
02/25/2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Building reliable applications for the cloud is challenging because of u...
research
∙
11/30/2017