publications

2023

  1. PLATEAU
    A Multimodal Study of Challenges Using Rust
    Michael Coblenz, April Porter, Varun Das, and 2 more authors
    2023
  2. PLATEAU
    How do Haskell Programmers Debug?
    Ruanqianqian Huang, Elizaveta Pertseva, Michael Coblenz, and 1 more author
    2023
  3. PLATEAU
    Debugging Techniques in Professional Programming
    Amanda Liu, and Michael Coblenz
    2023

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 arXiv

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, and 5 more authors
    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, and 7 more authors
    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 1 more author
    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, and 6 more authors
    ACM Transactions on Programming Languages Aug 2020
    ACM DL
  6. Glacier software and user study replication package
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, and 2 more authors
    Jul 2020
    Website
  7. Obsidian smart contract programming language
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and 1 more author
    Aug 2020
    Website
  8. Obsidian vs. Solidity RCT Replication Package
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and 1 more author
    Aug 2020
    Website

2019

  1. WETSEB
    Smarter Smart Contract Development Tools
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and 1 more author
    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, and 3 more authors
    PLATEAU Workshop Aug 2019
    PDF
  3. <Programming>
    Interdisciplinary Programming Language Design
    Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and 1 more author
    Aug 2019
    Website

2018

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

2017

  1. ICSE
    Glacier: Transitive Class Immutability for Java
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, and 2 more authors
    Aug 2017
    IEEE Xplore
  2. PLATEAU
    A User Study to Inform the Design of the Obsidian Blockchain DSL
    Celeste Barnaby, Michael Coblenz, Tyler Etzel, and 4 more authors
    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, and 8 more authors
    Aug 2017
    ACM DL
  2. TR
    Exploring Language Support for Immutability (extended version)
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and 3 more authors
    Aug 2016
    PDF
  3. ICSE
    Exploring Language Support for Immutability
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and 3 more authors
    Aug 2016
    ACM DL