BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Andrew Myers
DESCRIPTION:Title: Five New Programming Models for Trustworthy
	 Computing\nSpeaker: Andrew Myers\nAbstract: Computing systems keep
	 growing bigger\, more complex\, and more critical. Modern applications
	 are geo-distributed and concurrent and are built on complex distributed
	 and cryptographic protocols.  Increasingly they are integrated across
	 organizational boundaries and with blockchain. Building these
	 applications keeps getting harder\, but programmers aren't becoming any
	 smarter. Something has to give.\n\nOur philosophy is that developers
	 should have a higher-level programming model\, and the compiler and
	 run-time system should figure out how to map high-level programs onto
	 the available resources for computing and storage\, as automatically as
	 possible. Here are some of the challenging problems that arise:\n\n*
	 Simple\, high-performance abstractions for stateful distributed
	 programming\n\n  We are exploring new abstractions for transactional
	 programming that offer strong atomicity and isolation guarantees but
	 don't pay the huge latency penalties of traditional transactions. The
	 core insight is to only enforce the consistency applications really
	 need\, which the programming model can expose.\n\n* Compiling to
	 advanced crypto primitives\n\n  Security-typed program code appears to
	 provide the information needed to automatically generate various
	 cryptographic primitives in the back end of the compiler. These include
	 commitment\, zero-knowledge proofs\, multiparty computation\, and
	 homomorphic encryption. Programming gets easier and programmers don't
	 have to worry about making mistakes using crypto.\n\n* A new language
	 for blockchain programming\n\n  Blockchain systems are fully
	 decentralized and involve interaction of code - \"smart contracts\" -
	 and data from distrusting players. Existing programming models don't
	 help us build smart contracts correctly or figure out how to interface
	 them to off-chain applications. We've used security type systems to
	 build secure decentralized code before\, but smart contracts create new
	 challenges.\n\n* Secure hardware\n\n  When security of the whole stack
	 is the goal\, hardware matters too.  We are developing new secure
	 processors using new hardware description languages that let designers
	 verify lack of timing channels and other vulnerabilities.  A new
	 challenge is how to design operating systems that virtualize these
	 strong hardware-level protection mechanisms.\n\n* Secure cyberphysical
	 systems\n\n  Messy\, complex\, and dangerously buggy software is
	 controlling vehicles and other safety-critical systems. We are exploring
	 new programming models for these systems based on controlling
	 information flow at the software and hardware levels. We have two robots
	 running our code already!
LOCATION:Gates 122
UID:2017-11-21
STATUS:CONFIRMED
DTSTART:20171121T170000Z
DTEND:20171121T180000Z
LAST-MODIFIED:20171120T170940Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T171450Z
END:VEVENT
END:VCALENDAR