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

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

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

Contributions

SPLASH 2010
PADL 2021 Author of Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) within the PADL 2021-track
HATRA 2020 Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track
APLAS 2020 Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Research Papers-track
SLE 2020 Committee Member in Program Committee within the SLE-track
GPCE 2020 Session Chair of (part of GPCE)
SPLASH 2020 Mentor in Mentors within the PLMW-track
Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Onward! Papers-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Session Chair of F-5A (part of OOPSLA)
Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track
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)
Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Posters-track
Steering Committee Chair in Onward! Steering Committee within the Onward! Papers-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track
Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
WGT 2020 Author of Gradual Program Analysis within the WGT-track
Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
ICFP 2020 Presenter of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track
POPL 2020 Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019 Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
Onward! 2019
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
SPLASH 2019 Committee 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 2018 Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-track
OCAP 2018 Author of Ocaps & Crypto-commerce within the OCAP 2018-track
Onward! 2018 Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018 Author 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 2019 Committee Member in Program Committee within the Technical Track-track
VMCAI 2018 Author of Gradual Program Verification within the VMCAI 2018-track
DSLDI 2017 Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
NOOL 2017 Panelist 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 2017 Author 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 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
ICFP 2018 Author of Reasonably Programmable Literal Notation within the Research Papers-track
Onward! 2017 Steering Committee Member in Steering Committee
Off the Beaten Track 2017 Author of Designing extensible, domain-specific languages for mathematical diagrams within the OBT-track
META 2016 Author of Capability Safe Reflection for the Wyvern Language within the Meta 2016-track
NOOL 2016 Author of Delegation Revisited within the NOOL-track
Parsing@SLE 2016 Author of Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern within the Parsing@SLE-track
DSLDI 2016 Author of Naturally Embedded DSLs within the DSLDI-track
OOPSLA 2016 PC Meeting Speaker of Architectural Security via Capability-Based Modules in Wyvern within the Workshop-track
POPL 2017 Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
SPLASH 2017 Presenter 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 2017 Author 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 2016 Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-track
ECOOP 2016 Author of Composing Interfering Abstract Protocols within the Research Track-track
SPLASH 2016 Session 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 2015 Panelist of Panel Discussion: Language Composition within the DSLDI-track
FTfJP 2015 Author of Delegation vs Inheritance for Typestate Analysis within the FTfJP-track
Onward! 2015 General Chair in Organizing Committee
FOOL Author of The Success, Failure, and Future of Distributed Objects within the FOOL-track
Committee Member in Organizing Committee within the FOOL-track
SPLASH 2015 SPLASH 2015 General Chair in Steering Committee
General Chair in Organizing Committee
PLATEAU Author 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
DSLDI Author of Composable Syntax Macros within the DSLDI-track
ECOOP 2015 Author 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! 2014 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 2014 Session Chair of Onward! SC Meeting (part of Administration)
Session Chair of SPLASH 2015 OC Meeting (part of Administration)
GPCE 2013 Committee Member in Program Committee within the Research Papers-track
Onward! 2013 Author 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 2012 Committee 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 2012 Committee Member in Program Committee
Committee Member in Program Committee within the OOPSLA Research Papers-track
FOOL 2011 Organization Co-chair in Organizing Committee within the FOOL 2011-track
SPLASH 2011 Presenter of Plaid: a Permission-Based Programming Language within the Posters-track
Author of First-Class State Change in Plaid within the OOPSLA-track
Doctoral Symposium in Organizing Committee
General Chair in Doctoral Symposium Committee within the Doctoral Symposium-track