Nick Giannarakis

According to our database, Nick Giannarakis authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

ProbNV: probabilistic verification of network control planes.

Nick Giannarakis, Alexandra Silva, David Walker

Proc. ACM Program. Lang., 2021

2020

NV: an intermediate language for verification of network control planes.

Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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 network verification.

Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 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, Nikhil Swamy

Proceedings of the Programming Languages and Systems, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

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, Nikhil Swamy

CoRR, 2018

2016

Taming release-acquire consistency.

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

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

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015