Παρακολούθηση
Amir Goharshady
Amir Goharshady
University of Oxford
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Termination analysis of probabilistic programs through Positivstellensätze
K Chatterjee, H Fu, AK Goharshady
International Conference on Computer Aided Verification (CAV), 2016
1392016
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
K Chatterjee, A Goharshady, A Pourdamghani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019
1342019
Quantitative Analysis of Smart Contracts
K Chatterjee, AK Goharshady, Y Velner
European Symposium on Programming (ESOP), 2018
872018
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
662019
The Treewidth of Smart Contracts
K Chatterjee, AK Goharshady, EK Goharshady
ACM Symposium on Applied Computing (SAC), 2019
612019
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
572020
Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving
K Chatterjee, AK Goharshady, A Pourdamghani
ACM Symposium on Applied Computing (SAC), 2019
572019
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
502019
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
462018
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
382021
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
322022
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
312022
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
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
312016
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
AK Goharshady, F Mohammadi
Reliability Engineering and System Safety, 2020
292020
Efficient Parameterized Algorithms for Data Packing
K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis
ACM Symposium on Principles of Programming Languages (POPL), 2019
272019
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
252021
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
252020
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20