research
∙
03/01/2022
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
A monitor is a widely-used concurrent programming abstraction that encap...
share
research
∙
10/19/2020
Verifying Correct Usage of Context-Free API Protocols (Extended Version)
Several real-world libraries (e.g., reentrant locks, GUI frameworks, ser...
research
∙
04/07/2018
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Explicit signaling between threads is a perennial cause of bugs in concu...
research
∙
06/14/2017