우리 학부의 두 연구팀이 2012년에 이어 2014년에도 ACM PLDI(Programming Language Design and Implementation)에 동시에 두 편의 논문을 게재하는 성과를 냈다. 컴퓨터 분야에서 세계 최고 학회에 논문을 게재하는 것은 SCI저널에 발표하는 것보다 어려운 것으로 알려져 있고 그것도 두 편이 동시에 게재 승인되는 것은 세계적으로도 드문 성과다.

1. 이광근 교수 연구진은 정적 분석 분야에서 그동안 불가능하다고 했던 세가지 성능(precision, soundness, scalability)을 모두 갖춘 정적 분석 기술을 달성할 수 있음을 보여왔다. 올해 PLDI논문에서는 2012년도 PLDI논문에 이어, 위의 세가지 성능을 효과적으로 모두 극대화시키는 일반 기술을 제시하여 정적 분석의 고질적인 문제를 근본적으로 해결하는 길을 열었다.

"Selective Context-Sensitivity Guided by Impact Pre-Analysis",
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi
ACM SIGPLAN Conference on Programming Langauge Design and Implementation 2014
http://ropas.snu.ac.kr/~kwang/paper/14-pldi-ohleheyayi.pdf

2. 허충길 교수 연구진은 확률추론 프로그램(probabilistic program)성능을 개선하는 이론을 제시하였다. 확률추론 프로그램은 기계학습 소프트웨어의 핵심으로, 그 추론과정을 가속시키는 문제가 기계학습이 널리 쓰이면서 급속히 부각되고있다. 허충길교수 연구진은 확률추론 프로그램의 속도향상을 위해 "필요부위-추출"(program slicing) 기술이 확률추론 프로그램에 적용되기 위한 기반 이론과 실험성능을 보여 확률추론 최적화 기술을 선도하고 있다.

"Slicing Probabilistic Programs",
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, and Selva Samuel
ACM SIGPLAN Conference on Programming Langauge Design and Implementation 2014
http://sf.snu.ac.kr/gil.hur/publications/slicing.pdf