Mon 19 Jun 2023 19:22 - 19:30 at Cypress 1 - SRC: Poster Session

We present dappl, a new probabilistic programming language to model decision making and exactly solve maximum expected utility problems (MEU). dappl is a functional language with support for first-class decision-making, rewards, and probabilistic uncertainty. Our goal in designing dappl is to (1) support scalable MEU reasoning, and (2) provide a flexible and expressive programming environment capable of representing complex real-world decision-making tasks. To accomplish these two goals we develop a new reasoning-via-compilation strategy for dappl. We reduce dappl MEU computation to a flexible branch-and-bound algorithm over compiled Boolean formulas weighted by the expectation semiring, then prove this reduction correct with respect to a denotational semantics. Furthermore, we demonstrate that our language is as expressive as known decision–theoretic probabilistic graphical models such as influence diagrams.

Mon 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

18:00 - 19:30
SRC: Poster SessionSRC at Cypress 1
18:00
7m
Poster
An Eager SMT Solver for Algebraic Data Type Queries
SRC
File Attached
18:07
7m
Poster
A Synchronization Mechanism for an Accelerator Design IR
SRC
Pai Li Cornell University, USA
Media Attached
18:15
7m
Poster
ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
SRC
Media Attached
18:22
7m
Poster
Distributions for Compositionally Differentiating Parametric Discontinuities
SRC
Jesse Michel Massachusetts Institute of Technology
Media Attached
18:30
7m
Poster
Formal Verification of a MIR-to-MIR optimisation
SRC
Media Attached
18:37
7m
Poster
Formal verification of approximate differential privacy via the characteristic function
SRC
Media Attached
18:45
7m
Poster
Leveraging Far Memory for Data-Intensive Processing: A Hotness-Segregated Heap Approach
SRC
Dat Nguyen Texas A & M University
File Attached
18:52
7m
Poster
On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound
SRC
Xingyu Xie Tsinghua University
Media Attached
19:00
7m
Poster
Prettybird: A DSL for Programmatic Font Compilation
SRC
Charles Averill University of Texas at Dallas
Media Attached
19:07
7m
Poster
Quantum Simulation using Context-Free-Language Ordered Binary Decision Diagrams
SRC
Media Attached
19:15
7m
Poster
Resource Sharing through Control-Flow Based Optimizations
SRC
Media Attached
19:22
7m
Poster
Scaling Decision-Theoretic Probabilistic Programs Through Factorization
SRC
Minsung Cho Northeastern University
Media Attached