Ruzica Piskac - POPL 2020

Registered user since Wed 25 Jun 2014

Name: Ruzica Piskac

Country: United States

Affiliation: Yale University, USA

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

Contributions

VMCAI 2020	Author of Solving LIA* Using Approximations within the VMCAI 2020-track Session Chair of Papers 4 (part of VMCAI 2020) Industrial Relations Co-Chair in Steering Committee within the VMCAI 2020-track
Show activities from other conferences