ResearchWho?

허충길

Associate Professor

서울대학교 공과대학 컴퓨터공학부

논문[39]

#39. Sequential reasoning for optimizing compilers under weak memory concurrency

2022.6

(DOI) https://doi.org/10.1145/3519939.3523718

#38. An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation

2021.7

(DOI) https://doi.org/10.1007/978-3-030-81688-9_35