Reasoning about Lock Placements
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Reasoning about Lock Placements
ESOP, 2012.

ESOP 2012
Full names Links ISxN
	author        = "Peter Hawkins and Alex Aiken and Kathleen Fisher and Martin C. Rinard and Mooly Sagiv",
	booktitle     = "{Proceedings of the 21st European Symposium on Programming}",
	doi           = "10.1007/978-3-642-28869-2_17",
	editor        = "Helmut Seidl",
	isbn          = "978-3-642-28868-5",
	pages         = "336--356",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Reasoning about Lock Placements}",
	volume        = 7211,
	year          = 2012,


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.