연구실 목록
강지훈 교수 연구실
Programming Languages Theory Lab
한국과학기술원 · 전산학부
정보 출처아직 확인되지 않음
교수 소개
강지훈 교수
교수 홈페이지·논문소개
강지훈 교수는 KAIST 전산학부 조교수로 동시성 및 병렬성 연구실(Concurrency and Parallelism Lab)을 이끈다. 서울대에서 박사학위를 받은 뒤 2019년 KAIST에 합류했으며, 실세계 컴퓨터 시스템의 원리를 형식적으로 이해해 프로그래머의 작성·검증을 돕는 것을 목표로 한다. 비차단 동시성 프로그래밍, 완화된 메모리 일관성 모델, 컴파일러 검증, 프로그래밍 언어 형식 의미론을 연구하며 Rust의 사실상 표준 동시성 라이브러리 Crossbeam을 유지보수한다.
연구 키워드
Programming LanguagesFormal Verification
대표 논문
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for LivenessProc. ACM Program. Lang. (OOPSLA) · 2025
- Revamping Verilog Semantics for Foundational VerificationProc. ACM Program. Lang. (OOPSLA) · 2025
- Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation LogicProc. ACM Program. Lang. (PLDI) · 2025
- Leveraging Immutability to Validate Hazard Pointers for Optimistic TraversalsProc. ACM Program. Lang. (PLDI) · 2025
- Verifying Lock-Free Traversals in Relaxed Memory Separation LogicProc. ACM Program. Lang. (PLDI) · 2025
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
Network and distributed system security
- 권영진 교수 연구실모집 중
Operating systems, system security
- 김민수 교수 연구실모집 중
Databases, data mining/machine learning, medical/bioinformatics
- 김주호 교수 연구실모집 중
HCI, human-AI interaction, social computing, crowdsourcing, online education
- 김현우 교수 연구실모집 중
AI, computer vision, machine learning
- 문수복 교수 연구실모집 중
Network platforms, online social networks