S-Space

Browse

Author

Showing results 1 to 4 of 4

Issue Date	Title / Author(s) / Citation	File
2019-06	Promising-ARM/RISC-V: A simpler and faster operational concurrency model Pulte, Christopher; Pichon-Pharabod, Jean; Kang, Jeehoon; Lee, Sung-Hwan; Hur, Chung-Kil Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.1-15
2020-06	Promising 2.0: Global optimizations in relaxed memory concurrency Lee, Sung-Hwan; Cho, Minki; Podkopaev, Anton; Chakraborty, Soham; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376	DOI
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
2022-06	Sequential reasoning for optimizing compilers under weak memory concurrency Cho, Minki; Lee, Sung-Hwan; Lee, Dongjae; Hur, Chung-Kil; Lahav, Ori Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.213-228	DOI