SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Jonathan Aldrich

Registered user since Wed 4 Jun 2014

Name: Jonathan Aldrich

Bio: I am an Associate Professor, Director of Software Engineering Minor and co-Director of the Software Engineering Ph.D. program at Carnegie Mellon University, PA, USA.

Research Interests: My research goal is to improve the quality of software and the productivity of engineers by providing novel ways to express and enforce structural and behavioral aspects of software design within source code, typically through language design and type systems. I have contributed to object-oriented typestate verification, modular reasoning techniques for aspects and stateful programs, and new object-oriented language models. For my work specifying and verifying architecture, I received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize (press release, article). Right now I’m excited to be working on the design of the Plaid programming language!

Country: United States

Affiliation: Carnegie Mellon University

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

Contributions

FOOLAuthor of The Success, Failure, and Future of Distributed Objects within the FOOL-track
Committee Member in Organizing Committee within the FOOL-track
PLATEAUAuthor of Wyvern: Impacting Software Security via Programming Language Design within the PLATEAU-track
Author of Usability Hypotheses in the Design of Plaid within the PLATEAU-track
Author of Considering Productivity Effects of Explicit Type Declarations within the PLATEAU-track
DSLDIAuthor of Composable Syntax Macros within the DSLDI-track
Onward!Committee Member in Steering Committee
Session Chair of Session 1 (part of Onward! Essays)
Committee Member in Program Committee within the Onward! Essays-track
SPLASH 2014Session Chair of Onward! SC Meeting (part of Administration)
Session Chair of SPLASH 2015 OC Meeting (part of Administration)
Show activities from other conferences

SPLASH 2014-profile
View general profile