Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 17:55 - 18:05 at Regency C - Business Meeting and Awards

Jonathan Aldrich is Associate Professor of Computer Science at Carnegie Mellon University. He is the director of CMU’s Software Engineering Ph.D. program, and teaches courses in programming languages, software engineering, and program analysis for quality and security. In addition, he serves as a consultant on architecture, design, and legal issues in the software industry. Dr. Aldrich joined the CMU faculty after completing a Ph.D. at the University of Washington and a B.S. at Caltech.

Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. For his work on software architecture, Aldrich received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize, given annually for a significant technical contribution to object-oriented programming. He is currently performing research on extensible programming languages, analysis and type systems for security and productivity, and foundations of object-oriented programming.

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

17:30 - 18:30: Business Meeting and AwardsKeynotes at Regency C
17:30 - 17:45
Talk
SPLASH Steering Committee Report
Keynotes
S: Tony HoskingAustralian National University / Data61
17:45 - 17:55
Talk
SPLASH 2017 General Chairs Report
Keynotes
G: Gail MurphyUniversity of British Columbia
17:55 - 18:05
Talk
OOPSLA 2017 Program Chair's Report
Keynotes
O: Jonathan AldrichCarnegie Mellon University
18:05 - 18:15
Talk
Onward! Program Chairs' Report
Keynotes
O: Emina TorlakUniversity of Washington, O: Robert BiddleCarleton University
18:15 - 18:30
Talk
SIGPLAN Town Hall
Keynotes
Yannis SmaragdakisUniversity of Athens