Follow
Amir Goharshady
Title
Cited by
Cited by
Year
Termination analysis of probabilistic programs through Positivstellensätze
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2016
1212016
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
K Chatterjee, A Goharshady, A Pourdamghani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019
1042019
Quantitative Analysis of Smart Contracts
K Chatterjee, AK Goharshady, Y Velner
European Symposium on Programming (ESOP), 2018
802018
Cost Analysis of Nondeterministic Probabilistic Programs
P Wang, H Fu, AK Goharshady, K Chatterjee, X Qin, W Shi
ACM Conference on Programming Language Design and Implementation (PLDI), 2019
522019
The Treewidth of Smart Contracts
K Chatterjee, AK Goharshady, EK Goharshady
ACM Symposium on Applied Computing (SAC), 2019
492019
Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving
K Chatterjee, AK Goharshady, A Pourdamghani
ACM Symposium on Applied Computing (SAC), 2019
422019
Polynomial invariant generation for non-deterministic recursive programs
K Chatterjee, H Fu, AK Goharshady, EK Goharshady
ACM Conference on Programming Language Design and Implementation (PLDI), 2020
412020
Non-polynomial Worst-case Analysis of Recursive Programs
K Chatterjee, H Fu, AK Goharshady
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (4), 20, 2019
392019
Non-polynomial Worst-Case Analysis of Recursive Programs
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2017
392017
Modular Verification for Almost-Sure Termination of Probabilistic Programs
M Huang, H Fu, K Chatterjee, AK Goharshady
ACM International Conference on Object-Oriented Programming, Systems …, 2019
382019
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
K Chatterjee, AK Goharshady, R Ibsen-Jensen, Y Velner
International Conference on Concurrency Theory (CONCUR), 2018
382018
Polynomial Reachability Witnesses via Stellensätze
A Asadi, K Chatterjee, H Fu, A Goharshady, M Mahdavi
ACM Conference on Programming Language Design and Implementation (PLDI), 2021
282021
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis
ACM Symposium on Principles of Programming Languages (POPL), 2016
262016
Quantitative Analysis of Assertion Violations in Probabilistic Programs
J Wang, Y Sun, H Fu, K Chatterjee, AK Goharshady
ACM Conference on Programming Language Design and Implementation (PLDI), 2021
252021
[1, 2]-sets and [1, 2]-total sets in trees with algorithms
AK Goharshady, MR Hooshmandasl, MA Meybodi
Discrete Applied Mathematics 198, 136-146, 2016
222016
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
AK Goharshady, F Mohammadi
Reliability Engineering and System Safety, 2020
212020
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
K Chatterjee, H Fu, AK Goharshady, N Okati
International Joint Conference on Artificial Intelligence (IJCAI), 2018
202018
Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees
MA Meybodi, AK Goharshady, MR Hooshmandasl, A Shakiba
IEEE International Conference on Blockchain (Blockchain), 266-273, 2022
19*2022
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
K Chatterjee, A Goharshady, T Meggendorfer, Š Žikelić
International Conference on Computer Aided Verification (CAV), 2022
192022
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain
AK Goharshady
IEEE International Conference on Blockchain (Blockchain), 2021
182021
The system can't perform the operation now. Try again later.
Articles 1–20