Browse "School of Computing(전산학부)" by Author Vafeiadis, Viktor
Showing results 4 to 6 of 6
| Lightweight Verification of Separate Compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.51, no.1, pp.178 - 190, 2016-01 |
| Lightweight verification of separate compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20 |
| Repairing sequential consistency in C/C++11 Lahav, Ori; Vafeiadis, Viktor; Kang, Jeehoon; Hur, Chung-Kil; Dreyer, Derek, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp.618 - 632, Association for Computing Machinery, 2017-06-20 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,773 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989