Nick Giannarakis - PLDI 2020

Mon 15 - Fri 19 June 2020

Registered user since Wed 21 Oct 2015

Name:Nick Giannarakis

Affiliation:Princeton University, USA

Research interests:Programming Languages

Contributions

PLDI 2020	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track NV: An Intermediate Language for Verification of Network Control Planes
Show activities from other conferences