Faculty Profiles - KAFSHDAR GOHARSHADY Amir | The Hong Kong University of Science and Technology

Amir KAFSHDAR GOHARSHADY

PhD in Computer Science
Institute of Science and Technology Austria, 2021

Assistant Professor
Department of Computer Science and Engineering
Department of Mathematics

Google Scholar

4o8gvAYAAAAJ

ORCID

0000-0003-1702-6584

Scopus ID

56711289400

Research Interest

Programming languages
Design and analysis of algorithms
Theoretical computer science
Software engineering

Publications

2024 7

Quantitative Bounds on Resource Usage of Probabilistic Programs

Proceedings of the ACM on Programming Languages, v. 8, (OOPSLA1), April 2024, article number 107
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Meggendorfer, Tobias; Žikelic, Dorke
Article

Congesting Ethereum after EIP-1559

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 667-669, Article number 10634352
Arshi, Kianoush; Kafshdar goharshady, Amir
Conference paper

Faster Treewidth-Based Approximations for Wiener Index

Leibniz International Proceedings in Informatics, LIPIcs, v. 301, July 2024, article number 6, p. 1-19
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Hudec, Pavel; Li, Pingjiang; Motwani, Harshit Jitendra
Conference paper

Gas-Efficient Decentralized Random Beacons

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 205-209, Article number: 10634373
Vadakkini Purakkal, Abidha; Barakbayeva, Togzhan; Cai, Zhuo; Kafshdar Goharshady, Amir
Conference paper

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14933, September 2024, p. 111-130
Akshay, S.; Chakraborty, Supratik; Goharshady, Amir Kafshdar; Govind, R.; Motwani, Harshit Jitendra; Varanasi, Sai Teja
Conference paper

Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14933, September 2024, p. 600-619
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goharshady, Ehsan; Karrabi, Mehrdad; Žikelić, Đorđe
Conference paper

SRNG: An Efficient Decentralized Approach for Secret Random Number Generation

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 615-619, Article number: 10634454
Barakbayeva, Togzhan; Cai, Zhuo; Kafshdar Goharshady, Amir
Conference paper

2023 11

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

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 253, p. 882-911
Cai, Zhuo; Farokhnia, Soroush; Kafshdar Goharshady, Amir; Hitarth, S
Article

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

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 292, p. 1993-2022
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Kochekov, Kerim; Tsai, Yun Chen; Zaher, Ahmed Khaled Abdelfattah
Article

The Bounded Pathwidth of Control-Flow Graphs

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 232, p. 292-317
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Lam, Chun Kit
Article

Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA1), April 2023, article number 100, p. 727-756
Kafshdar Goharshady, Amir; Singh, Hitarth; Mohammadi, Fatemeh; Motwani, Harshit Jitendra
Conference paper

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

Proceedings of the ACM Symposium on Applied Computing, June 2023, p. 258-261
Farokhnia, Soroush; Kafshdar Goharshady, Amir
Conference paper

Automated Tail Bound Analysis for Probabilistic Recurrence Relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13966 LNCS, July 2023, p. 16-39
Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar
Conference paper

Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13881 LNCS, January 2023, p. 177-202
Kafshdar Goharshady, Amir; Zaher, Ahmed Khaled Abdelfattah
Conference paper

PureLottery: Fair Leader Election without Decentralized Random Number Generation

Proceedings - 2023 IEEE International Conference on Blockchain, Blockchain 2023 / IEEE. Piscataway, NJ : IEEE, 2023, p. 273-280, article number 10411478
Ballweg, Jonas; Cai, Zhuo; Kafshdar goharshady, Amir
Conference paper

Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain

2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023 / IEEE. Piscataway, USA : IEEE, 2023, Article number 10174876
Farokhnia, Soroush; Kafshdar Goharshady, Amir
Conference paper

Secure and Decentralized Generation of Secret Random Numbers on the Blockchain

2023 5th International Conference on Blockchain Computing and Applications, BCCA 2023, December 2023, article number 10338880, p. 511-517
Fatemi, Pouria; Kafshdar Goharshady, Amir
Conference paper

Trustless and Bias-resistant Game-theoretic Distributed Randomness

2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023 / IEEE. Piscataway, USA : IEEE, 2023, Article number 10174917
Cai, Zhuo; Kafshdar Goharshady, Amir
Conference paper

2022 4

Algorithms and Hardness Results for Computing Cores of Markov Chains

