Conference A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries 2025 • Proceedings - International Conference on Software Engineering • 00:2075-2086 McCormack I, Sunshine J, Aldrich J
Conference An Exploratory Study of ML Sketches and Visual Code Assistants 2025 • Proceedings - International Conference on Software Engineering • 00:1653-1664 Gomes LF, Hellendoorn VJ, Aldrich J, Abreu R
Journal Article Preface 2025 • Leibniz International Proceedings in Informatics • 333:ix-x Aldrich J, Silva A
Journal Article Usability Barriers for Liquid Types 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):1911-1936 Gamboa C, Reese A, Fonseca A, Aldrich J
Preprint A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling 2024 McCormack I, Dougan T, Estep S, Hibshi H, Aldrich J, Sunshine J
Preprint A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries 2024 McCormack I, Sunshine J, Aldrich J
Journal Article Gradual C0: Symbolic Execution for Gradual Verification 2024 • ACM Transactions on Programming Languages and Systems • 46(4): Divincenzo J, Mccormack I, Zimmerman C, Gouni H, Gorenburg J, Ramos-davila J-P, Zhang M, Sunshine J, Tanter E, Aldrich J
Journal Article Message from the Program Chairs 2024 • Leibniz International Proceedings in Informatics • 313: Aldrich J, Salvaneschi G
Journal Article Sound Gradual Verification with Symbolic Execution 2024 • Proceedings of the ACM on Programming Languages • 8(POPL): Zimmerman C, Divincenzo J, Aldrich J
Conference The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps 2024 • PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024 • 54-67 Seco JC, Aldrich J
Preprint Gradual Verification for Smart Contracts 2023 Sun H, Singh K, Ramos-Dávila J-P, Aldrich J, DiVincenzo J
Preprint Sound Gradual Verification with Symbolic Execution 2023 Zimmerman C, DiVincenzo J, Aldrich J
Journal Article Bounded Abstract Effects 2022 • ACM Transactions on Programming Languages and Systems • 44(1): Melicher D, Xu A, Zhao V, Potanin A, Aldrich J
Conference Derivations with Holes for Concept-Based Program Synthesis 2022 • PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2022 • 63-79 Seco JC, Aldrich J, Carvalho L, Toninho B, Ferreira C
Preprint Gradual C0: Symbolic Execution for Gradual Verification 2022 DiVincenzo J, McCormack I, Gouni H, Gorenburg J, Ramos-Dávila J-P, Zhang M, Zimmerman C, Sunshine J, Tanter É, Aldrich J
Journal Article Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures 2022 • ACM Transactions on Cyber-Physical Systems • 6(3): Khayatian M, Mehrabian M, Andert E, Grimsley R, Liang K, Hu Y, McCormack I, Joe-Wong C, Aldrich J, Iannucci B, Shrivastava A
Journal Article Technical Perspective How Do Experts Learn New Programming Languages? 2022 • Communications of the ACM • 65(3):90-90 Aldrich J
Conference Facilitating Connector Evolution With Architecture-Centric Development 2021 • 2021 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C) • 1-7 Samuel S, Aldrich J
Journal Article Gradual program analysis for null pointers 2021 • Leibniz International Proceedings in Informatics • 194: Estep S, Wise J, Aldrich J, Tanter É, Bader J, Sunshine J
Preprint Gradual Program Analysis for Null Pointers 2021 Estep S, Wise J, Aldrich J, Tanter É, Bader J, Sunshine J
Conference Integrating Usability into Programming Language Design (Keynote) 2021 • PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2021 • 1-1 Aldrich J
Journal Article PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design 2021 • ACM Transactions on Computer-Human Interaction • 28(4): Coblenz M, Kambhatla G, Koronkevich P, Wise JL, Barnaby C, Sunshine J, Aldrich J, Myers BA
Conference A Case Study in Language-Based Security: Building an I/O Library for Wyvern 2020 • PROCEEDINGS OF THE 2020 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD! '20) • 34-47 Fish JA, Melicher D, Aldrich J