Starting September 2020, I'll be joining UW-Madison as a postdoctoral fellow supported by an NSF Computing Innovation Fellowship. My mentors are Professors Loris D'Antoni and Aditya Akella.
Before joining Madison I was a PhD student in the Computer Science department of Princeton University, advised by Professor David Walker. My research interests revolve around programming languages, verification, and their applications in networked systems. During my PhD, I developed a new language to model a network's routing behavior and to simplify the development of new network analyses (see our PLDI 2020 paper on NV). Check out a recent blog post about some of our research on network verification. On top of NV, we've also built Origami a network compression tool to scale fault tolerance analysis to very large networks.
You can find more details in my dissertation.
Previously I worked with Professor Andrew Appel on the design of an operational semantics for concurrent languages suitable for end-to-end verification. We used these semantics to prove:
Before Princeton, I obtained a Masters in Computer Science as a student in ENS Cachan, and a diploma in Electrical and Computer Engineering from National Technical University of Athens. I have worked as a research intern at Microsoft Research, Amazon AWS, MPI-SWS, and INRIA.
You can find my CV here.
ProbNV: Probabilistic Verification of Network Control Planes
Nick Giannarakis, Alexandra Silva, David Walker
ICFP 2021
Artifact GitHubNV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
PLDI 2020
Artifact GitHubNV: An intermediate language for network verification
Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
NetPL 2019
GitHubEfficient verification of network fault tolerance via counterexample-guided refinement
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
CAV 2019
GitHub [Extended version] [Slides]Meta-F*: Proof automation with SMT, tactics, and metaprograms
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
ESOP 2019
HomepageA Verified, Efficient Embedding of a Verifiable Assembly Language
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
POPL 2019
GitHubTaming release-acquire consistency
Ori Lahav, Nick Giannarakis, Viktor Vafeiadis
POPL 2016
HomepageMicro-Policies: Formally Verified, Tag-Based Security Monitors
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Cătălin Hriţcu, Benjamin Pierce, Antal Spector-Zabusky, Andrew Tolmach
IEEE S&P 2015
GitHub