![Greta Yorsh](https://pldi20.sigplan.org/getProfileImage/gretayorsh/13a665d1-672c-406f-bdb3-027f0667678d/small.jpg?1711465695000)
Registered user since Fri 12 Jun 2015
Name:Greta Yorsh
Affiliation:Jane Street
Personal website: https://gretay.github.io/
Research interests:Program analysis, verification, and synthesis; Compilers
Contributions
PLDI 2020-profile
View general profile
View general profile