Leibniz International Proceedings in Informatics, LIPIcs, v. 250, December 2022, article number 29
Ahmadi, Ali; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Meggendorfer, Tobias; Safavi, Roodabeh; Žikelić, Ðorde
Conference paper

Efficient Approximations for Cache-conscious Data Placement

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) / Edited by Ranjit Jhala and Işil Dillig. New York, NY, United States : Association for Computing Machinery, 2022, p. 857-871
Ahmadi, Ali; Daliri, Majid; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas
Conference paper

Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees

5th IEEE International Conference on Blockchain, Blockchain 2022, 2022, article number 9881814, p. 266-273
Alambardar meybodi, Mohsen; Kafshdar goharshady, Amir; Hooshmandasl, Mohammad Reza; Shakiba, Ali
Conference paper

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13371 LNCS, 2022, p. 55-78
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Meggendorfer, Tobias; Zikelic, Djordje
Conference paper

2021 3

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

Proceedings - 2021 IEEE International Conference on Blockchain, Blockchain 2021, December 2021, p. 73-81
Kafshdar Goharshady, Amir
Conference paper

Polynomial Reachability Witnesses via Stellensätze

PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 772-787
Asadi, Ali; Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar; Mahdavi, Mohammad
Conference paper

Quantitative Analysis of Assertion Violations in Probabilistic Programs

PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 1171-1186
Wang, Jinyi; Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir
Conference paper

2020 5

A note on belief structures and s-approximation spaces

Iranian Journal of Mathematical Sciences and Informatics, v. 15, (2), 2020, p. 117-128
Shakiba, Ali; Kafshdar Goharshady, Amir; Hooshmandasl, Mohammad Reza; Meybodi, Mohsen Alambardar
Article

An efficient algorithm for computing network reliability in small treewidth

Reliability Engineering and System Safety, v. 193, January 2020, article number 106665
Kafshdar Goharshady, Amir; Mohammadi, Fatemeh
Article

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12302 LNCS, 2020, p. 253-270
Asadi, Ali; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Mohammadi, Kiarash; Pavlogiannis, Andreas
Conference paper

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12075 LNCS, 2020, p. 112-140
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, R.; Pavlogiannis, Andreas
Conference paper

Polynomial invariant generation for non-deterministic recursive programs

PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 672-687
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir; Goharshady, Ehsan Kafshdar
Conference paper

2019 8

Efficient Parameterized Algorithms for Data Packing

Proceedings of the ACM on Programming Languages, v. 3, (POPL), January 2019, article number 53
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Okati, Nastaran; Pavlogiannis, Andreas
Article

Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth

ACM Transactions on Programming Languages and Systems, v. 41, (4), November 2019, article number 23
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goyal, Prateesh; Ibsen-Jensen, Rasmus
Article

Modular Verification for Almost-Sure Termination of Probabilistic Programs

Proceedings of the ACM on Programming Languages, v. 3, (OOPSLA), October 2019, article number 129
Huang, Mingzhang; Fu, Hongfei; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir
Article

Non-polynomial worst-case analysis of recursive programs

ACM Transactions on Programming Languages and Systems, v. 41, (4), December 2019, article number 20
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Ami.
Article

Cost analysis of nondeterministic probabilistic programs

PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 204-220
Wang, Peixin; Chatterjee, Krishnendu; Fu, Hongfei; Qin, Xudong; Kafshdar Goharshady, Amir; Shi, Wenjun
Conference paper

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

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 374-381
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pourdamghani, Arash
Conference paper

Probabilistic smart contracts: Secure randomness on the blockchain

ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency / IEEE. Piscataway, NJ : IEEE, 2019, p. 403-412, Article number 8751326
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pourdamghani, Arash
Conference paper

The treewidth of smart contracts

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 400-408
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goharshady, Ehsan Kafshdar
Conference paper

2018 5

Algorithms for algebraic path properties in concurrent systems of constant treewidth components

ACM Transactions on Programming Languages and Systems, v. 40, (3), August 2018, article number 9
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas
Article

Computational approaches for stochastic shortest path on succinct MDPs

IJCAI International Joint Conference on Artificial Intelligence, v. 2018, July 2018, p. 4700-4707
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir; Okati, Nastaran
Conference paper

Ergodic mean-payo games for the analysis of attacks in crypto-currencies

Leibniz International Proceedings in Informatics, LIPIcs, v. 118, August 2018, article number 11
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Velner, Yaron
Conference paper

