Christopher Colby

Semantics-based Program Analysis via Symbolic Composition of Transfer Relations Degree Type: Ph.D. in Computer Science
Advisor(s): Peter Lee
Graduated: August 1996

Thesis Committee:
Peter Lee (Chair)
Robert Harper
John Reynolds
Patrick Cousot (Ecole Normale Supérieure)

James Morris, Head, Computer Science Department
Raj Reddy Dean, School of Computer Science

Keywords:
program analysis  abstract interpretation  symbolic execution  program verification  compilers  debugging  operational semantics  functional languages  imperative languages