2 papers
cs.DC2026
A Formal Semantics of C with OpenMP Parallelism (Extended Version)
Ke Du, Anshu Sharma, Liyi Li +1
OpenMP is a popular parallelization framework that lets users transform sequential code into parallel code with a few simple annotations. Unfortunately, it is also easy to inadvert…
cs.PL2026
Recursive Mutexes in Separation Logic
Ke Du, William Mansky, Paolo G. Giarrusso +1
Mutexes (i.e., locks) are well understood in separation logic, and can be specified in terms of either protecting an invariant or atomically changing the state of the lock. In this…