Abstraction in Language and Systems: A Symposium in Honor of Barbara Liskov

Thursday, April 27, 2023
9:30 AM to 12:30 PM
Berger Auditorium | Skirkanich Hall | 210 S 33rd Street

Sponsored by:
The Franklin Institute
University of Pennsylvania, Department of Computer and Information Science, School of Engineering and Applied Science

Light Refreshments will be served | Zoom Access

Greetings:

Prof. Mitch Marcus and Dr. Darryl Williams, Senior VP for Science and Education, Franklin Institute

Talks:

ORDERRRR!!! State Machine Replication in the Age of Blockchains
Prof. Lorenzo Alvisi, Cornell University

 Atomicity in Argus and Beyond
Prof. Maurice Herlihy, Brown University

Exceptions, Effects, and Abstraction
Prof. Andrew Myers, Cornell University

Reflections on a Career in Computer Science
Prof. Barbara Liskov, Laureate, Massachusetts Institute of Technology

Moderators: 

Profs. Benjamin Pierce, Stephanie Weirich, and Steve Zdancewic