Providing Easier Access to Remote Objects in Client-Server Systems. - Jonathan Aldrich; James Dooley; Scott Mandelsohn; Adam Rifkin (HICSS (7), 1998)

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. - Jonathan Aldrich; Craig Chambers; Emin Gün Sirer; Susan J. Eggers (SAS, 1999)

Architectural Reasoning in ArchJava. - Jonathan Aldrich; Craig Chambers; David Notkin (ECOOP, 2002)

ArchJava: connecting software architecture to implementation. - Jonathan Aldrich; Craig Chambers; David Notkin (ICSE, 2002)

Alias annotations for program understanding. - Jonathan Aldrich; Valentin Kostadinov; Craig Chambers (OOPSLA, 2002)

Architecture-centric programming for adaptive systems. - Jonathan Aldrich; Vibha Sazawal; Craig Chambers; David Notkin (WOSS, 2002)

Language Support for Connector Abstractions. - Jonathan Aldrich; Vibha Sazawal; Craig Chambers; David Notkin (ECOOP, 2003)

Comprehensive synchronization elimination for Java. - Jonathan Aldrich; Emin Gün Sirer; Craig Chambers; Susan J. Eggers (Sci. Comput. Program., 2003)

Using types to enforce architectural structure. - Jonathan Aldrich (2003)

Ownership Domains: Separating Aliasing Policy from Mechanism. - Jonathan Aldrich; Craig Chambers (ECOOP, 2004)

DiscoTect: A System for Discovering Architectures from Running Systems. - Hong Yan 002; David Garlan; Bradley R. Schmerl; Jonathan Aldrich; Rick Kazman (ICSE, 2004)

Modeling and implementing software architecture with acme and archJava. - Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Tony Tseng (OOPSLA Companion, 2004)

Open Modules: Modular Reasoning About Advice. - Jonathan Aldrich (ECOOP, 2005)

Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. - Lee Salzman; Jonathan Aldrich (ECOOP, 2005)

Modeling and implementing software architecture with acme and archJava. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ICSE, 2005)

Permission-based ownership: encapsulating state in higher-order typed languages. - Neelakantan R. Krishnaswami; Jonathan Aldrich (PLDI, 2005)

Lightweight object specification with typestates. - Kevin Bierhoff; Jonathan Aldrich (ESEC/SIGSOFT FSE, 2005)

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas (WICSA, 2005)

Improving system dependability by enforcing architectural intent. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ACM SIGSOFT Softw. Eng. Notes, 2005)

Practical Exception Specifications. - Donna Malayeri; Jonathan Aldrich (Advanced Topics in Exception Handling Techniques, 2006)

Bringing ownership domains to mainstream Java. - Marwan Abi-Antoun; Jonathan Aldrich (OOPSLA Companion, 2006)

A static analysis for extracting runtime views from annotated object-oriented code. - Marwan Abi-Antoun; Jonathan Aldrich (OOPSLA Companion, 2006)

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 (OOPSLA Companion, 2006)

Discovering Architectures from Running Systems. - Bradley R. Schmerl; Jonathan Aldrich; David Garlan; Rick Kazman; Hong Yan 002 (IEEE Trans. Software Eng., 2006)

Assuring Object-Oriented Architecture. - Jonathan Aldrich (ECOOP, 2007)

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. - Marwan Abi-Antoun; Jonathan Aldrich (ASE, 2007)

Modular typestate checking of aliased objects. - Kevin Bierhoff; Jonathan Aldrich (OOPSLA, 2007)

Checking framework plugins. - Ciera Jaspan; Jonathan Aldrich (OOPSLA Companion, 2007)

Combining structural subtyping and external dispatch. - Donna Malayeri; Jonathan Aldrich (OOPSLA Companion, 2007)

Specification and verification of component-based systems 2007. - Jonathan Aldrich; Michael Barnett 001; Dimitra Giannakopoulou; Gary T. Leavens; Natasha Sharygina (ESEC/SIGSOFT FSE, 2007)

A case study in re-engineering to enforce architectural control flow and data sharing. - Marwan Abi-Antoun; Jonathan Aldrich; Wesley Coelho (J. Syst. Softw., 2007)

Integrating Nominal and Structural Subtyping. - Donna Malayeri; Jonathan Aldrich (ECOOP, 2008)

