연구실 목록
허충길 교수 연구실
Chung-Kil Hur
서울대학교 · 컴퓨터공학부
정보 출처아직 확인되지 않음
교수 소개
허충길 교수
교수 홈페이지·논문소개
서울대 컴퓨터공학부 교수로 소프트웨어 원리 연구실(Software Foundations Lab, SFLab)을 이끈다. 소프트웨어 검증(프로그램 논리·컴파일러 정확성), 완화된 메모리 일관성(relaxed memory concurrency), 저수준 언어 의미론, 자동·대화형 정리증명을 연구한다. 이론적으로 흥미로우면서 실용적으로도 유용한 소프트웨어 문제 해결을 지향한다.
연구 키워드
Software Principles
대표 논문
- CRIS: The Power of Imagination in Hybrid VerificationPLDI · 2026
- Coco: Corecursion with Compositional Heterogeneous ProductivityPOPL · 2026
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for LivenessOOPSLA · 2025
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed SystemsPOPL · 2025
- Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer CastingPOPL · 2025
같은 학과의 다른 연구실
- 김건희 교수 연구실모집 중
Vision & Learning
- 김태현 교수 연구실모집 중
Quantum Information & Computing
- 박경수 교수 연구실모집 중
T-Networking
- 박재식 교수 연구실모집 중
Vision & Geometric Intelligence
- 서진욱 교수 연구실모집 중
Human-Computer Interaction
- 송용수 교수 연구실모집 중
Cryptography & Privacy