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