FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
Hünkar Can Tunç
Latest
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
Cite
×