publications

2024

  1. FSE
    An Analysis of the Costs and Benefits of Autocomplete in IDEs
    Shaokang Jiang and Michael Coblenz
    2024
    PDF
  2. ICSE
    A Theory of Scientific Programming Efficacy
    Elizaveta Pertseva, Melinda Chang, Ulia Zaman, and Michael Coblenz
    2024
    ACM DL PDF

2023

  1. VL/HCC
    A Qualitative Study of REST API Design and Specification Practices
    Michael Coblenz, Wentao Guo, Kamatchi Voozhian, and Jeffrey Foster
    2023
    IEEE Xplore PDF
  2. PLATEAU
    A Multimodal Study of Challenges Using Rust
    Michael Coblenz, April Porter, Varun Das, Teja Nallagorla, and Michael Hicks
    2023
    PDF
  3. PLATEAU
    How do Haskell Programmers Debug?
    Ruanqianqian Huang, Elizaveta Pertseva, Michael Coblenz, and Sorin Lerner
    2023
    PDF
  4. PLATEAU
    Debugging Techniques in Professional Programming
    Amanda Liu and Michael Coblenz
    2023
    PDF

2022

  1. RoPES
    Using Games to Broaden Audiences for Programming Studies
    Michael Coblenz and Felix Sosa
    2022
    PDF
  2. ICSE
    Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
    Michael Coblenz, Michelle L. Mazurek, and Michael Hicks
    2022
    ACM DL

2021

  1. HATRA
    An Empirical Study of Protocols in Smart Contracts
    Timothy Mou, Michael Coblenz, and Jonathan Aldrich
    2021
    arXiv
  2. HATRA
    Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
    Michael Coblenz
    2021
    arXiv
  3. TOCHI
    PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
    Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, and Brad A. Myers
    ACM Transactions on Computer-Human Interaction 2021
    ACM DL
  4. PADL
    Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
    Reed Oei, Michael Coblenz, and Jonathan Aldrich
    2021

2020

  1. arXiv
    Psamathe: A DSL with Flows for Safe Blockchain Assets
    Reed Oei, Michael Coblenz, and Jonathan Aldrich
    2020
    arXiv
  2. HATRA
    User-Centered Programming Language Design: A Course-Based Case Study
    Michael Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, and Jonathan Aldrich
    2020
    arXiv
  3. OOPSLA
    Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
    Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine
    2020
    ACM DL
  4. Ph.D. Thesis
    User-Centered Design of Principled Programming Languages
    Michael J. Coblenz
    Aug 2020
    PDF
  5. TOPLAS
    Obsidian: Typestate and Assets for Safer Blockchain Programming
    Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, and Jonathan Aldrich
    ACM Transactions on Programming Languages Aug 2020
    ACM DL
  6. Glacier software and user study replication package
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, Brad Myers, and Joshua Sunshine
    Jul 2020
    Website
  7. Obsidian smart contract programming language
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and Joshua Sunshine
    Aug 2020
    Website
  8. Obsidian vs. Solidity RCT Replication Package
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and Joshua Sunshine
    Aug 2020
    Website

2019

  1. WETSEB
    Smarter Smart Contract Development Tools
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and Brad A. Myers
    2nd International Workshop on Emerging Trends in Software Engineering for Blockchain Aug 2019
    IEEE Xplore
  2. PLATEAU
    A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language
    Gauri Kambhatla, Michael Coblenz, Reed Oei, Joshua Sunshine, Brad Myers, and Jonathan Aldrich
    PLATEAU Workshop Aug 2019
    PDF
  3. <Programming>
    Interdisciplinary Programming Language Design
    Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine
    Aug 2019
    Website

2018

  1. Onward!
    Interdisciplinary Programming Language Design
    Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine
    Aug 2018
    ACM DL

2017

  1. ICSE
    Glacier: Transitive Class Immutability for Java
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, Brad Myers, and Joshua Sunshine
    Aug 2017
    IEEE Xplore
  2. PLATEAU
    A User Study to Inform the Design of the Obsidian Blockchain DSL
    Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, and Jonathan Aldrich
    Aug 2017
    PDF
  3. ICSE SRC
    Obsidian: a safer blockchain programming language
    Michael Coblenz
    Aug 2017
    IEEE Xplore

2016

  1. ESEM
    Software Development Practices, Barriers in the Field and the Relationship to Software Quality
    Beth Yost, Michael Coblenz, Brad Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Forrest Shull, Matthew Patron, Melissa Heeren, Shelley Krueger, and Mark Pfaff
    Aug 2017
    ACM DL
  2. TR
    Exploring Language Support for Immutability (extended version)
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad Myers, Sam Weber, and Forrest Shull
    Aug 2016
    PDF
  3. ICSE
    Exploring Language Support for Immutability
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad Myers, Sam Weber, and Forrest Shull
    Aug 2016
    ACM DL