Amanote Research
Register
Sign In
Bounded Expectations: Resource Analysis for Probabilistic Programs
doi 10.1145/3192366.3192394
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Van Chan Ngo
Quentin Carbonneaux
Jan Hoffmann
Publisher
ACM Press
Related search
Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fine-Grained Semantics for Probabilistic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Quantum Advantage for Probabilistic One-Time Programs
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Student Expectations of TESOL Programs
Australian Review of Applied Linguistics
Linguistics
Language
Towards Verified Stochastic Variational Inference for Probabilistic Programs
Proceedings of the ACM on Programming Languages
Professors’ Research Expectations for Admission to Psychology Graduate Programs
Psi Chi Journal of Psychological Research
Nonlinear Programs With Positively Bounded Jacobians
On Learning Bounded-Width Branching Programs