SASyLF: an educational proof assistant for language theory. - Jonathan Aldrich; Robert J. Simmons; Key Shin (FDPE@ICFP, 2008)

PLURAL: checking protocol compliance under aliasing. - Kevin Bierhoff; Jonathan Aldrich (ICSE Companion, 2008)

Error Reporting Logic. - Ciera Jaspan; Trisha Quan; Jonathan Aldrich (ASE, 2008)

Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. - Marwan Abi-Antoun; Jonathan Aldrich (OOPSLA Companion, 2008)

Tool support for the static extraction of sound hierarchical representations of runtime object graphs. - Marwan Abi-Antoun; Jonathan Aldrich (OOPSLA Companion, 2008)

Verifying correct usage of atomic blocks and typestate. - Nels E. Beckman; Kevin Bierhoff; Jonathan Aldrich (OOPSLA, 2008)

A field study in static extraction of runtime architectures. - Marwan Abi-Antoun; Jonathan Aldrich (PASTE, 2008)

Using Types to Enforce Architectural Structure. - Jonathan Aldrich (WICSA, 2008)

Differencing and merging of architectural views. - Marwan Abi-Antoun; Jonathan Aldrich; Nagi H. Nahas; Bradley R. Schmerl; David Garlan (Autom. Softw. Eng., 2008)

Practical API Protocol Checking with Access Permissions. - Kevin Bierhoff; Nels E. Beckman; Jonathan Aldrich (ECOOP, 2009)

Checking Framework Interactions with Relationships. - Ciera Jaspan; Jonathan Aldrich (ECOOP, 2009)

Is Structural Subtyping Useful? An Empirical Study. - Donna Malayeri; Jonathan Aldrich (ESOP, 2009)

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. - Marwan Abi-Antoun; Jonathan Aldrich (OOPSLA, 2009)

Typestate-oriented programming. - Jonathan Aldrich; Joshua Sunshine; Darpan Saini; Zachary Sparks (OOPSLA Companion, 2009)

CZ: multiple inheritance without diamonds. - Donna Malayeri; Jonathan Aldrich (OOPSLA, 2009)

Concurrency by default: using permissions to express dataflow in stateful programs. - Sven Stork; Paulo Marques; Jonathan Aldrich (OOPSLA Companion, 2009)

Typestate protocol specification in JML. - Taekgoo Kim; Kevin Bierhoff; Jonathan Aldrich; Sungwon Kang (SAVCBS, 2009)

Static extraction of sound hierarchical runtime object graphs. - Marwan Abi-Antoun; Jonathan Aldrich (TLDI, 2009)

Design patterns in separation logic. - Neelakantan R. Krishnaswami; Jonathan Aldrich; Lars Birkedal; Kasper Svendsen; Alexandre Buisse (TLDI, 2009)

Aliasing control with view-based typestate. - Filipe Militão; Jonathan Aldrich; Luís Caires (FTfJP@ECOOP, 2010)

A theory of typestate-oriented programming. - Darpan Saini; Joshua Sunshine; Jonathan Aldrich (FTfJP@ECOOP, 2010)

2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. - Jonathan Aldrich; Jeremy G. Siek (SPLASH/OOPSLA Companion, 2010)

Verifying event-driven programs using ramified frame properties. - Neel Krishnaswami; Lars Birkedal; Jonathan Aldrich (TLDI, 2010)

An Empirical Study of Object Protocols in the Wild. - Nels E. Beckman; Duri Kim; Jonathan Aldrich (ECOOP, 2011)

Gradual Typestate. - Roger Wolff; Ronald Garcia; Éric Tanter; Jonathan Aldrich (ECOOP, 2011)

Permission-based programming languages. - Jonathan Aldrich; Ronald Garcia; Mark Hahnenberg; Manuel Mohr; Karl Naden; Darpan Saini; Sven Stork; Joshua Sunshine; Éric Tanter; Roger Wolff (ICSE, 2011)

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 (OOPSLA Companion, 2011)

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. - Jonathan Aldrich; Jeremy G. Siek; Elena Zucca (OOPSLA Companion, 2011)

Are object protocols burdensome?: an empirical study of developer forums. - Ciera Jaspan; Jonathan Aldrich (PLATEAU, 2011)

First-class state change in plaid. - Joshua Sunshine; Karl Naden; Sven Stork; Jonathan Aldrich; Éric Tanter (OOPSLA, 2011)

