research
∙
04/23/2023
Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control
We propose the first method that determines the exact worst-case executi...
share
research
∙
02/25/2023
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make encoding and automatical...
research
∙
01/27/2023
Automatic Alignment in Higher-Order Probabilistic Programming Languages
Probabilistic Programming Languages (PPLs) allow users to encode statist...
research
∙
11/01/2022
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
Efficient parallelization of algorithms on general-purpose GPUs is today...
research
∙
09/02/2022
Programming with Context-Sensitive Holes using Dependency-Aware Tuning
Developing efficient and maintainable software systems is both hard and ...
research
∙
12/01/2021
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Probabilistic programming languages (PPLs) allow users to encode arbitra...
research
∙
11/04/2021
Automatic Diversity in the Software Supply Chain
Despite its obvious benefits, the increased adoption of package managers...
research
∙
04/29/2021
The Behavioral Diversity of Java JSON Libraries
JSON is a popular file and data format that is precisely specified by th...
research
∙
03/11/2020
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to reason un...
research
∙
12/18/2018
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
Probabilistic programming is a programming paradigm for expressing flexi...
research
∙
12/14/2017
A Brief Overview of the KTA WCET Tool
KTA (KTH's timing analyzer) is a research tool for performing timing ana...
research
∙
10/17/2017
Hybrid Simulation Safety: Limbos and Zero Crossings
Physical systems can be naturally modeled by combining continuous and di...
research
∙
08/25/2017
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs
We introduce a dynamic mechanism for the solution of analytically-tracta...
research
∙
06/11/2015
