Z. Cai, A.K. Goharshady
Proof of Election: A Formally-Verified Democratic Blockchain Protocol
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2026J. Ballweg, T. Barakbayeva, Z. Cai, A.K. Goharshady
LockFee: Refundable Transaction Admission via Time-Locked Collateral
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2026Z. Cai, A.K. Goharshady
Delay-Optimal Transaction Order Fairness
ACM Symposium on Principles of Distributed Computing, PODC 2026S. Akshay, S. Chakraborty, S. Farokhnia, A.K. Goharshady, H.J. Motwani, Ð. Žikelić
Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions
International Conference on Computer Aided Verification, CAV 2026A.K. Goharshady, K. Kochekov, T. Shu, A.K. Zaher
Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
ACM Conference on Programming Language Design and Implementation, PLDI 2026X. Cai, A.K. Goharshady, S. Hitarth, C.K. Lam
Series-Parallel-Loop Decompositions of Control-flow Graphs
Journal of Systems Architecture, JSA 2026H. Wu, J. Zhu, A.K. Goharshady, J. An, B. Xia, N. Zhan
Quantifier Elimination Meets Treewidth
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026T. Barakbayeva, S. Farokhnia, A.K. Goharshady, S. Novozhilov
Boosting Gas Revenues of Ethereum Miners
IEEE/ACM International Conference on Software Engineering, ICSE 2026A.K. Goharshady, C. Haase (Editors)
Proceedings of the International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA)
Springer LNCS 16458, 2025X. Cai, A.K. Goharshady
Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
International Symposium on Software Engineering: Theories, Tools, and Applications, SETTA 2025S. Leonardos, A.K. Goharshady, W. Knottenbelt, P. Pardalos (Editors)
Proceedings of the International Conference on Mathematical Research for Blockchain Economy (MARBLE)
Springer LNOR 978-3-032-13376-2, 2025N. Abapour, A.K. Goharshady, C.C. Dragan, M. Mahdavi
Blockchain-based Economic Voting with Posterior Security from Lattices
International Workshop on Security, IWSEC 2025G.K. Conrado, A.K. Goharshady, H.J. Motwani, S. Novozhilov
Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity
Latin American Algorithms, Graphs, and Optimization Symposium, LAGOS 2025K. Chatterjee, A.K. Goharshady, E.K. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, Ð. Žikelić
PolyQEnt: A Polynomial Quantified Entailment Solver
International Symposium on Automated Technology for Verification and Analysis, ATVA 2025
Distinguished Tool Paper AwardT. Barakbayeva, Z. Cai, A.K. Goharshady, K. Keypoor
Smart Contracts for Trustless Sampling of Correlated Equilibria
International Joint Conference on Artificial Intelligence, IJCAI 2025S. Akshay, S. Chakraborty, S. Farokhnia, A.K. Goharshady, H.J. Motwani, Ð. Žikelić
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
International Joint Conference on Artificial Intelligence, IJCAI 2025J. Ballweg, A.K. Goharshady, Z. Lin
Fast and Gas-efficient Private Sealed-bid Auctions
ACM Symposium on Principles of Distributed Computing, PODC 2025P. Fatemi, A.K. Goharshady
Fortuna: A Game-theoretic Protocol to Generate Secret Randomness on the Blockchain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2025A.K. Goharshady, S. Hitarth, S. Novozhilov
Efficient Synthesis of Tight Polynomial Upper-bounds for Systems of Conditional Polynomial Recurrences
European Symposium on Programming, ESOP 2025M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba
Optimal Blocks for Maximizing the Transaction Fee Revenue of Bitcoin Miners
Journal of Combinatorial Optimization, 2025T. Barakbayeva, S. Farokhnia, A.K. Goharshady, P. Li, Z. Lin
Improved Gas Optimization of Smart Contracts
International Conference on Fundamentals of Software Engineering, FSEN 2025X. 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 2025T. Bourke, L. Chen, A.K. Goharshady (Editors)
Proceedings of the International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA)
Springer LNCS 15469, 2024X. 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 2024G.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 2024A.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 AwardK. 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 2024K. 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 AwardS. 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 2024T. Barakbayeva, S. Farokhnia, A.K. Goharshady, M. Gufler, S. Novozhilov
Pixiu: Optimal Block Production Revenues on Cardano
IEEE International Conference on Blockchain, Blockchain 2024A.K. Goharshady, Z. Lin
Blind Vote: Economical and Secret Blockchain-Based Voting
IEEE International Conference on Blockchain, Blockchain 2024S. Farokhnia, A.K. Goharshady
Options and Futures Imperil Bitcoin’s Security
IEEE International Conference on Blockchain, Blockchain 2024S. 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 2024G.K. Conrado, A.K. Goharshady, P. Hudec, P. Li, H.J. Motwani
Faster Treewidth-based Approximations for Wiener Index
Symposium on Experimental Algorithms, SEA 2024V.P. Abidha, T. Barakbayeva, Z. Cai, A.K. Goharshady
Gas-Efficient Decentralized Random Beacons
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024T. Barakbayeva, Z. Cai, A.K. Goharshady
SRNG: An Efficient Decentralized Approach for Secret Random Number Generation
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024K. Arshi, A.K. Goharshady
Congesting Ethereum after EIP-1559
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024J. Ballweg, Z. Cai, A.K. Goharshady
PureLottery: Fair Leader Election without Decentralized Random Number Generation
IEEE International Conference on Blockchain, Blockchain 2023P. Fatemi, A.K. Goharshady
Secure and Decentralized Generation of Secret Random Numbers on the Blockchain
IEEE International Conference on Blockchain Computing and Applications, BCCA 2023G.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 2023Z. 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 2023G.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 2023A.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 AwardZ. Cai, A.K. Goharshady
Game-theoretic Randomness for Proof-of-Stake
International Conference on Mathematical Research for Blockchain Economy, MARBLE 2023Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
International Conference on Computer Aided Verification, CAV 2023S. Farokhnia, A.K. Goharshady
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023Z. Cai, A.K. Goharshady
Trustless and Bias-resistant Game-theoretic Distributed Randomness
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023S. Farokhnia, A.K. Goharshady
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts
ACM Symposium on Applied Computing, SAC 2023A.K. Goharshady, A.K. Zaher
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2023A. 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 2022M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba
Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees
IEEE International Conference on Blockchain, Blockchain 2022K. 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 2022A. Ahmadi, M. Daliri, A.K. Goharshady, A. Pavlogiannis
Efficient Approximations for Cache-conscious Data Placement
ACM Conference on Programming Language Design and Implementation, PLDI 2022A.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 NomineeA. 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 2021J. 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 2021A.K. Goharshady, F. Mohammadi
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
Reliability Engineering and System Safety, 2020A.K. Goharshady
Parameterized and Algebro-geometric Advances in Static Program Analysis
PhD Thesis, IST Austria (Institute of Science and Technology Austria), 2020A. 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 2020K. 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 2020K. 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 NomineeA. 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 2020M. 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 AwardK. 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 2019K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
ACM Transactions on Programming Languages and Systems, TOPLAS 2019P. 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 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving
ACM Symposium on Applied Computing, SAC 2019K. Chatterjee, A.K. Goharshady, E.K. Goharshady
The Treewidth of Smart Contracts
ACM Symposium on Applied Computing, SAC 2019K. 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 AwardK. 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 2018K. 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 2018A.K. Goharshady, A. Behrouz, K. Chatterjee
Secure Credit Reporting on the Blockchain
IEEE International Symposium on Blockchain and its Applications, Blockchain 2018K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
International Joint Conference on Artificial Intelligence, IJCAI 2018K. Chatterjee, A.K. Goharshady, Y. Velner
Quantitative Analysis of Smart Contracts
European Symposium on Programming, ESOP 2018K. Chatterjee, A.K. Goharshady, A. Pavlogiannis
JTDec: A Tool for Tree Decompositions in Soot
International Symposium on Automated Technology for Verification and Analysis, ATVA 2017K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
International Conference on Computer Aided Verification, CAV 2017K. Chatterjee, H. Fu, A.K. Goharshady
Termination Analysis of Probabilistic Programs through Positivstellensätze
International Conference on Computer Aided Verification, CAV 2016K. 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 2016M.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, 2015A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Discrete Applied Mathematics, 2015M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. Karimi
S-Approximation: A New Approach to Algebraic Approximation
Journal of Discrete Mathematics, 2014