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. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

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

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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 Best Student Paper Award

  15. 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

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

  17. 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

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

  19. 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

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

  21. 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 Best Student Paper Award

  22. 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

  23. 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

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

  25. 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

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

  27. 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

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

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

  30. 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

  31. 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

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

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