Nick Giannarakis

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Modulo Theories

Control Structures

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Nick Giannarakis, Alexandra Silva, David Walker
ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
NV: an intermediate language for verification of network control planes. PLDI (2020)
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. CAV (2) (2019)
Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
NV: An intermediate language for network verification. NetPL@SIGCOMM (2019)
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
A verified, efficient embedding of a verifiable assembly language. Proc. ACM Program. Lang. 3 (POPL) (2019)
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
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP (2019)
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
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR (2018)
Ori Lahav, Nick Giannarakis, Viktor Vafeiadis
Taming release-acquire consistency. POPL (2016)
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy (2015)