Projects
Mon, 12/06/2010 - 19:30 — apostate
Current Projects:
- Shape Graph Logic and Shape System
- Certifying Compilers for C-like Languages
- Automated Theorem Proving in Building High-Confidence Software
- Vsync: Verifying Concurrent Software for Multi-core Machines
- SPC: 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)
- Login to post comments