In Computer Science, conferences are the main peer-reviewed venue of publication and conference papers are usually more prestigious than journal articles. Especially, publishing in flagship and top-rated conferences is extremely competitive. Following the global norms of Mathematics and Theoretical Computer Science, names appear in alphabetical order, except that Iranian and Chinese co-authors are sometimes put first to satisfy their graduation requirements.

  1. A.K. Goharshady, A.K. Zaher
    Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
    International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2023

  2. A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi, Ð. Žikelić
    Algorithms and Hardness Results for Computing Cores of Markov Chains
    IARCS Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022

  3. M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba
    Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees
    IEEE International Conference on Blockchain, Blockchain 2022

  4. K. Chatterjee, A.K. Goharshady, T. Meggendorfer, Ð. Žikelić
    Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
    International Conference on Computer Aided Verification, CAV 2022

  5. A. Ahmadi, M. Daliri, A.K. Goharshady, A. Pavlogiannis
    Efficient Approximations for Cache-conscious Data Placement
    ACM Conference on Programming Language Design and Implementation, PLDI 2022

  6. A.K. Goharshady
    Irrationality, Extortion, or Trusted Third-Parties: Why It is Impossible to Buy and Sell Physical Goods Securely on the Blockchain
    IEEE International Conference on Blockchain, Blockchain 2021
    Best Paper Award Nominee

  7. A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi
    Polynomial Reachability Witnesses via Stellensätze
    ACM Conference on Programming Language Design and Implementation, PLDI 2021

  8. J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady
    Quantitative Analysis of Assertion Violations in Probabilistic Programs
    ACM Conference on Programming Language Design and Implementation, PLDI 2021

  9. A.K. Goharshady, F. Mohammadi
    An Efficient Algorithm for Computing Network Reliability in Small Treewidth
    Reliability Engineering and System Safety, 2020

  10. A.K. Goharshady
    Parameterized and Algebro-geometric Advances in Static Program Analysis
    PhD Thesis, IST Austria (Institute of Science and Technology Austria), 2020

  11. A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis
    Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
    International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

  12. K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady
    Polynomial Invariant Generation for Non-deterministic Recursive Programs
    ACM Conference on Programming Language Design and Implementation, PLDI 2020

  13. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
    Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
    European Symposium on Programming, ESOP 2020
    EATCS Best Paper Award Nominee

  14. A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
    A Note on Belief Structures and S-Approximation Spaces
    Iranian Journal of Mathematical Sciences and Informatics, IJMSI 2020

  15. M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady
    Modular Verification for Almost-Sure Termination of Probabilistic Programs
    ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2019
    IEEE Computer Society Larson Best Paper Award

  16. K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis
    Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
    ACM Transactions on Programming Languages and Systems, TOPLAS 2019

  17. K. Chatterjee, H. Fu, A.K. Goharshady
    Non-polynomial Worst-case Analysis of Recursive Programs
    ACM Transactions on Programming Languages and Systems, TOPLAS 2019

  18. P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi
    Cost Analysis of Nondeterministic Probabilistic Programs
    ACM Conference on Programming Language Design and Implementation, PLDI 2019

  19. K. Chatterjee, A.K. Goharshady, A. Pourdamghani
    Probabilistic Smart Contracts: Secure Randomness on the Blockchain
    IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019

  20. K. Chatterjee, A.K. Goharshady, A. Pourdamghani
    Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving
    ACM Symposium on Applied Computing, SAC 2019

  21. K. Chatterjee, A.K. Goharshady, E.K. Goharshady
    The Treewidth of Smart Contracts
    ACM Symposium on Applied Computing, SAC 2019

  22. K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis
    Efficient Parameterized Algorithms for Data Packing
    ACM Symposium on Principles of Programming Languages, POPL 2019
    IEEE Computer Society Larson Best Paper Award

  23. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
    Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
    ACM Transactions on Programming Languages and Systems, TOPLAS 2018

  24. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner
    Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
    International Conference on Concurrency Theory, CONCUR 2018

  25. A.K. Goharshady, A. Behrouz, K. Chatterjee
    Secure Credit Reporting on the Blockchain
    IEEE International Symposium on Blockchain and its Applications, Blockchain 2018

  26. K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati
    Computational Approaches for Stochastic Shortest Path on Succinct MDPs
    International Joint Conference on Artificial Intelligence, IJCAI 2018

  27. K. Chatterjee, A.K. Goharshady, Y. Velner
    Quantitative Analysis of Smart Contracts
    European Symposium on Programming, ESOP 2018

  28. K. Chatterjee, A.K. Goharshady, A. Pavlogiannis
    JTDec: A Tool for Tree Decompositions in Soot
    International Symposium on Automated Technology for Verification and Analysis, ATVA 2017

  29. K. Chatterjee, H. Fu, A.K. Goharshady
    Non-polynomial Worst-case Analysis of Recursive Programs
    International Conference on Computer Aided Verification, CAV 2017

  30. K. Chatterjee, H. Fu, A.K. Goharshady
    Termination Analysis of Probabilistic Programs through Positivstellensätze
    International Conference on Computer Aided Verification, CAV 2016

  31. K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis
    Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
    ACM Symposium on Principles of Programming Languages, POPL 2016

  32. M.R. Hooshmandasl, M. Alambardar, A.K. Goharshady, A.Shakiba
    A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces
    Iranian Seminar on Geometry and Topology, 2015

  33. A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
    [1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
    Discrete Applied Mathematics, 2015

  34. M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. Karimi
    S-Approximation: A New Approach to Algebraic Approximation
    Journal of Discrete Mathematics, 2014