ACM

SHERPA: green

Groups

  1. Henzinger Group (5)
  2. Bickel Group (2)
  3. Wojtan Group (2)
  4. Alistarh Group (1)
  5. Alumni (1)
  6. Chatterjee Group (1)
  7. Lampert Group (1)

Results (11)

  • Transactions in the jungle
    Conference paper
  • Counterexample-guided focus
    Conference paper
  • From boolean to quantitative notions of correctness
    Conference paper