All Stories

  1. RestPi: Path-Sensitive Type Inference for REST APIs

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

    Michael Coblenz

  2. On the Impact of Formal Verification on Software Development

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

    Michael Coblenz

  3. An Empirical Evaluation of Property-Based Testing in Python

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

    Michael Coblenz

  4. How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities

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

    Michael Coblenz

  5. A Theory of Scientific Programming Efficacy

    Article • April 2024, ACM (Association for Computing Machinery)

    Michael Coblenz

  6. PLIERS

    Article • ACM Transactions on Computer-Human Interaction, July 2021, ACM (Association for Computing Machinery)

    Michael Coblenz

  7. 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

  8. Obsidian

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

    Jonathan Aldrich, Michael Coblenz

  9. Glacier: Transitive Class Immutability for Java

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Michael Coblenz

  10. Exploring language support for immutability

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

    Michael Coblenz

  11. Considering Productivity Effects of Explicit Type Declarations

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

    Michael Coblenz