Publications

• All publications by date

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