Jonathan Aldrich -

Registered user since Wed 4 Jun 2014

Name:Jonathan Aldrich

Bio:

Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University. He teaches courses in programming languages, software engineering, and program analysis for quality and security. Prof. Aldrich directed CMU’s Software Engineering Ph.D. program from 2013-2019.

Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations and human factors. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. His notable awards include an NSF CAREER award (2006), the Dahl-Nygaard Junior Prize (2007), the DARPA Computer Science Study Group, and an ICSE most influential paper award (2012). He served as general chair (2015), program chair (2017), and steering committee chair (2017-2019) of SPLASH and OOPSLA. Aldrich holds a bachelor’s degree in Computer Science from Caltech and a Ph.D. from the University of Washington.

Country:United States

Affiliation:Carnegie Mellon University

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

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

Contributions

‹Programming› 2024	Committee Member in Program Committee within the Research Papers-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
EVCS	Session Chair of Session 1: Reflections & Workbenches (part of Eelco Visser Commemorative Symposium) Committee Member in Program and Organizing Committee within the Eelco Visser Commemorative Symposium-track
POPL 2023	Author of Using a Proof Assistant to Teach PL Theory, Without the Overhead within the TutorialFest-track
APLAS 2022	Session Chair of Testing and Verification (part of APLAS)
HATRA 2022	Committee Member in Organizing Committee within the Human Aspects of Types and Reasoning Assistants-track Session Chair of In-Person Talks (part of Human Aspects of Types and Reasoning Assistants) Author of Discussion within the Human Aspects of Types and Reasoning Assistants-track Author of Static Information Flow Control Made Simple within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022	Author of Derivations with Holes for Concept-Based Program Synthesis within the Onward! Papers-track Session Chair of PLDI Papers (part of COVID Time Papers In Person) Committee Member in Program Committee within the Doctoral Symposium-track Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the COVID Time Papers In Person-track Session Chair of Session 2 (part of Onward! Essays) Session Chair of SPLASH Keynote (part of Keynotes) Organizer of Human Aspects of Types and Reasoning Assistants (HATRA) within the Workshops-track Hybridisation Co-Chair in Organizing Committee
FormaliSE 2022	Keynote Speaker of Integrating Usability into Language and Type System Design within the FormaliSE 2022-track
‹Programming› 2022	Committee Member in Research Papers within the Research Papers-track
HATRA 2021	Author of Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory within the HATRA 2021-track Author of An Empirical Study of Protocols in Smart Contracts within the HATRA 2021-track Session Chair of Novel Interfaces and Discussion (part of HATRA 2021)
SPLASH 2021	Mentor in Organizing Committee and Mentors within the Faculty Mentorship Roundtable-track Co-chair in Chairs within the SIGPLAN Papers-track Invited Speaker of Navigating your thesis and job search: sustainability and standing out [Invited Talk] within the Doctoral Symposium-track Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the SIGPLAN Papers-track Author of Future of Conferences within the SIGPLAN Business-track Committee Member in External Review Committee within the OOPSLA-track Carnegie Mellon University in Onward! Steering Committee within the Onward! Papers-track Carnegie Mellon University in Onward! Steering Committee within the Onward! Essays-track Session Chair of Synthesis of models, tools and programs (part of OOPSLA) Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track Hybridization Co-Chair in Organizing Committee Session Chair of AMA Session (part of Ask Me Anything (AMA)) Session Chair of SPLASH Keynote (part of Keynotes) Session Chair of SPLASH Keynote (part of Keynotes)
SLE 2021	Keynote Speaker of SLE Keynote - Integrating Usability into Programming Language Design within the SLE-track
ICOOOLPS 2021	Author of A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications within the ICOOOLPS-track
ECOOP 2021	Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track PC Member in Program Committee within the ECOOP Technical Papers-track
PADL 2021	Author of Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) within the PADL 2021-track
APLAS 2020	Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
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
GPCE 2020	Session Chair of (part of GPCE)
HATRA 2020	Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track
SLE 2020	Committee Member in Program Committee within the SLE-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
WGT 2020	Author of Gradual Program Analysis within the WGT-track Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
APLAS 2019	Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-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
GPCE 2019	Committee Member in Program Committee within the GPCE 2019-track
ICSE 2019	Committee Member in Program Committee within the Technical Track-track
OCAP 2018	Author of Ocaps & Crypto-commerce within the OCAP 2018-track
PLATEAU 2018	Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-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
Onward! 2018	Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
ICFP 2018	Author of Reasonably Programmable Literal Notation within the Research Papers-track
VMCAI 2018	Author of Gradual Program Verification within the VMCAI 2018-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
Onward! 2017	Steering Committee Member in Steering Committee
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)
PLATEAU 2017	Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
DSLDI 2017	Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
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
POPL 2017	Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
Off the Beaten Track 2017	Author of Designing extensible, domain-specific languages for mathematical diagrams within the OBT-track
DSLDI 2016	Author of Naturally Embedded DSLs within the DSLDI-track
META 2016	Author of Capability Safe Reflection for the Wyvern Language within the Meta 2016-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
GPCE 2016	Author of Programmable Semantic Fragments: The Design and Implementation of typy within the GPCE-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
ECOOP 2016	Author of Composing Interfering Abstract Protocols within the Research Track-track
OOPSLA 2016 PC Meeting	Speaker of Architectural Security via Capability-Based Modules in Wyvern within the Workshop-track
SPLASH 2015	SPLASH 2015 General Chair in Steering Committee General Chair in Organizing Committee
Onward! 2015	General Chair in Organizing Committee
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)
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
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 2014	Session Chair of Onward! SC Meeting (part of Administration) Session Chair of SPLASH 2015 OC Meeting (part of Administration)
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
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
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
SPLASH 2012	Committee Member in Program Committee Committee Member in Program Committee within the OOPSLA Research Papers-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
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