Amir Kafshdar Goharshady
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
16
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PODC | Brief Announcement: Delay-Optimal Transaction Order Fairness. | Zhuo Cai, Amir Kafshdar Goharshady |
| 2026 | TACAS | Quantifier Elimination Meets Treewidth. | Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan |
| 2025 | ASPLOS | Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs. | Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam |
| 2025 | ATVA | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | ESOP | Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. | Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov |
| 2025 | IJCAI | LP-Based Weighted Model Integration over Non-Linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2025 | IJCAI | Smart Contracts for Trustless Sampling of Correlated Equilibria. | Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady, Karaneh Keypoor |
| 2025 | LAGOS | Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity. | Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Sergei Novozhilov |
| 2025 | PODC | Brief Announcement: Fast and Gas-efficient Private Sealed-bid Auctions. | Jonas Ballweg, Amir Kafshdar Goharshady, Zhaorun Lin |
| 2025 | SETTA | Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-Flow Graphs. | Xuran Cai, Amir Kafshdar Goharshady |
| 2024 | FM | Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | FM | Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
| 2024 | LPAR | Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | SETTA | Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs. | Xuran Cai, Amir Kafshdar Goharshady |
| 2023 | CAV | Automated Tail Bound Analysis for Probabilistic Recurrence Relations. | Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2023 | SAC | Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. | Soroush Farokhnia, Amir Kafshdar Goharshady |
| 2023 | VMCAI | Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. | Amir Kafshdar Goharshady, Ahmed Khaled Zaher |
| 2022 | CAV | Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic |
| 2022 | PLDI | Efficient approximations for cache-conscious data placement. | Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2021 | PLDI | Polynomial reachability witnesses via Stellenstze. | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi |
| 2021 | PLDI | Quantitative analysis of assertion violations in probabilistic programs. | Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2020 | ATVA | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2020 | ESOP | Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2020 | PLDI | Polynomial invariant generation for non-deterministic recursive programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | PLDI | Cost analysis of nondeterministic probabilistic programs. | Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |
| 2019 | SAC | The treewidth of smart contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | SAC | Hybrid mining: exploiting blockchain's computational power for distributed problem solving. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani |
| 2018 | CONCUR | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
| 2018 | ESOP | Quantitative Analysis of Smart Contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
| 2018 | IJCAI | Computational Approaches for Stochastic Shortest Path on Succinct MDPs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati |
| 2017 | ATVA | JTDec: A Tool for Tree Decompositions in Soot. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2017 | CAV | Non-polynomial Worst-Case Analysis of Recursive Programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2016 | CAV | Termination Analysis of Probabilistic Programs Through Positivstellensatz's. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
| 2016 | POPL | Algorithms for algebraic path properties in concurrent systems of constant treewidth components. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |