Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat

First Page		Document Content
Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming		Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: gazagnaire.org Download Document from Source Website File Size: 73,44 KB Share Document on Facebook

	Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga DocID: 1v5Xc - View Document
	ASPLOS23rd International Conference on Architectural Support for Programming Languages and Operating Systems DocID: 1tLDG - View Document
	To appear in Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Russ DocID: 1tCrz - View Document
	Appears in the Proceedings of the 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’16) TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datac DocID: 1qRRg - View Document
	Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOSNewport Beach, CA, March 5–11, 2011 http://asplos11.cs.ucr.edu ASPLOS is a forum for multidiscip DocID: 1kdyL - View Document