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.
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 2022K. 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 2022A. Ahmadi, M. Daliri, A.K. Goharshady, A. Pavlogiannis
Efficient Approximations for Cache-conscious Data Placement
ACM Conference on Programming Language Design and Implementation, PLDI 2022A.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 NomineeA. 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 2021J. 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 2021A.K. Goharshady, F. Mohammadi
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
Reliability Engineering and System Safety, 2020A.K. Goharshady
Parameterized and Algebro-geometric Advances in Static Program Analysis
PhD Thesis, IST Austria (Institute of Science and Technology Austria), 2020A. 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 2020K. 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 2020K. 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 NomineeA. 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 2020M. 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 AwardK. 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 2019K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
ACM Transactions on Programming Languages and Systems, TOPLAS 2019P. 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 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani
Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving
ACM Symposium on Applied Computing, SAC 2019K. Chatterjee, A.K. Goharshady, E.K. Goharshady
The Treewidth of Smart Contracts
ACM Symposium on Applied Computing, SAC 2019K. 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 AwardK. 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 2018K. 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 2018A.K. Goharshady, A. Behrouz, K. Chatterjee
Secure Credit Reporting on the Blockchain
IEEE International Symposium on Blockchain and its Applications, Blockchain 2018K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
International Joint Conference on Artificial Intelligence, IJCAI 2018K. Chatterjee, A.K. Goharshady, Y. Velner
Quantitative Analysis of Smart Contracts
European Symposium on Programming, ESOP 2018K. Chatterjee, A.K. Goharshady, A. Pavlogiannis
JTDec: A Tool for Tree Decompositions in Soot
International Symposium on Automated Technology for Verification and Analysis, ATVA 2017K. Chatterjee, H. Fu, A.K. Goharshady
Non-polynomial Worst-case Analysis of Recursive Programs
International Conference on Computer Aided Verification, CAV 2017K. Chatterjee, H. Fu, A.K. Goharshady
Termination Analysis of Probabilistic Programs through Positivstellensätze
International Conference on Computer Aided Verification, CAV 2016K. 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 2016M.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, 2015A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Discrete Applied Mathematics, 2015M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. Karimi
S-Approximation: A New Approach to Algebraic Approximation
Journal of Discrete Mathematics, 2014