CSE 종신교수 취임 기념 강연-허충길 교수님

 

- 일시: 2022. 9. 28.(수) 12:15-13:30

- 장소: 302동 105호

 

- 발표내용: 

지난 9년간 서울대학교에서 Software Foundations 연구실을 운영하며 튼튼한 소프트웨어 기반을 다지기 위해 수행한 여러 주제의 연구를 소개한다. 이들은 주로 산업계에서 발생하는 실질적인 문제들을 수학적인 방법으로 접근하여 근본적으로 해결한 연구들이다.

구체적으로 (1) 멀티 코어 환경에서 발생하는 느슨한 동시성 행동 제대로 모델링하기

                   (2) C 언어 및 컴파일러 중간언어의 제대로 된 실행 모델 개발하기

                   (3) C 컴파일러의 무오류성 검증 및 검산하기

                   (4) C 및 어셈블리 프로그램 검증 도구 개발 및 OS 검증하기 등의 주제로 연구를 수행해오고 있다.

이러한 9년간의 연구성과들은 세계적으로 우수성을 인정받아 프로그래밍 언어 분야 최고의 학회인 PLDI 및 POPL에 14편의 논문으로 출간되었고, 특히 이 중 3편은 Distinguished Paper Award를 수상했다. 또한 몇몇 연구 결과들은 이미 산업계에 적용되어 현재 사용되고 있다.

 

- 참석자 간단한 점심 제공(선착순)