47 citations · 55 across the 14 of their papers we have counts for
21 papers
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Farzaneh Derakhshan, Jan Hoffmann
This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The work…
Automatic Amortized Resource Analysis with Regular Recursive Types
Jessie Grosen, David M. Kahn, Jan Hoffmann
The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automa…
Automatic Amortized Resource Analysis with the Quantum Physicist's Method
David M Kahn, Jan Hoffmann
We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more prec…
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, Thomas Reps
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize i…
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
Di Wang, Jan Hoffmann, Thomas Reps
In this article, we present a semantics-level adaption of the Optional Stopping Theorem, sketch an expected-cost analysis as its application, and survey different variants of the O…
Probabilistic Resource-Aware Session Types
Ankush Das, Di Wang, Jan Hoffmann
Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many mes…