Ruzica Piskac

Registered user since Wed 25 Jun 2014

Name: Ruzica Piskac

Affiliation: Yale University, USA

Personal website: http://www.cs.yale.edu/~piskac/

Contributions

PLDI 2019 Lazy Counterfactual Symbolic Execution
Show activities from other conferences

PLDI 2019-profile
View general profile