Follow
Nick Giannarakis
Nick Giannarakis
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Taming release-acquire consistency
O Lahav, N Giannarakis, V Vafeiadis
ACM SIGPLAN Notices 51 (1), 649-662, 2016
1322016
Micro-policies: Formally verified, tag-based security monitors
AA De Amorim, M Dénès, N Giannarakis, C Hritcu, BC Pierce, ...
2015 IEEE Symposium on Security and Privacy, 813-830, 2015
792015
A verified, efficient embedding of a verifiable assembly language
A Fromherz, N Giannarakis, C Hawblitzel, B Parno, A Rastogi, N Swamy
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
532019
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
European Symposium on Programming, 30-59, 2019
492019
NV: An Intermediate Language for Verification of Network Control Planes
N Giannarakis, D Loehr, R Beckett, D Walker
PLDI. ACM, 2020
252020
Efficient verification of network fault tolerance via counterexample-guided refinement
N Giannarakis, R Beckett, R Mahajan, D Walker
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
142019
Compiler correctness for concurrency: from concurrent separation logic to shared memory assembly language
S Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ...
Technical Report TBD, Department of Computer Science, Princeton University, 2020
82020
ProbNV: probabilistic verification of network control planes
N Giannarakis, A Silva, D Walker
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
42021
An Intermediate Language for Network Verification
N Giannarakis
Princeton University, 2020
12020
NV: An intermediate language for network verification
R Beckett, N Giannarakis, D Loher, D Walker
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming …, 2019
12019
A Verified, Efficient Embedding of a Verifiable Assembly Language
N Giannarakis, C Hawblitzel, B Parno, A Rastogi, N Swamy, A Fromherz, ...
2019
ML as a Tactic Language, Again
G MARTÍNEZ, D AHMAN, V DUMITRESCU, N GIANNARAKIS, ...
Control plane compression for fault tolerance
N Giannarakis
The system can't perform the operation now. Try again later.
Articles 1–13