| 2025 | ICSE | An Exploratory Study of ML Sketches and Visual Code Assistants. | Lus F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu |
| 2025 | ICSE | A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. | Ian McCormack, Joshua Sunshine, Jonathan Aldrich |
| 2024 | Onward | The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps. | Joo Costa Seco, Jonathan Aldrich |
| 2022 | Onward | Derivations with Holes for Concept-Based Program Synthesis. | Joo Costa Seco, Jonathan Aldrich, Lus Carvalho, Bernardo Toninho, Carla Ferreira |
| 2021 | ECOOP | Gradual Program Analysis for Null Pointers. | Sam Estep, Jenna Wise, Jonathan Aldrich, ric Tanter, Johannes Bader, Joshua Sunshine |
| 2021 | ICSA | Facilitating Connector Evolution With Architecture-Centric Development. | Selva Samuel, Jonathan Aldrich |
| 2021 | SLE | Integrating usability into programming language design (keynote). | Jonathan Aldrich |
| 2020 | APLAS | Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
| 2020 | OOPSLA | A case study in language-based security: building an I/O library for Wyvern. | Jennifer A. Fish, Darya Melicher, Jonathan Aldrich |
| 2019 | ICSE | Smarter smart contract development tools. | Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers |
| 2019 | UIST | A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. | Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers |
| 2018 | ICFEM | Capabilities: Effects for Free. | Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
| 2018 | OOPSLA | Interdisciplinary programming language design. | Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2018 | VMCAI | Gradual Program Verification. | Johannes Bader, Jonathan Aldrich, ric Tanter |
| 2017 | ECOOP | A Capability-Based Module System for Authority Control. | Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich |
| 2017 | ICSE | Glacier: transitive class immutability for Java. | Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2017 | POPL | Hazelnut: a bidirectionally typed structure editor calculus. | Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer |
| 2016 | ECOOP | Composing Interfering Abstract Protocols. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2016 | ESEM | Software Development Practices, Barriers in the Field and the Relationship to Software Quality. | Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff |
| 2016 | GPCE | Programmable semantic fragments: the design and implementation of typy. | Cyrus Omar, Jonathan Aldrich |
| 2016 | ICSE | Exploring language support for immutability. | Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull |
| 2016 | MSR | Inter-app communication in Android: developer challenges. | Waqar Ahmad, Christian Kstner, Joshua Sunshine, Jonathan Aldrich |
| 2015 | ECOOP | A Theory of Tagged Objects. | Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
| 2015 | PRDC | Cooperative Exceptions for Concurrent Objects. | Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich |
| 2015 | SAC | Composable and hygienic typed syntax macros. | Cyrus Omar, Chenglong Wang, Jonathan Aldrich |
| 2014 | ECOOP | Rely-Guarantee Protocols. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2014 | ECOOP | Safely Composable Type-Specific Languages. | Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich |
| 2014 | ECOOP | Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. | Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich |
| 2014 | FM | Object Propositions. | Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
| 2014 | ICSE | Collaborative infrastructure for test-driven scientific model validation. | Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin |
| 2014 | OOPSLA | Considering Productivity Effects of Explicit Type Declarations. | Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2014 | OOPSLA | Statically typed string sanitation inside a python. | Nathan Fulton, Cyrus Omar, Jonathan Aldrich |
| 2014 | OOPSLA | Wyvern: Impacting Software Security via Programming Language Design. | Darya Kurilova, Alex Potanin, Jonathan Aldrich |
| 2014 | OOPSLA | Usability Hypotheses in the Design of Plaid. | Joshua Sunshine, Jonathan Aldrich |
| 2014 | PLDI | minium: a permission based concurrent-by-default programming language approach. | Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich |
| 2013 | ECOOP | Type-directed, whitespace-delimited parsing for embedded DSLs. | Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich |
| 2013 | OOPSLA | The power of interoperability: why objects are inevitable. | Jonathan Aldrich |
| 2012 | ICSE | Statically checking API protocol conformance with mined multi-object specifications. | Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross |
| 2012 | OOPSLA | 19th international workshop on foundations of object-oriented languages (FOOL'12). | Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland |
| 2012 | POPL | A type system for borrowing permissions. | Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff |
| 2011 | ECOOP | An Empirical Study of Object Protocols in the Wild. | Nels E. Beckman, Duri Kim, Jonathan Aldrich |
| 2011 | ECOOP | Gradual Typestate. | Roger Wolff, Ronald Garcia, ric Tanter, Jonathan Aldrich |
| 2011 | ICSE | Permission-based programming languages. | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | OOPSLA | Plaid: a permission-based programming language. | Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | OOPSLA | 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. | Jonathan Aldrich, Jeremy G. Siek, Elena Zucca |
| 2011 | OOPSLA | Are object protocols burdensome?: an empirical study of developer forums. | Ciera Jaspan, Jonathan Aldrich |
| 2011 | OOPSLA | First-class state change in plaid. | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, ric Tanter |
| 2011 | OOPSLA | Changing state in the plaid language. | Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich |
| 2010 | ECOOP | Aliasing control with view-based typestate. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2010 | ECOOP | A theory of typestate-oriented programming. | Darpan Saini, Joshua Sunshine, Jonathan Aldrich |
| 2010 | OOPSLA | 2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. | Jonathan Aldrich, Jeremy G. Siek |
| 2009 | ECOOP | Practical API Protocol Checking with Access Permissions. | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
| 2009 | ECOOP | Checking Framework Interactions with Relationships. | Ciera Jaspan, Jonathan Aldrich |
| 2009 | ESOP | Is Structural Subtyping Useful? An Empirical Study. | Donna Malayeri, Jonathan Aldrich |
| 2009 | OOPSLA | Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. | Marwan Abi-Antoun, Jonathan Aldrich |
| 2009 | OOPSLA | Typestate-oriented programming. | Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks |
| 2009 | OOPSLA | CZ: multiple inheritance without diamonds. | Donna Malayeri, Jonathan Aldrich |
| 2009 | OOPSLA | Concurrency by default: using permissions to express dataflow in stateful programs. | Sven Stork, Paulo Marques, Jonathan Aldrich |
| 2008 | ECOOP | Integrating Nominal and Structural Subtyping. | Donna Malayeri, Jonathan Aldrich |
| 2008 | ICFP | SASyLF: an educational proof assistant for language theory. | Jonathan Aldrich, Robert J. Simmons, Key Shin |
| 2008 | ICSE | PLURAL: checking protocol compliance under aliasing. | Kevin Bierhoff, Jonathan Aldrich |
| 2008 | OOPSLA | Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. | Marwan Abi-Antoun, Jonathan Aldrich |
| 2008 | OOPSLA | Tool support for the static extraction of sound hierarchical representations of runtime object graphs. | Marwan Abi-Antoun, Jonathan Aldrich |
| 2008 | OOPSLA | Verifying correct usage of atomic blocks and typestate. | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
| 2007 | ECOOP | Assuring Object-Oriented Architecture. | Jonathan Aldrich |
| 2007 | OOPSLA | Modular typestate checking of aliased objects. | Kevin Bierhoff, Jonathan Aldrich |
| 2007 | OOPSLA | Checking framework plugins. | Ciera Jaspan, Jonathan Aldrich |
| 2007 | OOPSLA | Combining structural subtyping and external dispatch. | Donna Malayeri, Jonathan Aldrich |
| 2006 | OOPSLA | Bringing ownership domains to mainstream Java. | Marwan Abi-Antoun, Jonathan Aldrich |
| 2006 | OOPSLA | A static analysis for extracting runtime views from annotated object-oriented code. | Marwan Abi-Antoun, Jonathan Aldrich |
| 2006 | OOPSLA | Young guns/object orientation: the next generation. | Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri |
| 2005 | ECOOP | Open Modules: Modular Reasoning About Advice. | Jonathan Aldrich |
| 2005 | ECOOP | Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. | Lee Salzman, Jonathan Aldrich |
| 2005 | ICSE | Modeling and implementing software architecture with acme and archJava. | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
| 2005 | ICSE | Improving system dependability by enforcing architectural intent. | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
| 2005 | PLDI | Permission-based ownership: encapsulating state in higher-order typed languages. | Neelakantan R. Krishnaswami, Jonathan Aldrich |
| 2004 | ECOOP | Ownership Domains: Separating Aliasing Policy from Mechanism. | Jonathan Aldrich, Craig Chambers |
| 2004 | ICSE | DiscoTect: A System for Discovering Architectures from Running Systems. | Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman |
| 2004 | OOPSLA | Modeling and implementing software architecture with acme and archJava. | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
| 2004 | OOPSLA | Modeling and implementing software architecture with acme and archJava. | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
| 2003 | ECOOP | Language Support for Connector Abstractions. | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
| 2002 | ECOOP | Architectural Reasoning in ArchJava. | Jonathan Aldrich, Craig Chambers, David Notkin |
| 2002 | ICSE | ArchJava: connecting software architecture to implementation. | Jonathan Aldrich, Craig Chambers, David Notkin |
| 2002 | OOPSLA | Alias annotations for program understanding. | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
| 1999 | SAS | Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. | Jonathan Aldrich, Craig Chambers, Emin Gn Sirer, Susan J. Eggers |