Bounded expectations: resource analysis for probabilistic programs
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 11, 2018
- Source ID
- 10.1145/3192366.3192394
Entities
People
- Jan Hoffmann
- Quentin Carbonneaux
- Van Chan Ngo
Organizations
- Carnegie Mellon University
- Defense Advanced Research Projects Agency
- Yale University