Ehsan Kafshdar Goharshady

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Tree Decompositions

Recursive Programs

Rewrite Systems

Top Venues

Proc. ACM Program. Lang.

Formal Aspects Comput.

Publications

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CONCUR (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR (2024)
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CoRR (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35 (2) (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving non-termination by program reversal. PLDI (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving Non-termination by Program Reversal. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. FM (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. CoRR (2020)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
Polynomial invariant generation for non-deterministic recursive programs. PLDI (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
The treewidth of smart contracts. SAC (2019)
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
Polynomial Invariant Generation for Non-deterministic Recursive Programs. CoRR (2019)