research
∙
04/07/2023
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Over the years, several memory models have been proposed to capture the ...
share
research
∙
04/07/2023
Sound Dynamic Deadlock Prediction in Linear Time
Deadlocks are one of the most notorious concurrency bugs, and significan...
research
∙
01/17/2022
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Dynamic techniques are a scalable and effective way to analyze concurren...
research
∙
02/24/2021
Explaining Safety Failures in NetKAT
This work introduces a concept of explanations with respect to the viola...
research
∙
02/19/2021
