Amir Kafshdar Goharshady | DeepAI

DeepAI AI Chat

Featured Co-authors

Krishnendu Chatterjee
70 publications
Andreas Pavlogiannis
21 publications
Hongfei Fu
14 publications
Rasmus Ibsen-Jensen
8 publications
Yican Sun
7 publications
Ali Behrouz
6 publications
Arash Pourdamghani
5 publications
Nastaran Okati
5 publications
Fatemeh Mohammadi
5 publications
Yaron Velner
5 publications
Kiarash Mohammadi
4 publications

∙ 05/24/2023

Automated Tail Bound Analysis for Probabilistic Recurrence Relations

Probabilistic recurrence relations (PRRs) are a standard formalism for d...

0 Yican Sun, et al. ∙

∙ 09/08/2022

Template-based Program Synthesis using Stellensätze

Template-based synthesis, also known as sketching, is a localized approa...

0 Amir Kafshdar Goharshady, et al. ∙

∙ 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...

0 Amir Kafshdar Goharshady, et al. ∙

∙ 11/30/2020

Quantitative Analysis of Assertion Violations in Probabilistic Programs

In this work, we consider the fundamental problem of deriving quantitati...

0 Jinyi Wang, et al. ∙

∙ 08/02/2020

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations

Analyzing probabilistic programs and randomized algorithms are classical...

0 Jinyi Wang, et al. ∙

∙ 07/28/2020

Inductive Reachability Witnesses

In this work, we consider the fundamental problem of reachability analys...

0 Ali Asadi, et al. ∙

∙ 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...

0 Ali Asadi, et al. ∙

∙ 01/29/2020

Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis

Interprocedural data-flow analyses form an expressive and useful paradig...

0 Krishnendu Chatterjee, et al. ∙

∙ 02/21/2019

Probabilistic Smart Contracts: Secure Randomness on the Blockchain

In today's programmable blockchains, smart contracts are limited to bein...

0 Krishnendu Chatterjee, et al. ∙

∙ 02/12/2019

Cost Analysis of Nondeterministic Probabilistic Programs

We consider the problem of expected cost analysis over nondeterministic ...

0 Krishnendu Chatterjee, et al. ∙

∙ 02/12/2019

Polynomial Invariant Generation for Non-deterministic Recursive Programs

We present a sound and complete method to generate inductive invariants ...

0 Krishnendu Chatterjee, et al. ∙

∙ 01/18/2019

Compositional Analysis for Almost-Sure Termination of Probabilistic Programs

In this work, we consider the almost-sure termination problem for probab...

0 Mingzhang Huang, et al. ∙

∙ 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...

0 Krishnendu Chatterjee, et al. ∙

∙ 05/27/2018

A note on belief structures and S-approximation spaces

We study relations between evidence theory and S-approximation spaces. B...

0 Ali Shakiba, et al. ∙

∙ 05/23/2018

Secure Credit Reporting on the Blockchain

We present a secure approach for maintaining and reporting credit histor...

0 Amir Kafshdar Goharshady, et al. ∙

∙ 04/24/2018

Computational Approaches for Stochastic Shortest Path on Succinct MDPs

We consider the stochastic shortest path (SSP) problem for succinct Mark...

0 Krishnendu Chatterjee, et al. ∙

∙ 01/10/2018

Quantitative Analysis of Smart Contracts

Smart contracts are computer programs that are executed by a network of ...

0 Krishnendu Chatterjee, et al. ∙

∙ 12/27/2017

A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth

We consider the classic problem of network reliability. A network is giv...

0 Amir Kafshdar Goharshady, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world