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
Travelled to:
1 × USA
Collaborated with:
A.Krishnamurthy P.Shinde K.Kourtis T.Roscoe S.Peter N.K.Sharma T.E.Anderson J.Bornholt J.Li E.Torlak X.W.0005
Talks about:
model (2) nic (2) unicorn (1) specifi (1) process (1) perform (1) consist (1) system (1) packet (1) crash (1)

Person: Antoine Kaufmann

DBLP DBLP: Kaufmann:Antoine

Contributed to:

PLOS 20132013
ASPLOS 20162016

Wrote 3 papers:

PLOS-2013-ShindeKKR #modelling
Modeling NICs with Unicorn (PS, AK, KK, TR), p. 6.
ASPLOS-2016-BornholtKLKTW #file system #modelling #specification
Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
ASPLOS-2016-KaufmannPSAK #performance
High Performance Packet Processing with FlexNIC (AK, SP, NKS, TEA, AK), pp. 67–81.
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.