BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
D.J.Scott T.Gazagnaire S.Dolan K.C.Sivaramakrishnan R.Sharp T.Ridge D.Sheets T.Tuerk A.Giugliano P.Sewell R.Mortier C.Rotsos B.Singh S.Smith S.Hand J.Crowcroft
Talks about:
system (2) unikernel (1) perspect (1) industri (1) function (1) program (1) product (1) percept (1) librari (1) within (1)

Person: Anil Madhavapeddy

DBLP DBLP: Madhavapeddy:Anil

Facilitated 1 volumes:

PLOS 2013Ed

Contributed to:

SOSP 20152015
ASPLOS 20132013
ICFP 20102010
PLDI 20182018

Wrote 4 papers:

SOSP-2015-RidgeSTGMS #file system #named #specification #testing
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
ASPLOS-2013-MadhavapeddyMRSSGSHC #kernel #library #named #operating system
Unikernels: library operating systems for the cloud (AM, RM, CR, DJS, BS, TG, SS, SH, JC), pp. 461–472.
ICFP-2010-ScottSGM #functional #industrial #programming #using
Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.
PLDI-2018-DolanSM #bound
Bounding data races in space and time (SD, KCS, AM), pp. 242–255.

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.