conf.researchr.org / Ehsan Kafshdar Goharshady

Registered user since Sun 22 Dec 2019

Name:Ehsan Kafshdar Goharshady

Contributions

PLDI 2021 Author of Proving Non-termination by Program Reversal within the PLDI-track
PLDI 2020 Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track