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

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

Research interests: Programming Languages, Software Engineering, Verification, Security

Contributions

SPLASH 2020Committee Member in Steering Committee
POPL 2020Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
Onward! 2019
GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
SPLASH 2019Committee Member in Program Committee within the Doctoral Symposium-track
Author of Gradual Program Analysis within the Posters-track
Steering Committee Chair in Steering Committee
Session Chair of Corpus Studies (part of OOPSLA)
Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
Author of Gradual Program Analysis within the SRC-track
Steering Committee Chair in Onward! Steering Committee within the Onward! Essays-track
Author in Onward! Steering Committee within the Onward! Papers-track
PLATEAU 2018Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-track
OCAP 2018Author of Ocaps & Crypto-commerce within the OCAP 2018-track
Onward! 2018Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track
Session Chair of Language Design 2 (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Committee Member in Steering Committee
ICSE 2019Committee Member in Program Committee within the Technical Track-track
VMCAI 2018Author of Gradual Program Verification within the VMCAI 2018-track
DSLDI 2017Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
NOOL 2017Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track
OCAP 2017Author of Capabilities and Effects within the OCAP 2017-track
Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track
PLATEAU 2017Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
ICFP 2018Author of Reasonably Programmable Literal Notation within the Research Papers-track
Onward! 2017Steering Committee Member in Steering Committee
Off the Beaten Track 2017Author of Designing extensible, domain-specific languages for mathematical diagrams within the OBT-track
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
OOPSLA 2016 PC MeetingSpeaker of Architectural Security via Capability-Based Modules in Wyvern within the Workshop-track
POPL 2017Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
SPLASH 2017Presenter of OOPSLA Awards within the Keynotes-track
OOPSLA 2017 PC Chair of OOPSLA 2017 Program Chair's Report within the Keynotes-track
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 2017 PC Chair of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track
Session Chair of Usability and Deadlock (part of OOPSLA)
ECOOP 2017Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track
Committee Member in Mentors within the ECOOP Summer School-track
GPCE 2016Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-track
ECOOP 2016Author of Composing Interfering Abstract Protocols within the Research Track-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
DSLDI 2015Panelist of Panel Discussion: Language Composition within the DSLDI-track
FTfJP 2015Author of Delegation vs Inheritance for Typestate Analysis within the FTfJP-track
Onward! 2015General Chair in Organizing Committee
FOOLAuthor of The Success, Failure, and Future of Distributed Objects within the FOOL-track
Committee Member in Organizing Committee within the FOOL-track
SPLASH 2015SPLASH 2015 General Chair in Steering Committee
General Chair in Organizing Committee
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
ECOOP 2015Author of A Theory of Tagged Objects within the Artifacts-track
Author of A Theory of Tagged Objects within the Research Track-track
Invited Guest of Tales from Dissertationland and the Job Hunt within the Doctoral Symposium-track
Invited Guest in Academic Panel within the Doctoral Symposium-track
Session Chair of Empirical Studies (part of Research Track)
Onward! 2014Committee 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)
GPCE 2013Committee Member in Program Committee within the Research Papers-track
Onward! 2013Author of The Power of Interoperability: Why Objects Are Inevitable within the Onward! Essays-track
SPLASH 2013
Chair in Committee within the Tutorials-track
Committee Member in Program Committee within the GPCE-track
FOOL 2012Committee Member in Program Committee within the FOOL 2012-track
Organizer in Organizers within the FOOL 2012-track
Steering Committee Member in Steering Committee within the FOOL 2012-track
SPLASH 2012Committee Member in Program Committee
Committee Member in Program Committee within the OOPSLA Research Papers-track