Results (15)

  • Trading memory for randomness
    Conference paper
  • Race checking by context inference
    Conference paper