• Sign in
  • Sign up
conf.researchr.org / Ehsan Kafshdar Goharshady
  • 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
xSat 21 Jun 19:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up