SE547: Overview: Topics of Interest: Language Mechanisms [6/20]

• dynamic program monitoring
  • theory: what kind of properties can we enforce?
  • practice: languages for writing program monitors
• static program analysis
  • type systems for safe virtual machines
  • enforcing information flow properties