Changing state in the plaid language. - Joshua Sunshine; Sven Stork; Karl Naden; Jonathan Aldrich (OOPSLA Companion, 2011)

Statically checking API protocol conformance with mined multi-object specifications. - Michael Pradel; Ciera Jaspan; Jonathan Aldrich; Thomas R. Gross (ICSE, 2012)

19th international workshop on foundations of object-oriented languages (FOOL'12). - Jeremy G. Siek; Jonathan Aldrich; John Tang Boyland (SPLASH, 2012)

A type system for borrowing permissions. - Karl Naden; Robert Bocchino; Jonathan Aldrich; Kevin Bierhoff (POPL, 2012)

Verification of Snapshotable Trees Using Access Permissions and Typestate. - Hannes Mehnert; Jonathan Aldrich (TOOLS (50), 2012)

Introducing tool-supported architecture review into software design education. - Yuanfang Cai; Rick Kazman; Ciera Jaspan; Jonathan Aldrich (CSEE&T, 2013)

Type-directed, whitespace-delimited parsing for embedded DSLs. - Cyrus Omar; Benjamin Chung; Darya Kurilova; Alex Potanin; Jonathan Aldrich (GlobalDSL@ECOOP, 2013)

The power of interoperability: why objects are inevitable. - Jonathan Aldrich (Onward!, 2013)

A Retrospective on Aliasing Type Systems: 2012-2022. - Jonathan Aldrich (Aliasing in Object-Oriented Programming, 2013)

Rely-Guarantee Protocols. - Filipe Militão; Jonathan Aldrich; Luís Caires (ECOOP, 2014)

Safely Composable Type-Specific Languages. - Cyrus Omar; Darya Kurilova; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (ECOOP, 2014)

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. - Joshua Sunshine; James D. Herbsleb; Jonathan Aldrich (ECOOP, 2014)

Object Propositions. - Ligia Nistor; Jonathan Aldrich; Stephanie Balzer; Hannes Mehnert (FM, 2014)

Type-specific languages to fight injection attacks. - Darya Kurilova; Cyrus Omar; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (HotSoS, 2014)

In-nimbo sandboxing. - Michael Maass; William L. Scherlis; Jonathan Aldrich (HotSoS, 2014)

Collaborative infrastructure for test-driven scientific model validation. - Cyrus Omar; Jonathan Aldrich; Richard C. Gerkin (ICSE Companion, 2014)

Considering Productivity Effects of Explicit Type Declarations. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (PLATEAU, 2014)

Statically typed string sanitation inside a python. - Nathan Fulton; Cyrus Omar; Jonathan Aldrich (PSP, 2014)

Wyvern: Impacting Software Security via Programming Language Design. - Darya Kurilova; Alex Potanin; Jonathan Aldrich (PLATEAU, 2014)

Usability Hypotheses in the Design of Plaid. - Joshua Sunshine; Jonathan Aldrich (PLATEAU, 2014)

Substructural typestates. - Filipe Militão; Jonathan Aldrich; Luís Caires (PLPV, 2014)

Brazilian Symposium on Programming Languages (SBLP 2010). - Jonathan Aldrich; Ricardo Massa Ferreira Lima (Sci. Comput. Program., 2014)

A case study on the lightweight verification of a multi-threaded task server. - Néstor Cataño; Ijaz Ahmed; Radu I. Siminiceanu; Jonathan Aldrich (Sci. Comput. Program., 2014)

Foundations of Typestate-Oriented Programming. - Ronald Garcia; Éric Tanter; Roger Wolff; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2014)

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. - Sven Stork; Karl Naden; Joshua Sunshine; Manuel Mohr; Alcides Fonseca; Paulo Marques; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2014)

A Theory of Tagged Objects. - Joseph Lee; Jonathan Aldrich; Troy Shaw; Alex Potanin (ECOOP, 2015)

Searching the state space: a qualitative study of API protocol usability. - Joshua Sunshine; James D. Herbsleb; Jonathan Aldrich (ICPC, 2015)

Cooperative Exceptions for Concurrent Objects. - Bruno Cabral 001; Alcides Fonseca; Paulo Marques; Jonathan Aldrich (PRDC, 2015)

Composable and hygienic typed syntax macros. - Cyrus Omar; Chenglong Wang; Jonathan Aldrich (SAC, 2015)

