research
∙
09/03/2023
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Worst-case input generation aims to automatically generate inputs that e...
share
research
∙
04/26/2023
Automatic Amortized Resource Analysis with Regular Recursive Types
The goal of automatic resource bound analysis is to statically infer sym...
research
∙
06/26/2021
Automatic Amortized Resource Analysis with the Quantum Physicist's Method
We present a novel method for working with the physicist's method of amo...
research
∙
04/08/2021
Sound Probabilistic Inference via Guide Types
Probabilistic programming languages aim to describe and automate Bayesia...
research
∙
03/30/2021
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
In this article, we present a semantics-level adaption of the Optional S...
research
∙
11/18/2020
Probabilistic Resource-Aware Session Types
Session types guarantee that message-passing processes adhere to predefi...
research
∙
10/30/2020
Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Being a fully automated technique for resource analysis, automatic amort...
research
∙
06/29/2020
Liquid Resource Types
This article presents liquid resource types, a technique for automatical...
research
∙
06/24/2020
Raising Expectations: Automating Expected Cost Analysis with Types
This article presents a type-based analysis for deriving upper bounds on...
research
∙
02/21/2020
Exponential Automatic Amortized Resource Analysis
Automatic amortized resource analysis (AARA) is a type-based technique f...
research
∙
02/21/2020
Exponential Amortized Resource Analysis
Automatic amortized resource analysis (AARA) is a type-based technique f...
research
∙
01/28/2020
Tail Bound Analysis for Probabilistic Programs via Central Moments
For probabilistic programs, it is usually not possible to automatically ...
research
∙
04/16/2019
Resource-Guided Program Synthesis
This article presents resource-guided synthesis, a technique for synthes...
research
∙
02/16/2019
Resource-Aware Session Types for Digital Contracts
Programming digital contracts comes with unique challenges, which includ...
research
∙
04/17/2018
Parallel Complexity Analysis with Temporal Session Types
We study the problem of parametric parallel complexity analysis of concu...
research
∙
01/05/2018
Verifying and Synthesizing Constant-Resource Implementations with Types
We propose a novel type system for verifying that programs correctly imp...
research
∙
12/22/2017
Work Analysis with Resource-Aware Session Types
While there exist several successful techniques for supporting programme...
research
∙
11/24/2017