BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Vincent Rahli
DESCRIPTION:Title: How Trustworthy Can Systems Become?\nSpeaker: Vincent
	 Rahli\nAbstract: For many of their essential activities\, science\,
	 governments\, businesses\, and individuals depend on critical\, often
	 distributed\, software systems that must be correct. When building such
	 systems\, programmers strive to provide evidence that their components
	 and the interactions among them satisfy specifications. This is a
	 non-trivial task in general\, made especially difficult for cloud based
	 systems\, where data and programs are distributed and replicated\, and
	 yet must remain consistent and secure. \n \nThe PRL group at Cornell has
	 built a framework within the Nuprl proof assistant to specify\, verify
	 and generate provably correct distributed systems. In this talk I will
	 discuss this framework and will show how\, once again\, the magic of
	 monads made all this possible. We will then discuss in what sense our
	 code is considered correct\, as well as solutions to gain even more
	 trust in our code.
LOCATION:Gates 122
UID:2014-11-11
STATUS:CONFIRMED
DTSTART:20141111T170000Z
DTEND:20141111T180000Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T121817Z
END:VEVENT
END:VCALENDAR