A course-based usability analysis of Cilk Plus and OpenMP. - Michael J. Coblenz; Robert C. Seacord; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (VL/HCC, 2015)

A Theory of Tagged Objects (Artifact). - Joseph Lee; Jonathan Aldrich; Troy Shaw; Alex Potanin; Benjamin Chung (Dagstuhl Artifacts Ser., 2015)

Composing Interfering Abstract Protocols. - Filipe Militão; Jonathan Aldrich; Luís Caires (ECOOP, 2016)

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 001; Matthew Patron; Melissa Heeren; Shelley Krueger; Mark S. Pfaff (ESEM, 2016)

Programmable semantic fragments: the design and implementation of typy. - Cyrus Omar; Jonathan Aldrich (GPCE, 2016)

Modules in wyvern: advanced control over security and privacy. - Darya Kurilova; Alex Potanin; Jonathan Aldrich (HotSoS, 2016)

Exploring language support for immutability. - Michael J. Coblenz; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers; Sam Weber 001; Forrest Shull (ICSE, 2016)

Inter-app communication in Android: developer challenges. - Waqar Ahmad; Christian Kästner; Joshua Sunshine; Jonathan Aldrich (MSR, 2016)

A Capability-Based Module System for Authority Control. - Darya Melicher; Yangqingwei Shi; Alex Potanin; Jonathan Aldrich (ECOOP, 2017)

The Implementation of Object Propositions: The Oprop Verification Tool. - Ligia Nistor; Jonathan Aldrich (FACS, 2017)

Glacier: transitive class immutability for Java. - Michael J. Coblenz; Whitney Nelson; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (ICSE, 2017)

Hazelnut: a bidirectionally typed structure editor calculus. - Cyrus Omar; Ian Voysey; Michael Hilton; Jonathan Aldrich; Matthew A. Hammer (POPL, 2017)

Empirical Studies on the Security and Usability Impact of Immutability. - Sam Weber 001; Michael J. Coblenz; Brad A. Myers; Jonathan Aldrich; Joshua Sunshine (SecDev, 2017)

Toward Semantic Foundations for Program Editors. - Cyrus Omar; Ian Voysey; Michael Hilton; Joshua Sunshine; Claire Le Goues; Jonathan Aldrich; Matthew A. Hammer (SNAPL, 2017)

A Capability-Based Module System for Authority Control (Artifact). - Darya Melicher; Yangqingwei Shi; Alex Potanin; Jonathan Aldrich (Dagstuhl Artifacts Ser., 2017)

Using object capabilities and effects to build an authority-safe module system: poster. - Darya Melicher; Yangqingwei Shi; Valerie Zhao; Alex Potanin; Jonathan Aldrich (HotSoS, 2018)

Capabilities: Effects for Free. - Aaron Craig; Alex Potanin; Lindsay Groves; Jonathan Aldrich (ICFEM, 2018)

Interdisciplinary programming language design. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Onward!, 2018)

Gradual Program Verification. - Johannes Bader 001; Jonathan Aldrich; Éric Tanter (VMCAI, 2018)

Reasonably programmable literal notation. - Cyrus Omar; Jonathan Aldrich (Proc. ACM Program. Lang., 2018)

Smarter smart contract development tools. - Michael J. Coblenz; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (WETSEB@ICSE, 2019)

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 (PLATEAU@UIST, 2019)

User-Centered Programming Language Design in the Obsidian Smart Contract Language. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2019)

Model-Based Adaptation for Robotics Software. - Jonathan Aldrich; David Garlan; Christian Kästner; Claire Le Goues; Anahita Mohseni-Kabir; Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Christopher Steven Timperley; Manuela Veloso; Ian Voysey; Joydeep Biswas; et al. (IEEE Softw., 2019)

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (APLAS, 2020)

A case study in language-based security: building an I/O library for Wyvern. - Jennifer A. Fish; Darya Melicher; Jonathan Aldrich (Onward!, 2020)

An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. - Michael J. Coblenz; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2020)

Psamathe: A DSL with Flows for Safe Blockchain Assets. - Reed Oei; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2020)

User-Centered Programming Language Design: A Course-Based Case Study. - Michael J. Coblenz; Ariel Davis; Megan Hofmann; Vivian Huang; Siyue Jin; Max Krieger; Kyle Liang; Brian Wei; Mengchen Sam Yong; Jonathan Aldrich (CoRR, 2020)

Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Proc. ACM Program. Lang., 2020)

