Nick Giannarakis
发表
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Arthur Azevedo de Amorim,
2015
.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Catalin Hritcu,
2015,
2015 IEEE Symposium on Security and Privacy.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2019,
CAV.
Ryan Beckett,
David Walker,
Nick Giannarakis,
2020
.
Ryan Beckett,
David Walker,
Nick Giannarakis,
2019,
NetPL@SIGCOMM.
Ryan Beckett,
David Walker,
Nick Giannarakis,
2020,
PLDI.
Ori Lahav,
Viktor Vafeiadis,
Nick Giannarakis,
2016,
POPL.
Nikhil Swamy,
Chris Hawblitzel,
Bryan Parno,
2019,
Proc. ACM Program. Lang..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
David Walker,
Nick Giannarakis,
Alexandra Silva,
2021,
Proc. ACM Program. Lang..