Quantitative analysis of smart contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10801 LNCS, 2018, p. 739-767
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Velner, Yaron
Conference paper

Secure Credit Reporting on the Blockchain

Proceedings - IEEE 2018 International Congress on Cybermatics: 2018 IEEE Conferences on Internet of Things, Green Computing and Communications, Cyber, Physical and Social Computing, Smart Data, Blockchain, Computer and Information Technology, iThings/GreenCom/CPSCom/SmartData/Blockchain/CIT 2018 / IEEE. Piscataway, NJ : IEEE, 2018, p. 1343-1348, Article number 8726769
Kafshdar Goharshady, Amir; Behrouz, Ali; Chatterjee, Krishnendu
Conference paper

2017 2

JTDec: A tool for tree decompositions in soot

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10482 LNCS, 2017, p. 59-66
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas
Conference paper

Non-polynomial worst-case analysis of recursive programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10427 LNCS, 2017, p. 41-63
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir
Conference paper

2016 4

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

Discrete Applied Mathematics, v. 198, January 2016, p. 136-146
Kafshdar Goharshady, Amir; Hooshmandasl, M. R.; Alambardar Meybodi, M.
Article

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

ACM SIGPLAN Notices: POPL'16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, v. 51, (1), January 2016, p. 733-747, Session: Foundations of Model Checking
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
Conference paper

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

POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / Edited by Rastislav Bodik, Rupak Majumdar. New York, United States : Association for Computing Machinery, 2016, p. 733-747
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen. Rasmus; Pavlogiannis, Andreas
Conference paper

Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

Lecture Notes in Computer Science, v. 9779, 2016, p. 3-22
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir
Conference paper

2015 1

A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces

Hooshmandasl, M.R.; Meybodi, M.A.; Kafshdar Goharshady, Amir; Shakiba, A.
Conference paper

2014 1

S-Approximation: A New Approach to Algebraic Approximation

Journal of Discrete Mathematics, v. 2014, April 2014, article number 909684
Hooshmandasl, M.R.; Shakiba, A.; Kafshdar Goharshady, Amir; Karimi, A.
Article

Article 1

Quantitative Bounds on Resource Usage of Probabilistic Programs

Proceedings of the ACM on Programming Languages, v. 8, (OOPSLA1), April 2024, article number 107
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Meggendorfer, Tobias; Žikelic, Dorke

Conference paper 6

Congesting Ethereum after EIP-1559

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 667-669, Article number 10634352
Arshi, Kianoush; Kafshdar goharshady, Amir

Faster Treewidth-Based Approximations for Wiener Index

Leibniz International Proceedings in Informatics, LIPIcs, v. 301, July 2024, article number 6, p. 1-19
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Hudec, Pavel; Li, Pingjiang; Motwani, Harshit Jitendra

Gas-Efficient Decentralized Random Beacons

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 205-209, Article number: 10634373
Vadakkini Purakkal, Abidha; Barakbayeva, Togzhan; Cai, Zhuo; Kafshdar Goharshady, Amir

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14933, September 2024, p. 111-130
Akshay, S.; Chakraborty, Supratik; Goharshady, Amir Kafshdar; Govind, R.; Motwani, Harshit Jitendra; Varanasi, Sai Teja

Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14933, September 2024, p. 600-619
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goharshady, Ehsan; Karrabi, Mehrdad; Žikelić, Đorđe

SRNG: An Efficient Decentralized Approach for Secret Random Number Generation

2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) / IEEE. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2024, p. 615-619, Article number: 10634454
Barakbayeva, Togzhan; Cai, Zhuo; Kafshdar Goharshady, Amir

Article 3

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

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 253, p. 882-911
Cai, Zhuo; Farokhnia, Soroush; Kafshdar Goharshady, Amir; Hitarth, S

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

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 292, p. 1993-2022
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Kochekov, Kerim; Tsai, Yun Chen; Zaher, Ahmed Khaled Abdelfattah

The Bounded Pathwidth of Control-Flow Graphs

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 232, p. 292-317
Kobus Conrado, Giovanna; Kafshdar Goharshady, Amir; Lam, Chun Kit

Conference paper 8

Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA1), April 2023, article number 100, p. 727-756
Kafshdar Goharshady, Amir; Singh, Hitarth; Mohammadi, Fatemeh; Motwani, Harshit Jitendra

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

Proceedings of the ACM Symposium on Applied Computing, June 2023, p. 258-261
Farokhnia, Soroush; Kafshdar Goharshady, Amir

