conf.researchr.org / 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
2025
2024
HATRA
IWACO
SPLASH
ECOOP
2023
HATRA
IWACO
SPLASH
ECOOP/ISSTA
- Speaker of Planning your dissertation topic within the Doctoral Symposium-track
- Panelist of Quantitative Robustness Analysis of Neural Networks within the Doctoral Symposium-track
- Panelist of Fairness Testing For Recommender Systems within the Doctoral Symposium-track
- Panelist of Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink within the Doctoral Symposium-track
EVCS
2022
HATRA
- 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
- 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
2021
HATRA
SPLASH
- 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)
ECOOP
Symposium on Practical Aspects of Declarative Languages
2020
SPLASH
- 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
2019
SPLASH
- 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
2018
PLATEAU
SPLASH
2017
NOOL
OCAP
SPLASH
- 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
2016
SPLASH
Parsing@SLE
2015
ECOOP
- 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)