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

2023 5

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

Farokhnia, Soroush; Kafshdar Goharshady, Amir
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

Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain

Farokhnia, Soroush; Kafshdar Goharshady, Amir
Conference paper

Trustless and Bias-resistant Game-theoretic Distributed Randomness

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), September 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

Conference paper 5

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

Farokhnia, Soroush; Kafshdar Goharshady, Amir

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

Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain

Farokhnia, Soroush; Kafshdar Goharshady, Amir

Trustless and Bias-resistant Game-theoretic Distributed Randomness

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), September 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.

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

COMP4901W	Introduction to Blockchain, Cryptocurrencies and Smart Contracts
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
COMP6922B	Research Project
CPEG4901	Computer Engineering Final Year Project in COMP

COMP4971C

Independent Work

COMP4981	Final Year Project
COMP4981H	Final Year Thesis
COMP5711	Introduction to Advanced Algorithmic Techniques
COMP6922B	Research Project

COMP4981H	Final Year Thesis
UROP2100G	Undergraduate Research Opportunities Series 2

COMP4901W	Introduction to Blockchain, Cryptocurrencies and Smart Contracts
UROP1100F	Undergraduate Research Opportunities Series 1
UROP3100F	Undergraduate Research Opportunities Series 3

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 28 May 2023)

Current RPGs

Doctor of Philosophy

LI, Pingjiang
Computer Science and Engineering
BARAKBAYEVA, Togzhan
Computer Science and Engineering
KOCHEKOV, Kerim
Computer Science and Engineering
LAM, Chun Kit
Computer Science and Engineering
NOVOZHILOV, Sergei
Computer Science and Engineering
HUDEC, Pavel
Computer Science and Engineering
KOBUS CONRADO, Giovanna
Computer Science and Engineering
SINGH, Hitarth
Computer Science and Engineering

Master of Philosophy

CAI, Zhuo
Computer Science and Engineering
FAROKHNIA, Soroush
Computer Science and Engineering
ZAHER, Ahmed Khaled Abdelfattah
Computer Science and Engineering

Projects

From January 2021 to December 2023

No Projects.
Algorithms for Optimizing Cryptocurrency Miners' Revenue

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

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

Research Interest

Publications

2023 5

2022 4

2021 3

2020 5

2019 8

2018 5

2017 2

2016 4

2015 1

2014 1

Conference paper 5

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

2017 2

2016 4

2015 1

2014 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 28 May 2023)

Current RPGs

Projects

From January 2021 to December 2023

Your browser is out of date!