컴퓨터 분야에서 "세계 최고"의 학회에 논문을 게재하는 것은 SCI저널에 발표하는 것보다 매우 어려운 것으로 알려져 있다. 이런 상황에서 우리학부의 연구팀이 프로그래밍언어시스템 분야에서 명실공히 최고로 인정받는 학회에 순수 국내 연구로 두 편의 논문이 한꺼번에 게재되는 성과를 냈다.

컴퓨터 공학부의 이광근 교수(SW무결점연구센터 장, 한국연구재단 선도연구센터)연구진이 올 해 ACM PLDI(Programming Language Design and Implementation)에 두 편의 논문을 발표하게 되었다. PLDI에 국내 연구가 논문으로 채택된 것은 처음이고, 그것도 두 편이 동시에 게재승인되는 드문 성과이다.

1. 첫번째 논문은 그동안 불가능했던 4가지 성능을 모두 갖춘 정적분석(static analysis) 기술을 제시한다. 그동안 프로그램 정적분석기가 동시에 갖출 수 없었던 4가지 성능이 있다: 정확하게(precise) 실행상황을 모두 포섭하면서(sound) 초대형의 프로그램을(scalable) 한꺼번에 분석하기(global analysis)였다. 이것이 불가능해서 어느 하나를 포기하면서 정적분석기의 성능이 저하되는 문제가 늘 있어왔다. 본 논문은 필요한 시점에 필요한 것만 계산하기(sparse analysis)기법을 정리한 이론적인 틀과 함께 100만 라인되는 C프로그램을 통째로 자세하고 안전하게 분석할 수 있었던 실험결과를 보인다.

논문 리뷰중: "PLDI papers have been accepted that were simply instances of this framework. The result should be highly influential on future work in sparse analysis."

Design and Implementation of Sparse Global Analyses for C-like Languages

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi

ACM SIGPLAN Conference on Programming Language Design and Implementation 2012

2. 두번째 논문은 최근 다양한 프로그래밍 언어(Scala, C++, Haskell등)에서 점점 유용하게 쓰이는 암시적 프로그래밍(implicit programming)의 핵심을 정리한 이론을 제시한다. 암시적 프로그래밍은 많은 언어에서 여러 형태로 구현됐으나 원칙에 대한 고민 없이 설계되어 여러가지 한계를 지니고 있다. 본 연구는 이에 대한 해결책으로 암시적 프로그래밍의 설계 원리에 대한 이론을 제안한다.

The Implicit Calculus: A New Foundation for Generic Programming

Bruno Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

ACM SIGPLAN Conference on Programming Language Design and Implementation 2012