Amir Kafshdar Goharshady

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 68

Top Topics

Approximation Spaces

Quantitative Analysis

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani
Faster Treewidth-Based Approximations for Wiener Index. SEA (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR (2024)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. LPAR (2024)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) (2023)
Soroush Farokhnia, Amir Kafshdar Goharshady
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain. ICBC (2023)
Soroush Farokhnia, Amir Kafshdar Goharshady
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. SAC (2023)
Zhuo Cai, Amir Kafshdar Goharshady
Game-Theoretic Randomness for Proof-of-Stake. MARBLE (2023)
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam
The Bounded Pathwidth of Control-Flow Graphs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Giovanna K. Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov
Parameterized Algorithms for Topological Indices in Chemistry. CoRR (2023)
Amir Kafshdar Goharshady, Ahmed Khaled Zaher
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. VMCAI (2023)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Zhuo Cai, Amir Kafshdar Goharshady
Trustless and Bias-resistant Game-theoretic Distributed Randomness. ICBC (2023)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CoRR (2023)
Jonas Ballweg, Zhuo Cai, Amir Kafshdar Goharshady
PureLottery: Fair Leader Election without Decentralized Random Number Generation. Blockchain (2023)
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Efficient approximations for cache-conscious data placement. PLDI (2022)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Template-based Program Synthesis using Stellensätze. CoRR (2022)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) (2022)
Mohsen Alambardar Meybodi, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Ali Shakiba
Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees. Blockchain (2022)
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Ðorde Zikelic
Algorithms and Hardness Results for Computing Cores of Markov Chains. FSTTCS (2022)
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Quantitative analysis of assertion violations in probabilistic programs. PLDI (2021)
Amir Kafshdar Goharshady
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain. Blockchain (2021)
Amir Kafshdar Goharshady
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain. CoRR (2021)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Polynomial reachability witnesses via Stellensätze. PLDI (2021)
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Quantitative Analysis of Assertion Violations in Probabilistic Programs. CoRR (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. ESOP (2020)
Amir Kafshdar Goharshady, Fatemeh Mohammadi
An efficient algorithm for computing network reliability in small treewidth. Reliab. Eng. Syst. Saf. 193 (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR (2020)
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Inductive Reachability Witnesses. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA (2020)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
Polynomial invariant generation for non-deterministic recursive programs. PLDI (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis
Efficient parameterized algorithms for data packing. Proc. ACM Program. Lang. 3 (POPL) (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
The treewidth of smart contracts. SAC (2019)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Modular verification for almost-sure termination of probabilistic programs. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
Cost analysis of nondeterministic probabilistic programs. PLDI (2019)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
Non-polynomial Worst-Case Analysis of Recursive Programs. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
Hybrid mining: exploiting blockchain's computational power for distributed problem solving. SAC (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
Probabilistic Smart Contracts: Secure Randomness on the Blockchain. IEEE ICBC (2019)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs. CoRR (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani
Probabilistic Smart Contracts: Secure Randomness on the Blockchain. CoRR (2019)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi
Cost Analysis of Nondeterministic Probabilistic Programs. CoRR (2019)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
Polynomial Invariant Generation for Non-deterministic Recursive Programs. CoRR (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
Quantitative Analysis of Smart Contracts. CoRR (2018)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
Secure Credit Reporting on the Blockchain. iThings/GreenCom/CPSCom/SmartData (2018)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. CONCUR (2018)
Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee
Secure Credit Reporting on the Blockchain. CoRR (2018)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
Computational Approaches for Stochastic Shortest Path on Succinct MDPs. IJCAI (2018)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
Quantitative Analysis of Smart Contracts. ESOP (2018)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati
Computational Approaches for Stochastic Shortest Path on Succinct MDPs. CoRR (2018)
Ali Shakiba, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
A note on belief structures and S-approximation spaces. CoRR (2018)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. CoRR (2018)
Amir Kafshdar Goharshady, Fatemeh Mohammadi
A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth. CoRR (2017)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
Non-polynomial Worst-Case Analysis of Recursive Programs. CoRR (2017)
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms. CoRR (2017)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
Non-polynomial Worst-Case Analysis of Recursive Programs. CAV (2) (2017)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
JTDec: A Tool for Tree Decompositions in Soot. ATVA (2017)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL (2016)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
Termination Analysis of Probabilistic Programs through Positivstellensatz's. CoRR (2016)
Mohammad Reza Hooshmandasl, M. Alambardar Meybodi, Amir Kafshdar Goharshady, Ali Shakiba
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces. CoRR (2016)
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, M. Alambardar Meybodi
[1, 2]-sets and [1, 2]-total sets in trees with algorithms. Discret. Appl. Math. 198 (2016)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
Termination Analysis of Probabilistic Programs Through Positivstellensatz's. CAV (1) (2016)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. CoRR (2015)