All Stories

  1. A Mixed Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling

    Article • ACM Transactions on Software Engineering and Methodology, February 2026, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  2. Security Reasoning via Substructural Dependency Tracking

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  3. Structural Information Flow: A Fresh Look at Types for Non-interference

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  4. Usability Barriers for Liquid Types

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Catarina Gamboa, Jonathan Aldrich

  5. An Exploratory Study of ML Sketches and Visual Code Assistants

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Luis Gomes, Jonathan Aldrich

  6. A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Jonathan Aldrich

  7. Gradual C0: Symbolic Execution for Gradual Verification

    Article • ACM Transactions on Programming Languages and Systems, December 2024, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  8. Sound Gradual Verification with Symbolic Execution

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  9. Derivations with Holes for Concept-Based Program Synthesis

    Article • November 2022, ACM (Association for Computing Machinery)

    João Costa Seco, Jonathan Aldrich

  10. Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures

    Article • ACM Transactions on Cyber-Physical Systems, July 2022, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  11. Bounded Abstract Effects

    Article • ACM Transactions on Programming Languages and Systems, March 2022, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  12. Integrating usability into programming language design (keynote)

    Article • October 2021, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  13. A case study in language-based security: building an I/O library for Wyvern

    Article • November 2020, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  14. Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Jonathan Aldrich, Michael Coblenz

  15. Gradual verification of recursive heap data structures

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  16. Obsidian

    Article • ACM Transactions on Programming Languages and Systems, September 2020, ACM (Association for Computing Machinery)

    Jonathan Aldrich, Michael Coblenz

  17. Ensuring that computers can check the consistency of programs in advanced languages like Scala

    Article • Proceedings of the ACM on Programming Languages, January 2020, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  18. Reasonably programmable literal notation

    Article • Proceedings of the ACM on Programming Languages, July 2018, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  19. Hazelnut: a bidirectionally typed structure editor calculus

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  20. Hazelnut: a bidirectionally typed structure editor calculus

    Article • January 2017, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  21. Foundations of Typestate-Oriented Programming

    Article • ACM Transactions on Programming Languages and Systems, October 2014, ACM (Association for Computing Machinery)

    Jonathan Aldrich

  22. Permission-based programming languages (NIER track)

    Article • May 2011, ACM (Association for Computing Machinery)

    Jonathan Aldrich