publications

2022

  1. RoPES
    Using Games to Broaden Audiences for Programming Studies
    Michael Coblenz, and Felix Sosa
    2022
  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

2021

  1. HATRA
    An Empirical Study of Protocols in Smart Contracts
    Timothy Mou, Michael Coblenz, and Jonathan Aldrich
    2021
  2. HATRA
    Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
    Michael Coblenz
    2021
  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
  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
  2. HATRA
    User-Centered Programming Language Design: A Course-Based Case Study
    Michael Coblenz, Ariel Davis, Megan Hofmann, and 7 more authors
    2020
  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
  4. Ph.D. Thesis
    User-Centered Design of Principled Programming Languages
    Michael J. Coblenz
    Aug 2020
  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
  6. Glacier software and user study replication package
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, and 2 more authors
    Jul 2020
  7. Obsidian smart contract programming language
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and 1 more author
    Aug 2020
  8. Obsidian vs. Solidity RCT Replication Package
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and 1 more author
    Aug 2020

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
  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
  3. <Programming>
    Interdisciplinary Programming Language Design
    Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and 1 more author
    Aug 2019

2018

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

2017

  1. ICSE
    Glacier: Transitive Class Immutability for Java
    Michael Coblenz, Whitney Nelson, Jonathan Aldrich, and 2 more authors
    Aug 2017
  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
  3. ICSE SRC
    Obsidian: a safer blockchain programming language
    Michael Coblenz
    Aug 2017

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
  2. TR
    Exploring Language Support for Immutability (extended version)
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and 3 more authors
    Aug 2016
  3. ICSE
    Exploring Language Support for Immutability
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and 3 more authors
    Aug 2016