POPL: Principles of Programming Languages

Published by: ACM  

Groups

  1. Henzinger Group (14)
  2. Alumni (4)
  3. Chatterjee Group (2)
  4. IST Fellow (2)

Results (16)

  • Temporal proof methodologies for real-time systems
    Conference paper
  • Lazy abstraction
    Conference paper
  • Abstractions from proofs
    Conference paper
  • Synthesis of interface specifications for Java classes
    Conference paper
  • Counterexample-guided focus
    Conference paper
  • From boolean to quantitative notions of correctness
    Conference paper
  • Battery transition systems
    Conference paper