Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Jonathan Aldrich

Registered user since Wed 4 Jun 2014

Name: Jonathan Aldrich

Bio: 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.

Country: United States

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~aldrich/

Research interests: Programming Languages, Software Engineering, Verification, Security

Contributions

DSLDI 2017Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
NOOL 2017Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track
OCAP 2017Author of Capabilities and Effects within the OCAP 2017-track
Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track
PLATEAU 2017Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
Onward! 2017Steering Committee Member in Steering Committee
SPLASH 2017Presenter of OOPSLA Awards within the Keynotes-track
OOPSLA 2017 PC Chair of OOPSLA 2017 Program Chair's Report within the Keynotes-track
OOPSLA PC Chair in Organizing Committee
OOPSLA 2017 PC Chair in Steering Committee
Program Chair in Program Committee within the OOPSLA-track
Session Chair of Dynamic Analysis (part of OOPSLA)
OOPSLA 2017 PC Chair of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track
Session Chair of Usability and Deadlock (part of OOPSLA)
Show activities from other conferences

SPLASH 2017-profile
View general profile