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