Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ucbvax!sdcsvax!darrell
From: Maurice.Herlihy@C.CS.CMU.EDU
Newsgroups: comp.os.research
Subject: Contacts for OS research projects (AVALON)
Message-ID: <4529@sdcsvax.UCSD.EDU>
Date: 23 Jan 88 16:11:53 GMT
Sender: darrell@sdcsvax.UCSD.EDU
Lines: 46
Approved: mod-os@sdcsvax.uucp

The Avalon project at CMU is developing high-level language support for
programming reliable distributed applications.  We have two major goals: one is
to design and implement a set of appropriate high-level programming language
primitives; the second is to devise formal methods for reasoning about such
programs.  We are currently implementing Avalon/C++, a series of extensions to
the C++ language.  These extensions include primitives to support distribution,
concurrency, reliability, and fault-tolerance.  Avalon/C++ will run on top of
Camelot and Mach.

[ Thanks Maurice.  Perhaps Prof. Spector can be persuaded into contributing   ]
[ something on Camelot?  We've had some discussion of MACH, but a publication ]
[ list would be useful.  --DL                                                 ]

				 PUBLICATIONS

@Inproceedings(FTCS87-1,
	Author = "M.P. Herlihy and J.M. Wing",
	BookTitle = "17th Symposium on Fault-Tolerant Computer Systems (FTCS)",
	Title = "Avalon: language support for reliable distributed systems",
	Note = "Also CMU-CS-86-167", Month = jul, Year = 1987)

@InProceedings(Inherit,
	Author = "D.L. Detlefs, M.P. Herlihy, and J.M. Wing",
	Title = "Inheritance of Synchronization and Recovery Properties
		in Avalon/C++",
	BookTitle = "Proceedings of HICSS-21", Month = jan, Year = 1988)

@InProceedings(PODS88,
	Author =  "M.P. Herlihy and W.E. Weihl",
	Title = "Hybrid Concurrency Control for Abstract Data Types",
	BookTitle = "Seventh ACM-SIGMOD-SIGACT Symposium on Principles of
		Database Systems (PODS)",
	Month = Mar, Year = 1988, Note = "To appear")

@TechReport (REASON,
	Author = "M.P. Herlihy and J.M. Wing",
	Title = "Reasoning about Atomic Objects",
	Institution = "CMU Computer Science Dept.",
	Number = "CMU-CS-87-176",
	Note = "Submitted for Publication")

@InProceedings (Experience,
	Author = "D.L. Detlefs, M.P. Herlihy, K.Y. Keitzke, and J.M. Wing",
	Title = "Avalon/C++: C++ Extensions for Transaction-Based Programming",
	BookTitle = "Proceedings of the 1986 USENIX Workshop on C++",
	Month = nov, Year = 1987)