1 citations · 1 across the 3 of their papers we have counts for
3 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…
cs.PL2020★ 1 cited
RustViz: Interactively Visualizing Ownership and Borrowing
Gongming, Luo, Vishnu Reddy +4
Rust is a systems programming language that guarantees memory safety without the need for a garbage collector by statically tracking ownership and borrowing events. The associated…