DSpace at KOASAS
Browsing DSpace

Browse "College of Engineering(공과대학)" by Author Dreyer, Derek

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
A promising semantics for relaxed-memory concurrency

Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pp.175 - 189, Association for Computing Machinery, 2017-01-18

2
Compass: strong and compositional library specifications in relaxed memory separation logic

Dang, Hoang-Hai; Jung, Jaehwang; Choi, Jaemin; Nguyen, Duc-Than; Mansky, William; Kang, Jeehoon; Dreyer, Derek, 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp.792 - 808, ACM, 2022-06-17

3
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

4
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

5
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

6
Stacked Borrows: An Aliasing Model for Rust

Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

Discover

rss_1.0 rss_2.0 atom_1.0