Publications

Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis . Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady . Polynomial Invariant Generation for Non-deterministic Recursive Programs. ACM Conference on Programming Language Design and Implementation (PLDI), 2020.

PDF Published version Slides

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis . Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. European Symposium on Programming (ESOP), 2020.

PDF Published version

Ali Shakiba, Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi . A Note on Belief Structures and S-approximation Spaces. Iranian Journal of Mathematical Sciences and Informatics, 2020.

Amir Kafshdar Goharshady, Fatemeh Mohammadi . An Efficient Algorithm for Computing Network Reliability in Small Treewidth. Reliability Engineering and System Safety, 2020.

PDF Published version Artifact

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis . Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Transactions on Programming Languages and Systems (TOPLAS), 2019.

PDF Published version

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady . Non-polynomial Worst-case Analysis of Recursive Programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 2019.

PDF Published version

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady . Modular Verification for Almost-Sure Termination of Probabilistic Programs. ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2019.

PDF Published version Artifact

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi . Cost Analysis of Nondeterministic Probabilistic Programs. ACM Conference on Programming Language Design and Implementation (PLDI), 2019.

PDF Pubished version Artifact

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani . Probabilistic Smart Contracts: Secure Randomness on the Blockchain. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019.

PDF Published version Artifact Slides

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady . The Treewidth of Smart Contracts. ACM Symposium on Applied Computing (SAC), 2019.

PDF Published version

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani . Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving. ACM Symposium on Applied Computing (SAC), 2019.

PDF Published version

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis . Efficient Parameterized Algorithms for Data Packing. ACM Symposium on Principles of Programming Languages (POPL), 2019.

PDF Published version Artifact Slides IEEE Best Paper Award

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner . Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies. International Conference on Concurrency Theory (CONCUR), 2018.

PDF Published version Slides

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis . Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Transactions on Programming Languages and Systems (TOPLAS), 2018.

PDF Published version

Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee . Secure Credit Reporting on the Blockchain. IEEE International Symposium on Blockchain and its Applications, 2018.

PDF Published version Artifact Slides

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati . Computational Approaches for Stochastic Shortest Path on Succinct MDPs. International Joint Conference on Artificial Intelligence (IJCAI), 2018.

PDF Published version Slides

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner . Quantitative Analysis of Smart Contracts. European Symposium on Programming (ESOP), 2018.

PDF Published version Slides

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis . JTDec: A Tool for Tree Decompositions in Soot. International Symposium on Automated Technology for Verification and Analysis (ATVA), 2017.

PDF Published version Artifact

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady . Non-polynomial Worst-case Analysis of Recursive Programs. International Conference on Computer Aided Verification (CAV), 2017.

PDF Published version Artifact

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady . Termination Analysis of Probabilistic Programs through Positivstellensatz’s. International Conference on Computer Aided Verification (CAV), 2016.

PDF Published version

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis . Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Symposium on Principles of Programming Languages (POPL), 2016.

PDF Published version

Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi . [1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms. Discrete Applied Mathematics, 2015.

PDF Published version

Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi, Amir Kafshdar Goharshady, Ali Shakiba . A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces. 8th Iranian Seminar on Geometry and Topology, 2015.

Mohammad Reza Hooshmandasl, Ali Shakiba, Amir Kafshdar Goharshady, Abolfazl Karimi . S-Approximation: A New Approach to Algebraic Approximation. Journal of Discrete Mathematics, 2014.

PDF Published version