Folgen
Amir Goharshady
Titel
Zitiert von
Zitiert von
Jahr
Termination analysis of probabilistic programs through Positivstellensätze
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2016
1192016
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
K Chatterjee, A Goharshady, A Pourdamghani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019
1032019
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
502019
The Treewidth of Smart Contracts
K Chatterjee, AK Goharshady, EK Goharshady
ACM Symposium on Applied Computing (SAC), 2019
482019
Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving
K Chatterjee, AK Goharshady, A Pourdamghani
ACM Symposium on Applied Computing (SAC), 2019
402019
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
392020
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
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
Non-polynomial Worst-Case Analysis of Recursive Programs
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2017
382017
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
372019
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
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
252021
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
222021
[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
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
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
192018
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
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis
European Symposium on Programming (ESOP), 2020
182020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20