research
∙
05/24/2023
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Probabilistic recurrence relations (PRRs) are a standard formalism for d...
share
research
∙
09/08/2022
Template-based Program Synthesis using Stellensätze
Template-based synthesis, also known as sketching, is a localized approa...
research
∙
10/19/2021
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain
Suppose that Alice plans to buy a physical good from Bob over a programm...
research
∙
11/30/2020
Quantitative Analysis of Assertion Violations in Probabilistic Programs
In this work, we consider the fundamental problem of deriving quantitati...
research
∙
08/02/2020
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
Analyzing probabilistic programs and randomized algorithms are classical...
research
∙
07/28/2020
Inductive Reachability Witnesses
In this work, we consider the fundamental problem of reachability analys...
research
∙
04/19/2020
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth
Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) a...
research
∙
01/29/2020
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Interprocedural data-flow analyses form an expressive and useful paradig...
research
∙
02/21/2019
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
In today's programmable blockchains, smart contracts are limited to bein...
research
∙
02/12/2019
Cost Analysis of Nondeterministic Probabilistic Programs
We consider the problem of expected cost analysis over nondeterministic ...
research
∙
02/12/2019
Polynomial Invariant Generation for Non-deterministic Recursive Programs
We present a sound and complete method to generate inductive invariants ...
research
∙
01/18/2019
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs
In this work, we consider the almost-sure termination problem for probab...
research
∙
06/08/2018
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Crypto-currencies are digital assets designed to work as a medium of exc...
research
∙
05/27/2018
A note on belief structures and S-approximation spaces
We study relations between evidence theory and S-approximation spaces. B...
research
∙
05/23/2018
Secure Credit Reporting on the Blockchain
We present a secure approach for maintaining and reporting credit histor...
research
∙
04/24/2018
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
We consider the stochastic shortest path (SSP) problem for succinct Mark...
research
∙
01/10/2018
Quantitative Analysis of Smart Contracts
Smart contracts are computer programs that are executed by a network of ...
research
∙
12/27/2017