Micro-Policies: Formally Verified, Tag-Based Security Monitors. - Arthur Azevedo de Amorim; Maxime Dénès; Nick Giannarakis; Catalin Hritcu; Benjamin C. Pierce; Antal Spector-Zabusky; Andrew Tolmach (IEEE Symposium on Security and Privacy, 2015)

Taming release-acquire consistency. - Ori Lahav 001; Nick Giannarakis; Viktor Vafeiadis (POPL, 2016)

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. - 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; et al. (CoRR, 2018)

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. - Nick Giannarakis; Ryan Beckett; Ratul Mahajan; David Walker 001 (CAV (2), 2019)

Meta-F ^ star : 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; et al. (ESOP, 2019)

NV: An intermediate language for network verification. - Ryan Beckett; Nick Giannarakis; Devon Loehr; David Walker 001 (NetPL@SIGCOMM, 2019)

A verified, efficient embedding of a verifiable assembly language. - Aymeric Fromherz; Nick Giannarakis; Chris Hawblitzel; Bryan Parno; Aseem Rastogi; Nikhil Swamy (Proc. ACM Program. Lang., 2019)

NV: an intermediate language for verification of network control planes. - Nick Giannarakis; Devon Loehr; Ryan Beckett; David Walker 001 (PLDI, 2020)

An Intermediate Language for Network Verification - Nick Giannarakis (2020)

ProbNV: probabilistic verification of network control planes. - Nick Giannarakis; Alexandra Silva 001; David Walker 001 (Proc. ACM Program. Lang., 2021)