From 3906a9d9cc69563bf79bfc5ba0f4f61fd0021363 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Markus=20B=C3=B6ck?= Date: Thu, 26 Mar 2026 11:33:34 +0100 Subject: [PATCH] add probabilistic programming section to research page --- research.md | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/research.md b/research.md index caa733d..4a9d7a0 100644 --- a/research.md +++ b/research.md @@ -4,4 +4,20 @@ layout: default excerpt: "Our Research Topics." --- -Sorry, all our research is todo. \ No newline at end of file +### Probabilistic Programming @ IPA-Lab + +Probabilistic programming provides an intuitive means to specify Bayesian models as programs and to automatically perform posterior inference with general-purpose algorithms. +This makes probabilistic modelling more accessible to non-experts in Bayesian statictics, however, it comes with new challenges. +Through the lens of software engineering, we explore new approaches to improve the probabilistic programming experience. + +**Highlighted Publications:** + +**[Online and Interactive Bayesian Inference Debugging](https://arxiv.org/abs/2510.26579)** +*Nathanel Nussbaumer, Markus Böck, and Jürgen Cito. To appear in ICSE 2026.* +Introduces a new approach for debugging probabilistic programs, where diagnostic tools evaluate the quality of inference during execution. +We implemented a debugger as a VSCode extension and showed that our approach significantly reduces time and difficulty on inference debugging tasks in a user-study. + +**[Language-Agnostic Static Analysis of Probabilistic Programs](https://dl.acm.org/doi/10.1145/3691620.3695031)** +*Markus Böck, Michael Schröder, and Jürgen Cito. ASE 2024.* +Describes a framework which allows the formulation of program analyses which target problems specific to the probabilistic programming environment in a high-level API. +The analyses can be applied to any probabilistic programming language for which light-weight bindings are implemented. \ No newline at end of file