Browse

Author

Jump to a point in the index
Or type in a year
  • Sort by
  • In order
  • Results/Page
  • Authors/record

Showing results 1 to 11 of 11

Issue DateTitle / Author(s) / CitationFileAltmetrics
2014-06

Hur, Chung-Kil; Nori, Aditya V.; Rajamani, Sriram K.; Samuel, Selva

SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol.49 No.6, pp.133-144

DOI
2018-06

Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon; Hur, Chung-Kil; Yi, Kwangkeun

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645

2018-11

Lee, Juneyoung; Hur, Chung-Kil; Jung, Ralf; Liu, Zhengyang; Regehr, John; Lopes, Nuno P.

Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA

DOI
2019-01

Lee, Juneyoung; Hur, Chung-Kil; Lopes, Nuno P.

Lecture Notes in Computer Science, Vol.11562 LNCS, pp.445-455

DOI
2019-06

Pulte, Christopher; Pichon-Pharabod, Jean; Kang, Jeehoon; Lee, Sung-Hwan; Hur, Chung-Kil

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.1-15

2020-01

Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Zdancewic, Steve

CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84

DOI
2020-01

Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil

Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23

DOI
2020-01

Xia, Li-Yao; Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Malecha, Gregory; Pierce, Benjamin C.; Zdancewic, Steve

Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51

DOI
2020-06

Lee, Sung-Hwan; Cho, Minki; Podkopaev, Anton; Chakraborty, Soham; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376

DOI
2021-06

Lopes, Nuno P.; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.65-79

DOI
2022-06

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
1