Automated Tail Bound Analysis for Probabilistic Recurrence Relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13966 LNCS, July 2023, p. 16-39
Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar

Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13881 LNCS, January 2023, p. 177-202
Kafshdar Goharshady, Amir; Zaher, Ahmed Khaled Abdelfattah

PureLottery: Fair Leader Election without Decentralized Random Number Generation

Proceedings - 2023 IEEE International Conference on Blockchain, Blockchain 2023 / IEEE. Piscataway, NJ : IEEE, 2023, p. 273-280, article number 10411478
Ballweg, Jonas; Cai, Zhuo; Kafshdar goharshady, Amir

Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain

2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023 / IEEE. Piscataway, USA : IEEE, 2023, Article number 10174876
Farokhnia, Soroush; Kafshdar Goharshady, Amir

Secure and Decentralized Generation of Secret Random Numbers on the Blockchain

2023 5th International Conference on Blockchain Computing and Applications, BCCA 2023, December 2023, article number 10338880, p. 511-517
Fatemi, Pouria; Kafshdar Goharshady, Amir

Trustless and Bias-resistant Game-theoretic Distributed Randomness

2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023 / IEEE. Piscataway, USA : IEEE, 2023, Article number 10174917
Cai, Zhuo; Kafshdar Goharshady, Amir

Conference paper 4

Algorithms and Hardness Results for Computing Cores of Markov Chains

Leibniz International Proceedings in Informatics, LIPIcs, v. 250, December 2022, article number 29
Ahmadi, Ali; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Meggendorfer, Tobias; Safavi, Roodabeh; Žikelić, Ðorde

Efficient Approximations for Cache-conscious Data Placement

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) / Edited by Ranjit Jhala and Işil Dillig. New York, NY, United States : Association for Computing Machinery, 2022, p. 857-871
Ahmadi, Ali; Daliri, Majid; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas

Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees

5th IEEE International Conference on Blockchain, Blockchain 2022, 2022, article number 9881814, p. 266-273
Alambardar meybodi, Mohsen; Kafshdar goharshady, Amir; Hooshmandasl, Mohammad Reza; Shakiba, Ali

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 13371 LNCS, 2022, p. 55-78
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Meggendorfer, Tobias; Zikelic, Djordje

Conference paper 3

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

Proceedings - 2021 IEEE International Conference on Blockchain, Blockchain 2021, December 2021, p. 73-81
Kafshdar Goharshady, Amir

Polynomial Reachability Witnesses via Stellensätze

PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 772-787
Asadi, Ali; Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar; Mahdavi, Mohammad

Quantitative Analysis of Assertion Violations in Probabilistic Programs

PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2021, p. 1171-1186
Wang, Jinyi; Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir

Article 2

A note on belief structures and s-approximation spaces

Iranian Journal of Mathematical Sciences and Informatics, v. 15, (2), 2020, p. 117-128
Shakiba, Ali; Kafshdar Goharshady, Amir; Hooshmandasl, Mohammad Reza; Meybodi, Mohsen Alambardar

An efficient algorithm for computing network reliability in small treewidth

Reliability Engineering and System Safety, v. 193, January 2020, article number 106665
Kafshdar Goharshady, Amir; Mohammadi, Fatemeh

Conference paper 3

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12302 LNCS, 2020, p. 253-270
Asadi, Ali; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Mohammadi, Kiarash; Pavlogiannis, Andreas

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12075 LNCS, 2020, p. 112-140
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, R.; Pavlogiannis, Andreas

Polynomial invariant generation for non-deterministic recursive programs

PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 672-687
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir; Goharshady, Ehsan Kafshdar

Article 4

Efficient Parameterized Algorithms for Data Packing

Proceedings of the ACM on Programming Languages, v. 3, (POPL), January 2019, article number 53
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Okati, Nastaran; Pavlogiannis, Andreas

Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth

ACM Transactions on Programming Languages and Systems, v. 41, (4), November 2019, article number 23
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goyal, Prateesh; Ibsen-Jensen, Rasmus

Modular Verification for Almost-Sure Termination of Probabilistic Programs

Proceedings of the ACM on Programming Languages, v. 3, (OOPSLA), October 2019, article number 129
Huang, Mingzhang; Fu, Hongfei; Chatterjee, Krishnendu; Kafshdar Goharshady, Amir

Non-polynomial worst-case analysis of recursive programs

ACM Transactions on Programming Languages and Systems, v. 41, (4), December 2019, article number 20
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Ami.

