research
∙
08/03/2023
Density-Based Semantics for Reactive Probabilistic Programming
Synchronous languages are now a standard industry tool for critical embe...
share
research
∙
07/14/2023
Verifying Performance Properties of Probabilistic Inference
In this extended abstract, we discuss the opportunity to formally verify...
research
∙
09/15/2022
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Efficient inference is often possible in a streaming context using Rao-B...
research
∙
03/16/2022
Translating Canonical SQL to Imperative Code in Coq
SQL is by far the most widely used and implemented query language. Yet, ...
research
∙
10/22/2021
Automatic Guide Generation for Stan via NumPyro
Stan is a very popular probabilistic language with a state-of-the-art HM...
research
∙
09/26/2021
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Probabilistic programming languages aid developers performing Bayesian i...
research
∙
08/25/2021
Learning GraphQL Query Costs (Extended Version)
GraphQL is a query language for APIs and a runtime for executing those q...
research
∙
09/11/2020
A Principled Approach to GraphQL Query Cost Analysis
The landscape of web APIs is evolving to meet new client requirements an...
research
∙
08/20/2019
Reactive Probabilistic Programming
Synchronous reactive languages were introduced for designing and impleme...
research
∙
07/30/2019
An Empirical Study of GraphQL Schemas
GraphQL is a query language for APIs and a runtime to execute queries. U...
research
∙
12/06/2018
Yaps: Python Frontend to Stan
Stan is a popular probabilistic programming language with a self-contain...
research
∙
09/30/2018
Extending Stan for Deep Probabilistic Programming
Deep probabilistic programming combines deep neural networks (for automa...
research
∙
04/17/2018