Projects
Current Projects:
- Certifying Compilers for C-like Languages
- Automated Theorem Proving in Building High-Confidence Software
- Vsync: Verifying Concurrent Software for Multi-core Machines
- PPLSRS: Parallel Programming Language with Shared Resource Specification
- Kern0:Certified OS Kernel
Past Projects
- RCAL86: Realistic Certifying Assembly Language for IA32. (Finished in Sep 2006)
- TLL: Typed Low-level Language for Open Runtime Platform. (Finished in Sep 2004)