Tim Harris, Anil Madhavapeddy
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
PLOS, 2013.

@proceedings{PLOS-2013,
	address       = "Farmington, Pennsylvania, USA",
	doi           = "10.1145/2525528",
	editor        = "Tim Harris and Anil Madhavapeddy",
	isbn          = "978-1-4503-2460-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Workshop on Programming Languages and Operating Systems}",
	year          = 2013,
}

Contents (10 items)

2 ×#automation
2 ×#file system
2 ×#named

PLOS-2013-BurtsevMER #analysis #named #performance #streaming

Weir: a streaming language for performance analysis (AB, NM, EE, RR), p. 6.

PLOS-2013-DzikPRTV #in the cloud #monad #named

MBrace: cloud computing with monads (JD, NP, KR, ET, NV), p. 6.

PLOS-2013-ShindeKKR #modelling

Modeling NICs with Unicorn (PS, AK, KK, TR), p. 6.

PLOS-2013-SunFBG #agile #automation #file system #generative #tool support

Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.

PLOS-2013-TschudinRJLLM #comprehension #linux #search-based

Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.

PLOS-2013-AryaDVC #automation #debugging #process

Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.

PLOS-2013-Eriksen

Your server as a function (ME), p. 7.

PLOS-2013-FernandezKKA #component #framework #platform #towards

Towards a verified component platform (MF, IK, GK, JA), p. 7.

PLOS-2013-Kell #operating system #question

The operating system: should there be one? (SK), p. 7.

PLOS-2013-KellerMAOCRKH #exclamation #file system #verification

File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.