
Registered user since Fri 12 Jun 2015
Name:Greta Yorsh
Affiliation:Queen Mary University of London
Personal website: http://www.eecs.qmul.ac.uk/~gretay/
Research interests:Program analysis, verification, and synthesis; Compilers
Contributions
SPLASH 2017-profile
View general profile
View general profile