Decidable subtyping for path dependent types. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (Proc. ACM Program. Lang., 2020)

Gradual verification of recursive heap data structures. - Jenna Wise; Johannes Bader 001; Cameron Wong; Jonathan Aldrich; Éric Tanter; Joshua Sunshine (Proc. ACM Program. Lang., 2020)

Penrose: from mathematical notation to beautiful diagrams. - Katherine Ye; Wode Ni; Max Krieger; Dor Ma'ayan; Jenna Wise; Jonathan Aldrich; Joshua Sunshine; Keenan Crane (ACM Trans. Graph., 2020)

Obsidian: Typestate and Assets for Safer Blockchain Programming. - Michael J. Coblenz; Reed Oei; Tyler Etzel; Paulette Koronkevich; Miles Baker; Yannick Bloem; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2020)

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact). - Michael Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Zenodo, 2020)

Gradual Program Analysis for Null Pointers. - Sam Estep; Jenna Wise; Jonathan Aldrich; Éric Tanter; Johannes Bader 001; Joshua Sunshine (ECOOP, 2021)

Facilitating Connector Evolution With Architecture-Centric Development. - Selva Samuel; Jonathan Aldrich (ICSA Companion, 2021)

Integrating usability into programming language design (keynote). - Jonathan Aldrich (SLE, 2021)

An Empirical Study of Protocols in Smart Contracts. - Timothy Mou; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2021)

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (ACM Trans. Comput. Hum. Interact., 2021)

Derivations with Holes for Concept-Based Program Synthesis. - João Costa Seco; Jonathan Aldrich; Luís Carvalho; Bernardo Toninho; Carla Ferreira 001 (Onward!, 2022)

Technical perspective: How do experts learn new programming languages? - Jonathan Aldrich (Commun. ACM, 2022)

Gradual C0: Symbolic Execution for Efficient Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Hemant Gouni; Jacob Gorenburg; Mona Zhang; Conrad Zimmerman; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (CoRR, 2022)

Static Information Flow Control Made Simpler. - Hemant Gouni; Jonathan Aldrich (CoRR, 2022)

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures. - Mohammad Khayatian; Mohammadreza Mehrabian; Edward Andert; Reese Grimsley; Kyle Liang; Yi Hu; Ian McCormack; Carlee Joe-Wong; Jonathan Aldrich; Bob Iannucci; Aviral Shrivastava (ACM Trans. Cyber Phys. Syst., 2022)

Bounded Abstract Effects. - Darya Melicher; Anlun Xu; Valerie Zhao; Alex Potanin; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2022)

Latte: Lightweight Aliasing Tracking for Java. - Conrad Zimmerman; Catarina Gamboa; Alcides Fonseca; Jonathan Aldrich (CoRR, 2023)

Gradual Verification for Smart Contracts. - Haojia Sun; Kunal Singh; Jan-Paul Ramos-Dávila; Jonathan Aldrich; Jenna DiVincenzo (CoRR, 2023)

The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps. - João Costa Seco; Jonathan Aldrich (Onward!, 2024)

"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code. - Ian McCormack; Tomas Dougan; Sam Estep; Hanan Hibshi; Jonathan Aldrich; Joshua Sunshine (CoRR, 2024)

Sound Gradual Verification with Symbolic Execution. - Conrad Zimmerman; Jenna DiVincenzo; Jonathan Aldrich (Proc. ACM Program. Lang., 2024)

Gradual C0: Symbolic Execution for Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Conrad Zimmerman; Hemant Gouni; Jacob Gorenburg; Jan-Paul Ramos-Dávila; Mona Zhang; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2024)

An Exploratory Study of ML Sketches and Visual Code Assistants. - Luís F. Gomes; Vincent J. Hellendoorn; Jonathan Aldrich; Rui Abreu 001 (ICSE, 2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. - Ian McCormack; Joshua Sunshine; Jonathan Aldrich (ICSE, 2025)

Usability Barriers for Liquid Types. - Catarina Gamboa; Abigail Reese; Alcides Fonseca; Jonathan Aldrich (Proc. ACM Program. Lang., 2025)

Semantically Separating Nominal Wyvern for Usability and Decidability. - Yu Xiang Zhu; Amos Robinson; Sophia Roshal; Timothy Mou; Julian Mackay; Jonathan Aldrich; Alex Potanin (CoRR, 2025)