Welcome to Software Foundations Lab!
Our research focuses on theoretically interesting software problems that are also practically useful.
Please see below for the details of our recent projects.
- Formal Semantics of low-level languages
- Relaxed Memory Concurrency
- Compiler Verification
Professor: Room 426 Bldg 302, TEL: 02-880-1844
Students: Room 312-2 Bldg 302, TEL: 02-880-1865
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 08826
Republic of Korea