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



(852) 2358 8339
goharshady@ust.hk
Room IAS2003
Personal Web

---

Google Scholar
4o8gvAYAAAAJ

ORCID
0000-0003-1702-6584

Scopus ID
56711289400




Research Interest Publications Teaching Assignment RPG Supervision




Research Interest

---

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



Publications

---

All Years 27 2022 0 2021 2 2020 5 2019 8 2018 5 2017 2 2016 5

---

Expand All Collapse All


2021 2

Polynomial Reachability Witnesses via Stellens?tze
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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, New York, NY, United States : Association for Computing Machinery, 2021, p. 1171-1186
Wang, Jinyi; Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar 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 3

[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, v. 51, (1), April 2016, article number A9, 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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
8th International Seminar of Geometry and Topology, Amirkabir University of Technology, Tehran, 23-17 December 2015
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


Expand All Collapse All


Conference paper 2

Polynomial Reachability Witnesses via Stellens?tze
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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, New York, NY, United States : Association for Computing Machinery, 2021, p. 1171-1186
Wang, Jinyi; Sun, Yican; Fu, Hongfei; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar


Expand All Collapse All


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


Expand All Collapse All


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


Expand All Collapse All


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


Expand All Collapse All


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


Expand All Collapse All


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 2

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
ACM SIGPLAN Notices, v. 51, (1), April 2016, article number A9, 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9779, 2016, p. 3-22
Chatterjee, Krishnendu; Fu, Hongfei; Kafshdar Goharshady, Amir


Expand All Collapse All


Conference paper 1

A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces
8th International Seminar of Geometry and Topology, Amirkabir University of Technology, Tehran, 23-17 December 2015
Hooshmandasl, M.R.; Meybodi, M.A.; Kafshdar Goharshady, Amir; Shakiba, A.


Expand All Collapse All


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.


Expand All Collapse All


2016 3

[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, v. 51, (1), April 2016, article number A9, 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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
8th International Seminar of Geometry and Topology, Amirkabir University of Technology, Tehran, 23-17 December 2015
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


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 4 2020-21 Summer 2 2020-21 Spring 1 2020-21 Winter 0 2020-21 Fall 0

---

COMP4971A Independent Work
COMP4971F Independent Work
UROP1100E Undergraduate Research Opportunities Series 1
UROP2100E Undergraduate Research Opportunities Series 2


COMP4971A Independent Work
UROP2100D Undergraduate Research Opportunities Series 2


COMP6613B Topics in Programming Languages: Semantics and Verification


No Teaching Assignments


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

Current RPGs

---

---

Doctor of Philosophy HUDEC, Pavel
Computer Science and Engineering( 2021 - )

KOBUS CONRADO, Giovanna
Computer Science and Engineering( 2021 - )

OMIDI, Pouria
Computer Science and Engineering( 2021 - )

SINGH, Hitarth
Computer Science and Engineering( 2021 - )

---

Master of Philosophy CAI, Zhuo
Computer Science and Engineering( 2021 - )

FAROKHNIA, Soroush
Computer Science and Engineering( 2021 - )

ZAHER, Ahmed Khaled Abdelfattah
Computer Science and Engineering( 2021 - )









ProjectsFrom January 2020 to December 2022

---