S-Space

Browse

Author

Showing results 1 to 1 of 1

Issue Date	Title / Author(s) / Citation	File	Altmetrics
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