Amir Kafshdar Goharshady

According to our database, Amir Kafshdar Goharshady authored at least 62 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast and Optimal Extraction for Sparse Equality Graphs.

Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux

Proc. ACM Program. Lang., 2024

Quantitative Bounds on Resource Usage of Probabilistic Programs.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Proc. ACM Program. Lang., 2024

PolyHorn: A Polynomial Horn Clause Solver.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic

CoRR, 2024

Faster Treewidth-Based Approximations for Wiener Index.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani

Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024

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

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

SRNG: An Efficient Decentralized Approach for Secret Random Number Generation.

Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Congesting Ethereum after EIP-1559.

Kianoush Arshi, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Gas-Efficient Decentralized Random Beacons.

V. P. Abidha, Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the Formal Methods - 26th International Symposium, 2024

Blind Vote: Economical and Secret Blockchain-Based Voting.

Amir Kafshdar Goharshady, Zhaorun Lin

Proceedings of the IEEE International Conference on Blockchain, 2024

Options and Futures Imperil Bitcoin's Security.

Soroush Farokhnia, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain, 2024

Pixiu: Optimal Block Production Revenues on Cardano.

Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, Markus Gufler, Sergei Novozhilov

Proceedings of the IEEE International Conference on Blockchain, 2024

2023

The Bounded Pathwidth of Control-Flow Graphs.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam

Proc. ACM Program. Lang., October, 2023

Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher

Proc. ACM Program. Lang., October, 2023

Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.

Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth

Proc. ACM Program. Lang., October, 2023

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

Proc. ACM Program. Lang., April, 2023

Parameterized Algorithms for Topological Indices in Chemistry.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov

CoRR, 2023

Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.

Amir Kafshdar Goharshady, Ahmed Khaled Zaher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts.

Soroush Farokhnia, Amir Kafshdar Goharshady

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Game-Theoretic Randomness for Proof-of-Stake.

Zhuo Cai, Amir Kafshdar Goharshady

Proceedings of the Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, 2023

Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain.

Soroush Farokhnia, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Trustless and Bias-resistant Game-theoretic Distributed Randomness.

Zhuo Cai, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

PureLottery: Fair Leader Election without Decentralized Random Number Generation.

Jonas Ballweg, Zhuo Cai, Amir Kafshdar Goharshady

Proceedings of the IEEE International Conference on Blockchain, 2023

Secure and Decentralized Generation of Secret Random Numbers on the Blockchain.

Pouria Fatemi, Amir Kafshdar Goharshady

Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

2022

Template-based Program Synthesis using Stellensätze.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

CoRR, 2022

Efficient approximations for cache-conscious data placement.

Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Algorithms and Hardness Results for Computing Cores of Markov Chains.

Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees.

Mohsen Alambardar Meybodi, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Ali Shakiba

Proceedings of the IEEE International Conference on Blockchain, 2022

2021

Quantitative analysis of assertion violations in probabilistic programs.

Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Polynomial reachability witnesses via Stellensätze.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.

Amir Kafshdar Goharshady

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

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

PhD thesis, 2020

An efficient algorithm for computing network reliability in small treewidth.

Amir Kafshdar Goharshady, Fatemeh Mohammadi

Reliab. Eng. Syst. Saf., 2020

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.

Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee

CoRR, 2020

Inductive Reachability Witnesses.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

CoRR, 2020

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.

Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis

CoRR, 2020

Polynomial invariant generation for non-deterministic recursive programs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

Proceedings of the Programming Languages and Systems, 2020

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.

Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

ACM Trans. Program. Lang. Syst., 2019

Non-polynomial Worst-Case Analysis of Recursive Programs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

ACM Trans. Program. Lang. Syst., 2019

Modular verification for almost-sure termination of probabilistic programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proc. ACM Program. Lang., 2019

Efficient parameterized algorithms for data packing.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2019

Compositional Analysis for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

CoRR, 2019

Hybrid mining: exploiting blockchain's computational power for distributed problem solving.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

The treewidth of smart contracts.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Cost analysis of nondeterministic probabilistic programs.

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Probabilistic Smart Contracts: Secure Randomness on the Blockchain.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

2018

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis

ACM Trans. Program. Lang. Syst., 2018

A note on belief structures and S-approximation spaces.

Ali Shakiba, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi

CoRR, 2018

Secure Credit Reporting on the Blockchain.

Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Computational Approaches for Stochastic Shortest Path on Succinct MDPs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Quantitative Analysis of Smart Contracts.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner

Proceedings of the Programming Languages and Systems, 2018

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth.

Amir Kafshdar Goharshady, Fatemeh Mohammadi

CoRR, 2017

JTDec: A Tool for Tree Decompositions in Soot.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

[1, 2]-sets and [1, 2]-total sets in trees with algorithms.

Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, M. Alambardar Meybodi

Discret. Appl. Math., 2016

A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces.

Mohammad Reza Hooshmandasl, M. Alambardar Meybodi, Amir Kafshdar Goharshady, Ali Shakiba

CoRR, 2016

Termination Analysis of Probabilistic Programs Through Positivstellensatz's.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 28th International Conference, 2016