FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
Andreas Pavlogiannis
Latest
The Complexity of Testing Message-Passing Concurrency
Optimistic Prediction of Synchronization-Reversal Data Races
How Hard Is Weak-Memory Testing?
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Sound Dynamic Deadlock Prediction in Linear Time
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Dynamic Data-Race Detection through the Fine-Grained Lens
Optimal Prediction of Synchronization-Preserving Races
The Complexity of Data Race Prediction
Cite
×