Nick Giannarakis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | NV: an intermediate language for verification of network control planes. | Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker |
| 2019 | CAV | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. | Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2019 | SIGCOMM | NV: An intermediate language for network verification. | Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker |
| 2016 | POPL | Taming release-acquire consistency. | Ori Lahav, Nick Giannarakis, Viktor Vafeiadis |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |