Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
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 Ph.D. and undergraduate minor programs in Software Engineering, 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. Current areas of research focus include extensible programming languages, analysis and type systems for security and productivity, and foundations of object-oriented programming.

Affiliation: Carnegie Mellon University

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

Contributions

META 2016Author of Capability Safe Reflection for the Wyvern Language within the Meta 2016-track
NOOL 2016Author of Delegation Revisited within the NOOL-track
Parsing@SLE 2016Author of Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern within the Parsing@SLE-track
DSLDI 2016Author of Naturally Embedded DSLs within the DSLDI-track
GPCE 2016Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-track
SPLASH 2016Session Chair of Semantics and Verification (part of OOPSLA)
Committee Member in Program Committee within the OOPSLA-track
SPLASH 2015 General Chair in Steering Committee
Show activities from other conferences

SPLASH 2016-profile
View general profile