허충길 교수 연구진(소프트웨어 원리 연구실)이 해외 기관과 공동연구로,

프로그래밍 언어 분야 최고 학회(BK IF 4점)인 ACM SIGPLAN conference on

Programming Languages Design and Implementation (PLDI 2017) 에

2편의 논문을 게재하였습니다.

 

그 중 한 편은 국내 대학 최초로 Distinguished Paper로 선정되었습니다.

Distinguished Paper는 320여 편의 submission 중 총 4편이 선정되었습니다.

 

* (Distinguished Paper 선정)

Repairing Sequential Consistency in C/C++11.

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer.

 

* Taming Undefined Behavior in LLVM.

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes.