Amir Goharshady
Amir Goharshady
Hong Kong University of Science and Technology (HKUST)
Verified email at ist.ac.at - Homepage
Title
Cited by
Cited by
Year
Termination analysis of probabilistic programs through positivstellensatz’s
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2016
722016
Quantitative Analysis of Smart Contracts
K Chatterjee, AK Goharshady, Y Velner
European Symposium on Programming (ESOP), 2018
392018
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
K Chatterjee, A Goharshady, A Pourdamghani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019
252019
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
192019
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
192016
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
182019
Non-polynomial Worst-Case Analysis of Recursive Programs
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2017
182017
[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
172016
The Treewidth of Smart Contracts
K Chatterjee, AK Goharshady, EK Goharshady
ACM Symposium on Applied Computing (SAC), 2019
162019
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
142018
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
132019
Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving
K Chatterjee, AK Goharshady, A Pourdamghani
ACM Symposium on Applied Computing (SAC), 2019
122019
S-approximation: a new approach to algebraic approximation
MR Hooshmandasl, A Shakiba, AK Goharshady, A Karimi
Journal of Discrete Mathematics, 2014
122014
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
112018
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K Chatterjee, R Ibsen-Jensen, AK Goharshady, A Pavlogiannis
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (3), 1-43, 2018
92018
JTDec: A Tool for Tree Decompositions in Soot
K Chatterjee, AK Goharshady, A Pavlogiannis
Symposium on Automated Technology for Verification and Analysis (ATVA), 2017
92017
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
72020
Efficient Parameterized Algorithms for Data Packing
K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis
ACM Symposium on Principles of Programming Languages (POPL), 2019
62019
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
K Chatterjee, AK Goharshady, P Goyal, R Ibsen-Jensen, A Pavlogiannis
ACM Transactions on Programming Languages and Systems (TOPLAS), 2019
62019
Secure Credit Reporting on the Blockchain
AK Goharshady, A Behrouz, K Chatterjee
IEEE International Symposium on Blockchain and its Applications, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20