BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
O.Lahav V.Vafeiadis R.Beckett R.Mahajan D.Walker C.Hawblitzel A.Rastogi N.Swamy Aymeric Fromherz B.Parno G.Martínez D.Ahman V.Dumitrescu C.Hritcu M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel J.Protzenko T.Ramananandro
Talks about:
verifi (2) effici (2) counterexampl (1) metaprogram (1) network (1) languag (1) consist (1) assembl (1) tactic (1) releas (1)

Person: Nick Giannarakis

DBLP DBLP: Giannarakis:Nick

Contributed to:

ESOP 20192019
CAV (2) 20192019
POPL 20162016
POPL 20192019

Wrote 4 papers:

ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt
Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
CAV-2019-GiannarakisBMW #fault tolerance #network #performance #refinement #verification
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
POPL-2016-LahavGV #consistency
Taming release-acquire consistency (OL, NG, VV), pp. 649–662.
POPL-2019-FromherzGHPRS #assembly #performance
A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.