Conference paper 4

Cost analysis of nondeterministic probabilistic programs

PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 204-220
Wang, Peixin; Chatterjee, Krishnendu; Fu, Hongfei; Qin, Xudong; Kafshdar Goharshady, Amir; Shi, Wenjun

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

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 374-381
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pourdamghani, Arash

Probabilistic smart contracts: Secure randomness on the blockchain

ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency / IEEE. Piscataway, NJ : IEEE, 2019, p. 403-412, Article number 8751326
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pourdamghani, Arash

The treewidth of smart contracts

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing / Association for Computing Machinery. New York : Association for Computing Machinery, 2019, p. 400-408
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Goharshady, Ehsan Kafshdar

Article 1

Algorithms for algebraic path properties in concurrent systems of constant treewidth components

ACM Transactions on Programming Languages and Systems, v. 40, (3), August 2018, article number 9
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas

Conference paper 4

Computational approaches for stochastic shortest path on succinct MDPs

IJCAI International Joint Conference on Artificial Intelligence, v. 2018, July 2018, p. 4700-4707
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir; Okati, Nastaran

Ergodic mean-payo games for the analysis of attacks in crypto-currencies

Leibniz International Proceedings in Informatics, LIPIcs, v. 118, August 2018, article number 11
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Velner, Yaron

Quantitative analysis of smart contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10801 LNCS, 2018, p. 739-767
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Velner, Yaron

Secure Credit Reporting on the Blockchain

Proceedings - IEEE 2018 International Congress on Cybermatics: 2018 IEEE Conferences on Internet of Things, Green Computing and Communications, Cyber, Physical and Social Computing, Smart Data, Blockchain, Computer and Information Technology, iThings/GreenCom/CPSCom/SmartData/Blockchain/CIT 2018 / IEEE. Piscataway, NJ : IEEE, 2018, p. 1343-1348, Article number 8726769
Kafshdar Goharshady, Amir; Behrouz, Ali; Chatterjee, Krishnendu

Conference paper 2

JTDec: A tool for tree decompositions in soot

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10482 LNCS, 2017, p. 59-66
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas

Non-polynomial worst-case analysis of recursive programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10427 LNCS, 2017, p. 41-63
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir

Article 1

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

Discrete Applied Mathematics, v. 198, January 2016, p. 136-146
Kafshdar Goharshady, Amir; Hooshmandasl, M. R.; Alambardar Meybodi, M.

Conference paper 3

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

ACM SIGPLAN Notices: POPL'16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, v. 51, (1), January 2016, p. 733-747, Session: Foundations of Model Checking
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas

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

POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / Edited by Rastislav Bodik, Rupak Majumdar. New York, United States : Association for Computing Machinery, 2016, p. 733-747
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen. Rasmus; Pavlogiannis, Andreas

Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

Lecture Notes in Computer Science, v. 9779, 2016, p. 3-22
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir

Conference paper 1

A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces

Hooshmandasl, M.R.; Meybodi, M.A.; Kafshdar Goharshady, Amir; Shakiba, A.

Article 1

S-Approximation: A New Approach to Algebraic Approximation

Journal of Discrete Mathematics, v. 2014, April 2014, article number 909684
Hooshmandasl, M.R.; Shakiba, A.; Kafshdar Goharshady, Amir; Karimi, A.

2018 5

Algorithms for algebraic path properties in concurrent systems of constant treewidth components

ACM Transactions on Programming Languages and Systems, v. 40, (3), August 2018, article number 9
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas
Article

Computational approaches for stochastic shortest path on succinct MDPs

IJCAI International Joint Conference on Artificial Intelligence, v. 2018, July 2018, p. 4700-4707
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir; Okati, Nastaran
Conference paper

Ergodic mean-payo games for the analysis of attacks in crypto-currencies

Leibniz International Proceedings in Informatics, LIPIcs, v. 118, August 2018, article number 11
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Velner, Yaron
Conference paper

Quantitative analysis of smart contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10801 LNCS, 2018, p. 739-767
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Velner, Yaron
Conference paper

Secure Credit Reporting on the Blockchain

Proceedings - IEEE 2018 International Congress on Cybermatics: 2018 IEEE Conferences on Internet of Things, Green Computing and Communications, Cyber, Physical and Social Computing, Smart Data, Blockchain, Computer and Information Technology, iThings/GreenCom/CPSCom/SmartData/Blockchain/CIT 2018 / IEEE. Piscataway, NJ : IEEE, 2018, p. 1343-1348, Article number 8726769
Kafshdar Goharshady, Amir; Behrouz, Ali; Chatterjee, Krishnendu
Conference paper

