Amir Kafshdar Goharshady

99 papers A* 10A 2B 7C 7Misc 5Journal 44Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.
CoRR
Xuran Cai, Amir Kafshdar Goharshady
2026 — ed.
Mathematical Research for Blockchain Economy: 6th International Conference, MARBLE 2025, Athens, Greece, July 1-3, 2025
MARBLE
Stefanos Leonardos, Amir Kafshdar Goharshady, William Knottenbelt, Panos M. Pardalos
2026 — conf
Quantifier Elimination Meets Treewidth.
TACAS (1)
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026 J jnl
Quantifier Elimination Meets Treewidth.
CoRR
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026 J jnl
Series-Parallel-Loop Decompositions of Control-flow Graphs.
CoRR
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2026 J jnl
Series-parallel-loop decompositions of control-flow graphs.
J. Syst. Archit.
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2025 A* conf
Brief Announcement: Fast and Gas-efficient Private Sealed-bid Auctions.
PODC
Jonas Ballweg, Amir Kafshdar Goharshady, Zhaorun Lin
2025 C conf
Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity.
LAGOS
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Sergei Novozhilov
2025 Misc ed.
Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
SETTA
Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady
2025 — conf
Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences.
ESOP (2)
Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov
2025 — conf
Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs.
ASPLOS (1)
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2025 C conf
Fortuna: A Game-theoretic Protocol to Generate Secret Randomness on the Blockchain.
ICBC
Pouria Fatemi, Amir Kafshdar Goharshady
2025 — conf
Improved Gas Optimization of Smart Contracts.
FSEN
Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, Pingjiang Li, Zhaorun Lin
2025 A* conf
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic.
IJCAI
S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic
2025 J jnl
Optimal blocks for maximizing the transaction fee revenue of Bitcoin miners.
J. Comb. Optim.
Mohsen Alambardar Meybodi, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Ali Shakiba
2025 B conf
PolyQEnt: A Polynomial Quantified Entailment Solver.
ATVA
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic
2025 A* conf
Smart Contracts for Trustless Sampling of Correlated Equilibria.
IJCAI
Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady, Karaneh Keypoor
2024 B conf
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 — conf
Blind Vote: Economical and Secret Blockchain-Based Voting.
Blockchain
Amir Kafshdar Goharshady, Zhaorun Lin
2024 C conf
Congesting Ethereum after EIP-1559.
ICBC
Kianoush Arshi, Amir Kafshdar Goharshady
2024 J jnl
Fast and Optimal Extraction for Sparse Equality Graphs.
Proc. ACM Program. Lang.
Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux
2024 Misc conf
Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs.
SETTA
Xuran Cai, Amir Kafshdar Goharshady
2024 B conf
Faster Treewidth-Based Approximations for Wiener Index.
SEA
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani
2024 C conf
Gas-Efficient Decentralized Random Beacons.
ICBC
V. P. Abidha, Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady
2024 — conf
Options and Futures Imperil Bitcoin's Security.
Blockchain
Soroush Farokhnia, Amir Kafshdar Goharshady
2024 — conf
PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain.
BCCA
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kha Nhat Long Nguyen
2024 — conf
Pixiu: Optimal Block Production Revenues on Cardano.
Blockchain
Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, Markus Gufler, Sergei Novozhilov
2024 J jnl
PolyHorn: A Polynomial Horn Clause Solver.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic
2024 — conf
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.
FM (1)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 J jnl
Quantitative Bounds on Resource Usage of Probabilistic Programs.
Proc. ACM Program. Lang.
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2024 C conf
SRNG: An Efficient Decentralized Approach for Secret Random Number Generation.
ICBC
Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady
2024 — conf
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.
FM (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024 J jnl
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2023 J jnl
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.
Proc. ACM Program. Lang.
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
2023 Misc conf
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts.
SAC
Soroush Farokhnia, Amir Kafshdar Goharshady
2023 J jnl
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.
Proc. ACM Program. Lang.
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth
2023 — conf
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CAV (3)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 J jnl
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CoRR
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 B conf
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.
VMCAI
Amir Kafshdar Goharshady, Ahmed Khaled Zaher
2023 J jnl
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.
Proc. ACM Program. Lang.
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher
2023 — conf
Game-Theoretic Randomness for Proof-of-Stake.
MARBLE
Zhuo Cai, Amir Kafshdar Goharshady
2023 J jnl
Parameterized Algorithms for Topological Indices in Chemistry.
CoRR
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov
2023 — conf
PureLottery: Fair Leader Election without Decentralized Random Number Generation.
Blockchain
Jonas Ballweg, Zhuo Cai, Amir Kafshdar Goharshady
2023 C conf
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain.
ICBC
Soroush Farokhnia, Amir Kafshdar Goharshady
2023 — conf
Secure and Decentralized Generation of Secret Random Numbers on the Blockchain.
BCCA
Pouria Fatemi, Amir Kafshdar Goharshady
2023 J jnl
The Bounded Pathwidth of Control-Flow Graphs.
Proc. ACM Program. Lang.
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam
2023 C conf
Trustless and Bias-resistant Game-theoretic Distributed Randomness.
ICBC
Zhuo Cai, Amir Kafshdar Goharshady
2022 — conf
Algorithms and Hardness Results for Computing Cores of Markov Chains.
FSTTCS
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic
2022 A* conf
Efficient approximations for cache-conscious data placement.
PLDI
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
2022 — conf
Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees.
Blockchain
Mohsen Alambardar Meybodi, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Ali Shakiba
2022 — conf
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.
CAV (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2022 J jnl
Template-based Program Synthesis using Stellensätze.
CoRR
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
2021 — conf
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.
Blockchain
Amir Kafshdar Goharshady
2021 J jnl
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.
CoRR
Amir Kafshdar Goharshady
2021 A* conf
Polynomial reachability witnesses via Stellensätze.
PLDI
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2021 A* conf
Quantitative analysis of assertion violations in probabilistic programs.
PLDI
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2020 J jnl
An efficient algorithm for computing network reliability in small treewidth.
Reliab. Eng. Syst. Saf.
Amir Kafshdar Goharshady, Fatemeh Mohammadi
2020 J jnl
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020 B conf
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.
ATVA
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020 J jnl
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.
CoRR
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020 J jnl
Inductive Reachability Witnesses.
CoRR
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2020 A conf
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.
ESOP
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2020 J jnl
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2020 — —
Parameterized and Algebro-geometric Advances in Static Program Analysis. (Progrès paramétriques et algébro-géométriques dans l'analyse statique des programmes).
Amir Kafshdar Goharshady
2020 A* conf
Polynomial invariant generation for non-deterministic recursive programs.
PLDI
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2020 J jnl
Quantitative Analysis of Assertion Violations in Probabilistic Programs.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2019 J jnl
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs.
CoRR
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019 J jnl
Cost Analysis of Nondeterministic Probabilistic Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi
2019 A* conf
Cost analysis of nondeterministic probabilistic programs.
PLDI
Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
2019 J jnl
Efficient parameterized algorithms for data packing.
Proc. ACM Program. Lang.
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis
2019 J jnl
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.
ACM Trans. Program. Lang. Syst.
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2019 Misc conf
Hybrid mining: exploiting blockchain's computational power for distributed problem solving.
SAC
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019 J jnl
Modular verification for almost-sure termination of probabilistic programs.
Proc. ACM Program. Lang.
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2019 J jnl
Non-polynomial Worst-Case Analysis of Recursive Programs.
ACM Trans. Program. Lang. Syst.
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2019 J jnl
Polynomial Invariant Generation for Non-deterministic Recursive Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2019 — conf
Probabilistic Smart Contracts: Secure Randomness on the Blockchain.
IEEE ICBC
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019 J jnl
Probabilistic Smart Contracts: Secure Randomness on the Blockchain.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
2019 Misc conf
The treewidth of smart contracts.
SAC
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
2018 J jnl
A note on belief structures and S-approximation spaces.
CoRR
Ali Shakiba, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
2018 J jnl
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
ACM Trans. Program. Lang. Syst.
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis
2018 A* conf
Computational Approaches for Stochastic Shortest Path on Succinct MDPs.
IJCAI
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018 J jnl
Computational Approaches for Stochastic Shortest Path on Succinct MDPs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
2018 B conf
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.
CONCUR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018 J jnl
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018 A conf
Quantitative Analysis of Smart Contracts.
ESOP
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2018 J jnl
Quantitative Analysis of Smart Contracts.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2018 — conf
Secure Credit Reporting on the Blockchain.
iThings/GreenCom/CPSCom/SmartData
Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
2018 J jnl
Secure Credit Reporting on the Blockchain.
CoRR
Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
2017 J jnl
A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth.
CoRR
Amir Kafshdar Goharshady, Fatemeh Mohammadi
2017 B conf
JTDec: A Tool for Tree Decompositions in Soot.
ATVA
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
2017 — conf
Non-polynomial Worst-Case Analysis of Recursive Programs.
CAV (2)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017 J jnl
Non-polynomial Worst-Case Analysis of Recursive Programs.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2017 J jnl
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms.
CoRR
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
2016 J jnl
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces.
CoRR
Mohammad Reza Hooshmandasl, M. Alambardar Meybodi, Amir Kafshdar Goharshady, Ali Shakiba
2016 A* conf
Algorithms for algebraic path properties in concurrent systems of constant treewidth components.
POPL
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
2016 — conf
Termination Analysis of Probabilistic Programs Through Positivstellensatz's.
CAV (1)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2016 J jnl
Termination Analysis of Probabilistic Programs through Positivstellensatz's.
CoRR
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
2016 J jnl
[1, 2]-sets and [1, 2]-total sets in trees with algorithms.
Discret. Appl. Math.
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, M. Alambardar Meybodi
2015 J jnl
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis