SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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.

Affiliation:Carnegie Mellon University
Research interests:Programming Languages, Software Engineering, Verification, Security

Contributions

SPLASH 2020 Mentor in Mentors within the PLMW-track
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Committee Member in External Review Committee within the OOPSLA-track
Session Chair of F-5A (part of OOPSLA)
Gradual Verification of Recursive Heap Data Structures
Steering Committee Chair in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Steering Committee
Session Chair of M-5 (part of OOPSLA)
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Steering Committee Chair in Onward! Steering Committee within the Onward! Papers-track
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Gradual Verification of Recursive Heap Data Structures
GPCE 2020 Session Chair of (part of GPCE)
HATRA 2020 User-Centered Programming Language Design: A Course-Based Case Study
SLE 2020 Committee Member in Program Committee within the SLE-track
Show activities from other conferences

SPLASH 2020-profile
View general profile