This page is maintained for archival purposes only. For current information please visit http://prolangs.cs.vt.edu/.

Publications

• All publications by date

• Publications by topic, then date
  • Analysis of Object-Oriented Languages
  • Software Tools and Optimizations for Object-Oriented Languages
  • Analysis of C
  • Performance Estimation
  • Incremental Data Flow Analysis
  • Foundations of Data Flow Analysis
  • Parallel Data Flow Analysis
  • Analysis of Explicitly Parallel Programs