제153호(2019.12.18)
 지난호 보기    
SNUNOW 174호 (2020.12.16) SNUNOW 173호 (2020.12.02) SNUNOW 172호 (2020.11.18) SNUNOW 171호 (2020.11.04) SNUNOW 170호 (2020.10.21) SNUNOW 169호 (2020.10.07) SNUNOW 168호 (2020.09.16) SNUNOW 167호 (2020.09.02) SNUNOW 166호 (2020.08.05) SNUNOW 165호 (2020.07.08) SNUNOW 164호 (2020.06.17) SNUNOW 163호 (2020.06.03) SNUNOW 162호 (2020.05.20) SNUNOW 161호 (2020.05.13) SNUNOW 160호 (2020.04.29) SNUNOW 159호 (2020.04.08) SNUNOW 158호 (2020.03.25) SNUNOW 157호 (2020.03.04) SNUNOW 156호 (2020.02.19) SNUNOW 155호 (2020.02.05) SNUNOW 154호 (2020.01.29) SNUNOW 153호 (2019.12.18) SNUNOW 152호 (2019.12.04) SNUNOW 151호 (2019.11.20) SNUNOW 150호 (2019.11.06) SNUNOW 149호 (2019.10.23) SNUNOW 148호 (2019.10.02) SNUNOW 147호 (2019.09.18) SNUNOW 146호 (2019.09.04) SNUNOW 145호 (2019.08.21) SNUNOW 144호 (2019.08.07) SNUNOW 143호 (2019.07.17) SNUNOW 142호 (2019.07.10) SNUNOW 141호 (2019.06.26) SNUNOW 140호 (2019.06.12) SNUNOW 139호 (2019.05.29) SNUNOW 138호 (2019.05.15) SNUNOW 137호 (2019.05.01) SNUNOW 136호 (2019.04.17) SNUNOW 135호 (2019.04.01) SNUNOW 134호 (2019.02.28) SNUNOW 133호 (2019.01.30) SNUNOW 132호 (2018.12.27) SNUNOW 131호 (2018.11.29) SNUNOW 130호 (2018.10.30) SNUNOW 129호 (2018.08.30) SNUNOW 128호 (2018.07.30) SNUNOW 127호 (2018.06.29) SNUNOW 126호 (2018.05.31) SNUNOW 125호 (2018.04.30) SNUNOW 124호 (2018.03.30) SNUNOW 123호 (2018.02.28) SNUNOW 122호 (2018.01.31) SNUNOW 121호 (2017.12.29) SNUNOW 120호 (2017.11.29) SNUNOW 119호 (2017.10.30) SNUNOW 118호 (2017.09.27) SNUNOW 117호 (2017.08.31) SNUNOW 116호 (2017.07.28) SNUNOW 115호 (2017.06.30) SNUNOW 114호 (2017.05.31) SNUNOW 113호 (2017.04.28) SNUNOW 112호 (2017.03.29) SNUNOW 111호 (2017.02.22) SNUNOW 110호 이전

■ 기부소식 및 동정

컴퓨터공학과 허충길 교수, 10년 연속 탑컨퍼런스 논문 게재
2019.12.16

- 프로그래밍 언어 분야 세계 4번째 쾌거

- MS의 알렉산더 에이켄, 막스플랑크의 데릭 드레이어만 등과 공동 기록

 

10년 연속 탑컨퍼런스 논문 게재

 

공대는 컴퓨터공학과 허충길 교수 논문이 프로그래밍 언어 분야 10년 연속 탑컨퍼런스 논문으로 게재됐다고 9일 밝혔다. 이로써 프로그래밍 언어 분야에서 세계 4번째를 기록되는 쾌거를 이뤘다.

 

허충길 교수는 지난 10년간 세계적으로 영향력 있는 연구결과를 꾸준히 발표해오면서 세계적인 주목을 받고 있다. 연구 결과들은 전세계적으로 널리 사용되는 C/C++컴파일러인 LLVM컴파일러의 공식 기술로 채택된 바 있다.

 

2016년 허충길 교수팀이 새로 개발한 분할 컴파일 검증 기술은 세계 유일의 검증된 상용 컴파일러 컴프서트(CompCert)에 도입됐다. 오랜 기간 미해결 문제였던 올바른 동시성 프로그래밍모델을 개발해 멀티코어 실행환경을 반석 위에 올려놓는 이론과 실질적인 해결책을 제시했다.

  

허 교수와 그가 이끄는 소프트웨어 원리 연구실은 이러한 연구로 프로그래밍 언어 분야에서 최고로 인정받는 두 학회인 POPL(Principles of Programming Languages)과 PLDI (Programming Language  Design and Implementation) 중 하나에 지난 10년간 매해 꾸준히 논문을 게재해 왔다.

  

이러한 기록은 세계에서 4번째로, 이전에는 미국 스탠포드 대학의 알렉산더 에이켄, 마이크로소프트 리서치의 서밋 굴와니, 막스플랑크 연구소의 데릭 드레이어만이 달성한 성과다.

 

서울대 허충길 교수는 “그동안 개발한 분할 컴파일 검증 기술이 세계 유일의 검증된 상용 컴파일러에 도입되며 후속 연구에 더욱 탄력을 얻고 있다”며, “앞으로 더 세계적인 영향력을 끼칠 수 있는 혁신적인 연구를 위해 매진할 것”이라고 말했다.

 

자료제공 : 공과대학 대외협력실(02-880-9148)

■ FOCUS

■ COVID-19 소식

■ 캠퍼스 주요 소식

■ 연구성과

■ 안내

■ 기부소식 및 동정