S-Space

Browse

Subject

Showing results 1 to 2 of 2

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2021-06	Modular data-race-freedom guarantees in the promising semantics Cho, Minki; Lee, Sung-Hwan; Hur, Chung Kil; Lahav, Ori Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.867-882	DOI
2023	Simplifying Reasoning under Weak Memory Concurrency 조민기	view file link