Research Paper

• Verifying an Open Compiler Using Multi-Language Semantics
  James T. Perconti and Amal Ahmed
  In Proceedings of the 23rd European Symposium on Programming (ESOP '14), Grenoble, France.
  Technical Report

Home