-
Paper at OOPSLA 2023
The paper entitled “Lower Bounds for Possibly Divergent Probabilistic Programs” by Shenghua Feng (ISCAS, China), Mingshuai Chen (Zhejiang University, China), Han Su (ISCAS, China), Benjamin Kaminski, Joost-Pieter Katoen (RWTH Aachen), and Naijun Zhan (ISCAS, China) has been accepted for presentation at the OOPSLA issue of the Proceedings of the ACM on Programming Languages 2023. The paper presents…
-
Paper at POPL 2023
The paper entitled “A Calculus for Amortized Expected Runtimes” by Kevin Batz (RWTH Aachen), Benjamin Kaminski, Joost-Pieter Katoen (RWTH Aachen), Christoph Matheja (DTU Lyngby) and Lena Verscht has been accepted for presentation at the 50th ACM Symposium on Principles of Programming Languages (POPL). The paper presents a weakest precondition-style calculus to determine the amortized expected…
-
Selected JACM Article from 2022
Our paper Generative Datalog with Continuous Distributions (joint work with Martin Grohe, Joost-Pieter Katoen, and Peter Lindner) was featured as one of eight selected articles published in 2022 in the Journal of the ACM. It describes a new way to give semantics to Datalog, a declarative probabilistic programming language used in the context of probabilistic…