소프트웨어 원리 연구실

허충길 교수

소프트웨어의 의미와 정확성을 연구한다. 저수준 언어의 형식 의미론, LLVM의 미정의 동작과 C 메모리 모델, 약한 메모리의 동시성, 컴파일러와 최적화의 형식 검증을 다룬다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.