Expressing and verifying probabilistic assertions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 09, 2014
Source ID
10.1145/2594291.2594294

Entities

People

  • Adrian Sampson
  • Dan Grossman
  • Kathryn S. Mckinley
  • Luis Ceze
  • Pavel Panchekha
  • Todd Mytkowicz

Organizations

  • Defense Advanced Research Projects Agency
  • Google
  • Microsoft
  • Qualcomm
  • University of Washington