ACM

SHERPA: green

Groups

  1. Henzinger Group (5)
  2. Alumni (1)

Results (5)

  • Path invariants
    Conference paper
  • Race checking by context inference
    Conference paper
  • The embedded machine: predictable, portable real-time code
    Conference paper
  • Model checking transactional memories
    Conference paper
  • P: Safe asynchronous event-driven programming
    Conference paper