In Computer Science conference publications are at least as prestigious as (and often more prestigious than) journal publications. Names appear in alphabetical order, except that co-authors who are located in countries where the order matters in their career (e.g. Russia) are put first.

Quickly discover relevant content by filtering publications.

. 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

. JTDec: A Tool for Tree Decompositions in Soot. International Symposium on Automated Technology for Verification and Analysis (ATVA), 2017.

PDF Published version Artifact


  • I was born and grew up in Mashhad, Khorasan, Iran.
  • My native language is Persian and my name is written as امیر کفشدار گوهرشادی in Persian alphabet. I am a speaker of the Khorasani accent (spoken in Northeastern Iran and Afghanistan), but am also accustomed to Tehrani, Yazdi and Tajiki. The Tajiki spelling of my name is Амири Кафшдори Гавҳаршодӣ.
  • Check out my favorite city, Yazd, where I did my undergrads. The entire city is a world heritage site.