selected publications

• academic article

  • An Extensible Meta-Model for Program Analysis.  IEEE Transactions on Software Engineering.  33:592-607. 2007

• conference paper

  • An Extensible Meta-Model for Program Analysis.  Proceedings. 2006