Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Krishnendu Chatterjee
Latest
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
Polynomial Invariant Generation for Non-deterministic Recursive Programs
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
Non-polynomial Worst-case Analysis of Recursive Programs
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Cost Analysis of Nondeterministic Probabilistic Programs
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving
The Treewidth of Smart Contracts
Efficient Parameterized Algorithms for Data Packing
Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Secure Credit Reporting on the Blockchain
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
Quantitative Analysis of Smart Contracts
JTDec: A Tool for Tree Decompositions in Soot
Non-polynomial Worst-case Analysis of Recursive Programs
Termination Analysis of Probabilistic Programs through Positivstellensatz’s
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Cite
×