Following the global norms of Mathematics and Theoretical Computer Science, names appear in alphabetical order, except that Iranian and Chinese co-authors are sometimes put first to satisfy graduation requirements.
Following the global norms of Mathematics and Theoretical Computer Science, names appear in alphabetical order, except that Iranian and Chinese co-authors are sometimes put first to satisfy graduation requirements.
J. Ballweg, A.K. Goharshady, Z. Lin
Fast and Gas-efficient Private Sealed-bid Auctions
ACM Symposium on Principles of Distributed Computing, PODC 2025
P. Fatemi, A.K. Goharshady
Fortuna: A Game-theoretic Protocol to Generate Secret Randomness on the Blockchain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2025
A.K. Goharshady, S. Hitarth, S. Novozhilov
Efficient Synthesis of Tight Polynomial Upper-bounds for Systems of Conditional Polynomial Recurrences
European Symposium on Programming, ESOP 2025
M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba
Optimal Blocks for Maximizing the Transaction Fee Revenue of Bitcoin Miners
Journal of Combinatorial Optimization, 2025
T. Barakbayeva, S. Farokhnia, A.K. Goharshady, P. Li, Z. Lin
Improved Gas Optimization of Smart Contracts
International Conference on Fundamentals of Software Engineering, FSEN 2025
X. Cai, A.K. Goharshady, S. Hitarth, C.K. Lam
Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs
International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2025
T. Bourke, L. Chen, A.K. Goharshady (Editors)
Proceedings of the International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA)
Springer LNCS 15469, 2024
X. Cai, A.K. Goharshady
Faster Lifetime-optimal Speculative Partial Redundancy Elimination for Goto-free Programs
International Symposium on Software Engineering: Theories, Tools, and Applications, SETTA 2024
G.K. Conrado, A.K. Goharshady, K.N.L. Nguyen
PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain
IEEE International Conference on Blockchain Computing and Applications, BCCA 2024
A.K. Goharshady, C.K. Lam, L. Parreaux
Fast and Optimal Extraction for Sparse Equality Graphs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2024
ACM SIGPLAN Distinguished Paper Award
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, Ð. Žikelić
Quantitative Bounds on Resource Usage of Probabilistic Programs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2024
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, M. Karrabi, Ð. Žikelić
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
International Symposium on Formal Methods, FM 2024
FME Distinguished Paper Award
S. Akshay, S. Chakraborty, A.K. Goharshady, R. Govind, H.J. Motwani, S.T. Varanasi
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
International Symposium on Formal Methods, FM 2024
T. Barakbayeva, S. Farokhnia, A.K. Goharshady, M. Gufler, S. Novozhilov
Pixiu: Optimal Block Production Revenues on Cardano
IEEE International Conference on Blockchain, Blockchain 2024
A.K. Goharshady, Z. Lin
Blind Vote: Economical and Secret Blockchain-Based Voting
IEEE International Conference on Blockchain, Blockchain 2024
S. Farokhnia, A.K. Goharshady
Options and Futures Imperil Bitcoin’s Security
IEEE International Conference on Blockchain, Blockchain 2024
S. Akshay, S. Chakraborty, A.K. Goharshady, R. Govind, H.J. Motwani, S.T. Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024
G.K. Conrado, A.K. Goharshady, P. Hudec, P. Li, H.J. Motwani
Faster Treewidth-based Approximations for Wiener Index
Symposium on Experimental Algorithms, SEA 2024
V.P. Abidha, T. Barakbayeva, Z. Cai, A.K. Goharshady
Gas-Efficient Decentralized Random Beacons
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024
T. Barakbayeva, Z. Cai, A.K. Goharshady
SRNG: An Efficient Decentralized Approach for Secret Random Number Generation
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024
K. Arshi, A.K. Goharshady
Congesting Ethereum after EIP-1559
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024
J. Ballweg, Z. Cai, A.K. Goharshady
PureLottery: Fair Leader Election without Decentralized Random Number Generation
IEEE International Conference on Blockchain, Blockchain 2023
P. Fatemi, A.K. Goharshady
Secure and Decentralized Generation of Secret Random Numbers on the Blockchain
IEEE International Conference on Blockchain Computing and Applications, BCCA 2023
G.K. Conrado, A.K. Goharshady, C.K. Lam
The Bounded Pathwidth of Control-Flow Graphs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
Z. Cai, S. Farokhnia, A.K. Goharshady, S. Hitarth
Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
G.K. Conrado, A.K. Goharshady, K. Kochekov, Y.C. Tsai, A.K. Zaher
Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
A.K. Goharshady, S. Hitarth, F. Mohammadi, H.J. Motwani
Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2023
ACM SIGPLAN Distinguished Paper Award
IEEE Computer Society Larson Best Paper Award
Z. Cai, A.K. Goharshady
Game-theoretic Randomness for Proof-of-Stake
International Conference on Mathematical Research for Blockchain Economy, MARBLE 2023
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
International Conference on Computer Aided Verification, CAV 2023
S. Farokhnia, A.K. Goharshady
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023
Z. Cai, A.K. Goharshady
Trustless and Bias-resistant Game-theoretic Distributed Randomness
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023
S. Farokhnia, A.K. Goharshady
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts
ACM Symposium on Applied Computing, SAC 2023
A.K. Goharshady, A.K. Zaher
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2023
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi, Ð. Žikelić
Algorithms and Hardness Results for Computing Cores of Markov Chains
IARCS Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022
M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba
Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees
IEEE International Conference on Blockchain, Blockchain 2022
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, Ð. Žikelić
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
International Conference on Computer Aided Verification, CAV 2022
A. Ahmadi, M. Daliri, A.K. Goharshady, A. Pavlogiannis
Efficient Approximations for Cache-conscious Data Placement
ACM Conference on Programming Language Design and Implementation, PLDI 2022
A.K. Goharshady
Irrationality, Extortion, or Trusted Third-Parties: Why It is Impossible to Buy and Sell Physical Goods Securely on the Blockchain
IEEE International Conference on Blockchain, Blockchain 2021
Best Paper Award Nominee
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi
Polynomial Reachability Witnesses via Stellensätze
ACM Conference on Programming Language Design and Implementation, PLDI 2021
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady
Quantitative Analysis of Assertion Violations in Probabilistic Programs
ACM Conference on Programming Language Design and Implementation, PLDI 2021
A.K. Goharshady, F. Mohammadi
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
Reliability Engineering and System Safety, 2020
A.K. Goharshady
Parameterized and Algebro-geometric Advances in Static Program Analysis
PhD Thesis, IST Austria (Institute of Science and Technology Austria), 2020
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
International Symposium on Automated Technology for Verification and Analysis, ATVA 2020
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady
Polynomial Invariant Generation for Non-deterministic Recursive Programs
ACM Conference on Programming Language Design and Implementation, PLDI 2020
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
European Symposium on Programming, ESOP 2020
EATCS Best Paper Award Nominee
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
A Note on Belief Structures and S-Approximation Spaces
Iranian Journal of Mathematical Sciences and Informatics, IJMSI 2020
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady
Modular Verification for Almost-Sure Termination of Probabilistic Programs
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2019
IEEE Computer Society Larson Best Paper Award
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
ACM Transactions on Programming Languages and Systems, TOPLAS 2019
K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
ACM Transactions on Programming Languages and Systems, TOPLAS 2019
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi
Cost Analysis of Nondeterministic Probabilistic Programs
ACM Conference on Programming Language Design and Implementation, PLDI 2019
K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019
K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving
ACM Symposium on Applied Computing, SAC 2019
K. Chatterjee, A.K. Goharshady, E.K. Goharshady
The Treewidth of Smart Contracts
ACM Symposium on Applied Computing, SAC 2019
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis
Efficient Parameterized Algorithms for Data Packing
ACM Symposium on Principles of Programming Languages, POPL 2019
IEEE Computer Society Larson Best Paper Award
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
ACM Transactions on Programming Languages and Systems, TOPLAS 2018
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner
Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
International Conference on Concurrency Theory, CONCUR 2018
A.K. Goharshady, A. Behrouz, K. Chatterjee
Secure Credit Reporting on the Blockchain
IEEE International Symposium on Blockchain and its Applications, Blockchain 2018
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
International Joint Conference on Artificial Intelligence, IJCAI 2018
K. Chatterjee, A.K. Goharshady, Y. Velner
Quantitative Analysis of Smart Contracts
European Symposium on Programming, ESOP 2018
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis
JTDec: A Tool for Tree Decompositions in Soot
International Symposium on Automated Technology for Verification and Analysis, ATVA 2017
K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
International Conference on Computer Aided Verification, CAV 2017
K. Chatterjee, H. Fu, A.K. Goharshady
Termination Analysis of Probabilistic Programs through Positivstellensätze
International Conference on Computer Aided Verification, CAV 2016
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
ACM Symposium on Principles of Programming Languages, POPL 2016
M.R. Hooshmandasl, M. Alambardar, A.K. Goharshady, A. Shakiba
A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces
Iranian Seminar on Geometry and Topology, 2015
A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Discrete Applied Mathematics, 2015
M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. Karimi
S-Approximation: A New Approach to Algebraic Approximation
Journal of Discrete Mathematics, 2014