Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ehsan Kafshdar Goharshady
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
Registered user since Sun 22 Dec 2019
Name:
Ehsan Kafshdar Goharshady
Contributions
2024
PLDI
Author of Equivalence and Similarity Refutation for Probabilistic Programs within the PLDI Research Papers-track
2021
PLDI
Author of Proving Non-termination by Program Reversal within the PLDI-track
2020
PLDI
Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track
Share
x
Sat 21 Jun 19:31