Mind the gap

M Khayati, A Lerner, Z Tymchenko… - Proceedings of the …, 2020 - sonar.ch
Recording sensor data is seldom a perfect process. Failures in power, communication or
storage can leave occasional blocks of data missing, affecting not only real-time monitoring …

Scaling exact inference for discrete probabilistic programs

S Holtzen, G Van den Broeck, T Millstein - Proceedings of the ACM on …, 2020 - dl.acm.org
Probabilistic programming languages (PPLs) are an expressive means of representing and
reasoning about probabilistic models. The computational challenge of probabilistic …

SPPL: probabilistic programming with fast exact symbolic inference

FA Saad, MC Rinard, VK Mansinghka - Proceedings of the 42nd acm …, 2021 - dl.acm.org
We present the Sum-Product Probabilistic Language (SPPL), a new probabilistic
programming language that automatically delivers exact solutions to a broad range of …

Gensql: a probabilistic programming system for querying generative models of database tables

M Huot, M Ghavami, AK Lew, U Schaechtle… - Proceedings of the …, 2024 - dl.acm.org
This article presents GenSQL, a probabilistic programming system for querying probabilistic
generative models of database tables. By augmenting SQL with only a few key primitives for …

Recovdb: Accurate and efficient missing blocks recovery for large time series

I Arous, M Khayati, P Cudré-Mauroux… - 2019 ieee 35th …, 2019 - ieeexplore.ieee.org
With the emergence of the Internet of Things (IoT), time series data has become ubiquitous
in our daily life. Making sense of time series is a topic of great interest in many domains …

Hierarchical infinite relational model

FA Saad, VK Mansinghka - Uncertainty in Artificial …, 2021 - proceedings.mlr.press
This paper describes the hierarchical infinite relational model (HIRM), a new probabilistic
generative model for noisy, sparse, and heterogeneous relational data. Given a set of …

Temporally-reweighted Chinese restaurant process mixtures for clustering, imputing, and forecasting multivariate time series

F Saad, V Mansinghka - International Conference on …, 2018 - proceedings.mlr.press
This article proposes a Bayesian nonparametric method for forecasting, imputation, and
clustering in sparsely observed, multivariate time series data. The method is appropriate for …

Aquasense: Automated sensitivity analysis of probabilistic programs via quantized inference

Z Zhou, Z Huang, S Misailovic - International Symposium on Automated …, 2023 - Springer
We propose a novel tool, AquaSense, to automatically reason about the sensitivity analysis
of probabilistic programs. In the context of probabilistic programs, sensitivity analysis …

Bit Blasting Probabilistic Programs

P Garg, S Holtzen, G Van den Broeck… - Proceedings of the ACM …, 2024 - dl.acm.org
Probabilistic programming languages (PPLs) are an expressive means for creating and
reasoning about probabilistic models. Unfortunately hybrid probabilistic programs that …

tspdb: Time series predict db

A Agarwal, A Alomar, D Shah - NeurIPS 2020 Competition …, 2021 - proceedings.mlr.press
A major bottleneck of the current Machine Learning (ML) workflow is the time consuming,
error prone engineering required to get data from a datastore or a database (DB) to the point …