Nick Giannarakis - LCTES 2020

Write a Blog >>

Mon 15 - Fri 19 June 2020

co-located with PLDI 2020

Registered user since Wed 21 Oct 2015

Name:Nick Giannarakis

Affiliation:Princeton University, USA

Personal website: http://cs.princeton.edu/~ng8

Research interests:Programming Languages

Contributions

2020

PLDI

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

PLDI 2020-profile
View general profile