Seguir
Amir Goharshady
Amir Goharshady
Hong Kong University of Science and Technology (HKUST)
Dirección de correo verificada de cse.ust.hk - Página principal
Título
Citado por
Citado por
Año
Termination analysis of probabilistic programs through Positivstellensätze
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2016
1382016
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
K Chatterjee, A Goharshady, A Pourdamghani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019
1302019
Quantitative Analysis of Smart Contracts
K Chatterjee, AK Goharshady, Y Velner
European Symposium on Programming (ESOP), 2018
852018
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
642019
The Treewidth of Smart Contracts
K Chatterjee, AK Goharshady, EK Goharshady
ACM Symposium on Applied Computing (SAC), 2019
582019
Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving
K Chatterjee, AK Goharshady, A Pourdamghani
ACM Symposium on Applied Computing (SAC), 2019
552019
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
542020
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
482019
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
482019
Non-polynomial Worst-Case Analysis of Recursive Programs
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2017
482017
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
442018
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
372021
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
312021
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
302022
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
292016
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
282022
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
AK Goharshady, F Mohammadi
Reliability Engineering and System Safety, 2020
272020
Efficient Parameterized Algorithms for Data Packing
K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis
ACM Symposium on Principles of Programming Languages (POPL), 2019
252019
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
242021
[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
242016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20