Concepedia

Nick Giannarakis

NG

Statistics

Publications

5

Citations

222

H-Index

5

Active since

2015

Affiliations

Princeton University(Current)

Microsoft (United States)

Max Planck Institute for Software Systems

Nick Giannarakis is an author at Princeton University specializing in computing, computer science, and computer engineering.

Publications per year

2015–2020

5

Publications

5

Taming release-acquire consistency

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis · 2016 · 92 citations

Computing, Computer Engineering, Computer Science +15

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis et al. · 2015 · 51 citations · Full text

Computing, Computer Engineering, Computer Science +17

A verified, efficient embedding of a verifiable assembly language

Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel et al. · Proceedings of the ACM on Programming Languages · 2019 · 35 citations · Full text

Computing, Computer Engineering, Computer Science +13

NV: an intermediate language for verification of network control planes

Nick Giannarakis, Devon Loehr, Ryan Beckett et al. · 2020 · 25 citations

Computing, Computer Engineering, Computer Science +13

Taming release-acquire consistency

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis · ACM SIGPLAN Notices · 2016 · 19 citations

Computing, Computer Engineering, Computer Science +15

1–5 of 5