
Registered user since Wed 21 Oct 2015
Name:Nick Giannarakis
Country:United States
Affiliation:University of Wisconsin-Madison
Personal website:http://cs.princeton.edu/~ng8
Twitter:https://twitter.com/naig_kcin
Research interests:Programming Languages
Contributions
ICFP 2021 | ProbNV: Probabilistic Verification of Network Control Planes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile