College Of Engineering
서울공대 이야기
서울대 공대 허충길 교수, 10년 연속 탑컨퍼런스 논문 게재

- 프로그래밍 언어 분야 세계 4번째 쾌거
- 스탠포드대학의 알렉산더 에이켄, 막스플랑크의 데릭 드레이어 등과 공동 기록



서울대 공대는 컴퓨터공학과 허충길 교수 논문이 프로그래밍 언어 분야 10년 연속 탑컨퍼런스 논문으로 게재됐다고 9일 밝혔다. 이로써 프로그래밍 언어 분야에서 세계 4번째를 기록되는 쾌거를 이뤘다.
 
허충길 교수는 지난 10년간 세계적으로 영향력 있는 연구결과를 꾸준히 발표해오면서 세계적인 주목을 받고 있다. 연구 결과들은 전세계적으로 널리 사용되는 C/C++컴파일러인 LLVM컴파일러의 공식 기술로 채택된 바 있다.
 
2016년 허충길 교수팀이 새로 개발한 분할 컴파일 검증 기술은 세계 유일의 검증된 상용 컴파일러 컴프서트(CompCert)에 도입됐다. 오랜 기간 미해결 문제였던 올바른 동시성 프로그래밍모델을 개발해 멀티코어 실행환경을 반석 위에 올려놓는 이론과 실질적인 해결책을 제시했다.
 
허 교수와 그가 이끄는 소프트웨어 원리 연구실은 이러한 연구로 프로그래밍 언어 분야에서 최고로 인정받는 두 학회인 POPL(Principles of Programming Languages)과 PLDI (Programming Language  Design and Implementation) 중 하나에 지난 10년간 매해 꾸준히 논문을 게재해 왔다.
 
이러한 기록은 세계에서 4번째로, 이전에는 미국 스탠포드 대학의 알렉산더 에이켄, 마이크로소프트 리서치의 서밋 굴와니, 막스플랑크 연구소의 데릭 드레이어만이 달성한 성과다.
 
서울대 허충길 교수는 “그동안 개발한 분할 컴파일 검증 기술이 세계 유일의 검증된 상용 컴파일러에 도입되며 후속 연구에 더욱 탄력을 얻고 있다”며, “앞으로 더 세계적인 영향력을 끼칠 수 있는 혁신적인 연구를 위해 매진할 것”이라고 말했다.
번호 제목 글쓴이 날짜 조회 수
1494 서울대 공대 윤명환 교수 제 20대 대한인간공학회장 겸 2024 제주 세계인간공학대회 조직위원장 취임 hands 2020.01.10 32
1493 서울대 공대 창의설계축전 수상팀 미국 CES2020 참관 hands 2019.12.30 71
1492 서울대 공대 안성훈 교수팀, 빛으로 구동하는 형상기억합금 마이크로 로봇 개발 hands 2019.12.30 49
1491 서울대 공대 전국진 교수, IEEE 석학회원 선정 hands 2019.12.30 44
1490 [마켓인사이트]산업용 AI 솔루션 전문벤처 원프레딕트, 스위스ABB와 협력 가속화 hands 2019.12.30 45
1489 서울대 공대 박병국 교수, IEEE 석학회원 선정 hands 2019.12.30 15
» 서울대 공대 허충길 교수, 10년 연속 탑컨퍼런스 논문 게재 hands 2019.12.30 16
1487 서울대 공대 이제희 교수팀, 컴퓨터그래픽스 기술로 뇌성마비환자 정형수술 효과 예측 hands 2019.12.12 441
1486 서울대 공대 조규진 교수팀, 종이접기 기반의 소프트 로봇 개발 hands 2019.12.12 448
1485 서울대 공대, 액상에서 반응하는 촉매입자 고해상도 관찰 성공 hands 2019.11.28 554
1484 서울대 공대, ‘ ENNOvation Tank 시즌 Ⅱ’ 10개 기업 선정 hands 2019.11.14 675
1483 윤병동 교수 원프레딕트, 올해의 10대 기계기술 선정 hands 2019.11.14 371
1482 서울대 박병우 교수팀, 고효율 장수명 페로브스카이트 태양전지 구현 hands 2019.11.14 353
1481 서울대-SK텔레콤 공동 기술사업화 업무 협약식 hands 2019.11.14 260
1480 리플에이아이-서울대 김건희 교수팀, 2019 동영상 이해 및 자연어 대화 인공지능 챌린지 세계대회 우승 hands 2019.11.14 174
1479 서울대 공대, 세계 컴퓨터비전 최대 학회 ICCV 2019 국내 첫 개최 hands 2019.11.14 215
1478 여성교수 공동 채용 나선 亞 주요 7개大 공대학장 hands 2019.11.14 199
1477 윤병동 교수, 한국PHM학회 회장 취임 hands 2019.11.14 186
1476 서울대 윤병동 교수 연구팀, LG전자 소재/생산기술원, 한국기계연구원-한국표준과학연구원 연구팀 PHM Society 2019 PHM Conference ‘Data Challenge Competition’ Winner (1, 2위) 석권 hands 2019.11.14 197
1475 윤병동 교수, PHM Society Fellow 선정 hands 2019.10.24 496
Login
College of Engineering Seoul National University
XE Login