Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ehsan Kafshdar Goharshady
conf.researchr.org general profile
ATVA 2025 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2024 profile
Registered user since Sun 22 Dec 2019
Name:
Ehsan Kafshdar Goharshady
Contributions
2025
ATVA
Author of PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper) within the ATVA Papers-track
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 25 Oct 13:52