Conference A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries 2025 2075-2086 McCormack I, Sunshine J, Aldrich J
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
Conference A pilot study of the safety and usability of the obsidian blockchain programming language 2020 • OASIcs : OpenAccess Series in Informatics • 76: Kambhatla G, Coblenz M, Oei R, Sunshine J, Aldrich J, Myers BA
Journal Article Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian 2020 • Proceedings of the ACM on Programming Languages • 4: Coblenz M, Aldrich J, Myers BA, Sunshine J
