S-Space

Browse

Author

Showing results 1 to 2 of 2

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2021-01	An SMT Encoding of LLVMs Memory Model for Bounded Translation Validation Lee, Juneyoung; Kim, Dongjoo; Hur, Chung Kil; Lopes, Nuno P. Lecture Notes in Computer Science, Vol.12760, pp.752-776	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