متابعة
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‏
1332016
Probabilistic Smart Contracts: Secure Randomness on the Blockchain‏
K Chatterjee, A Goharshady, A Pourdamghani‏
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019‏
1312019
Quantitative Analysis of Smart Contracts‏
K Chatterjee, AK Goharshady, Y Velner‏
European Symposium on Programming (ESOP), 2018‏
892018
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‏
632019
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
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‏
532020
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‏
472019
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‏
462019
Non-polynomial Worst-Case Analysis of Recursive Programs‏
K Chatterjee, H Fu, AK Goharshady‏
International Conference on Computer Aided Verification (CAV), 2017‏
462017
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‏
452018
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
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
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‏
302021
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‏
302016
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‏
292022
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