DLS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
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
Research interests:Programming Languages, Software Engineering, Verification, Security

Contributions

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

SPLASH 2017-profile
View general profile