Languages

Projects

Current Projects:

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)