허충길 교수 연구진, PLDI 2017에 논문 2편 게재

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

프로그래밍 언어 분야 최고 학회(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.

2017년 7월 5일 수요일