허충길 교수,
세계 4번째로 프로그래밍언어 분야 10년 연속 탑컨퍼런스 논문 게재

허충길 교수는 지난 10년간 세계적으로 임팩트 있는 연구결과를 꾸준히 발표해오면서 세계적인 주목을 받고 있다.

연구결과들은 전세계적으로 널리 사용되는 C/C++컴파일러인 LLVM컴파일러의 공식 기술로 채택되었고, 세계 유일의 검증된 상용 C컴파일러인 CompCert에도 공식 적용되었으며, 오랜기간 미해결 문제였던 올바른 동시성 프로그래밍 모델을 개발하여 멀티코어 실행환경을 반석 위에 올려놓는 이론과 실질적인 해결책을 제시하였다.

이러한 연구로 허충길 교수 및 연구진(SW Foundations Lab)은 지난 10년간 매해 프로그래밍 언어 분야에서 최고로 인정받는 두 학회인 POPL (Principles of Programming Languages)과 PLDI (Programming Language Design and Implementation) 중 하나에 논문을 게재해왔다.

이는 세계에서 4번째로 이전에는 Stanford대학의 Alexander Aiken, Microsoft Research의 Sumit Gulwani, 막스플랑크 연구소의 Derek Dreyer만이 달성하였다.

https://cse.snu.ac.kr/sites/default/files/node--notice/20191206gil1_20191218.png https://cse.snu.ac.kr/sites/default/files/node--notice/20191206gil2.png https://cse.snu.ac.kr/sites/default/files/node--notice/20191206gil3.png https://cse.snu.ac.kr/sites/default/files/node--notice/20191206gil4.png