2017 2

JTDec: A tool for tree decompositions in soot

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10482 LNCS, 2017, p. 59-66
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Pavlogiannis, Andreas
Conference paper

Non-polynomial worst-case analysis of recursive programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10427 LNCS, 2017, p. 41-63
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir
Conference paper

2016 4

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

Discrete Applied Mathematics, v. 198, January 2016, p. 136-146
Kafshdar Goharshady, Amir; Hooshmandasl, M. R.; Alambardar Meybodi, M.
Article

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

ACM SIGPLAN Notices: POPL'16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, v. 51, (1), January 2016, p. 733-747, Session: Foundations of Model Checking
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
Conference paper

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

POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages / Edited by Rastislav Bodik, Rupak Majumdar. New York, United States : Association for Computing Machinery, 2016, p. 733-747
Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Ibsen-Jensen. Rasmus; Pavlogiannis, Andreas
Conference paper

Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

Lecture Notes in Computer Science, v. 9779, 2016, p. 3-22
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir
Conference paper

2015 1

A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces

Hooshmandasl, M.R.; Meybodi, M.A.; Kafshdar Goharshady, Amir; Shakiba, A.
Conference paper

2014 1

S-Approximation: A New Approach to Algebraic Approximation

Journal of Discrete Mathematics, v. 2014, April 2014, article number 909684
Hooshmandasl, M.R.; Shakiba, A.; Kafshdar Goharshady, Amir; Karimi, A.
Article

Teaching Assignment

COMP2711H	Honors Discrete Mathematical Tools for Computer Science
COMP6922B	Research Project
UROP1100N	Undergraduate Research Opportunities Series 1
UROP2100N	Undergraduate Research Opportunities Series 2

COMP4981	Final Year Project
UROP1000	Undergraduate Research Opportunities
UROP1100M	Undergraduate Research Opportunities Series 1

COMP3711H	Honors Design and Analysis of Algorithms
COMP4541	Blockchain, Cryptocurrencies and Smart Contracts
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
COMP6922B	Research Project
CPEG4901	Computer Engineering Final Year Project in COMP

COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
COMP6922B	Research Project
MATH4985I	Independent Study: Martingale-based Program Analysis

COMP4901X	Formal Reasoning about Programs
COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

BALLWEG, Jonas (co-supervision)
Computer Science and Engineering
BARAKBAYEVA, Togzhan (co-supervision)
Computer Science and Engineering
CAI, Zhuo
Computer Science and Engineering
FAROKHNIA, Soroush (co-supervision)
Computer Science and Engineering
HUDEC, Pavel (co-supervision)
Computer Science and Engineering
KOBUS CONRADO, Giovanna (co-supervision)
Computer Science and Engineering
KOCHEKOV, Kerim
Computer Science and Engineering
LI, Pingjiang (co-supervision)
Computer Science and Engineering
NOVOZHILOV, Sergei (co-supervision)
Computer Science and Engineering
SHU, Tian (co-supervision)
Computer Science and Engineering
SINGH, Hitarth (co-supervision)
Computer Science and Engineering
ZAHER, Ahmed Khaled Abdelfattah (co-supervision)
Computer Science and Engineering
LAM, Chun Kit
Computer Science and Engineering

Master of Philosophy

CAI, Xuran (co-supervision)
Computer Science and Engineering
LIN, Zhaorun (co-supervision)
Computer Science and Engineering

Projects

From January 2022 to December 2024

No Projects.
Algorithms for Optimizing Cryptocurrency Miners' Revenue

加密貨幣礦工收益優化算法 Leading

RGC - Early Career Scheme
Project Team (HKUST)
KAFSHDAR GOHARSHADY Amir (Lead)
2022 -

Research Interest

Publications

2024 7

2023 11

2022 4

2021 3

2020 5

2019 8

2018 5

2017 2

2016 4

2015 1

2014 1

Article 1

Conference paper 6

Article 3

Conference paper 8

Conference paper 4

Conference paper 3

Article 2

Conference paper 3

Article 4

Conference paper 4

Article 1

Conference paper 4

Conference paper 2

Article 1

Conference paper 3

Conference paper 1

Article 1

2018 5

2017 2

2016 4

2015 1

2014 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!