Greta Yorsh

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

Onward! 2017Author of Unbounded Superoptimization within the Onward! Papers-track
Committee Member in Program Committee within the Onward! Papers-track
PLDI 2016Committee Member in Program Committee
PLDI 2015Committee Member in Program Committee within the Research Papers-track