Publications

Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers. PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. TOCHI. To appear.

Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers. Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian. PACMPL Issue OOPSLA 2020. SPLASH 2020, November 15-20, 2020. Online conference. Distinguished Artifact Award. PDF | Video demo | Talk

Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich. Obsidian: Typestate and Assets for Safer Blockchain Programming. TOPLAS vol. 42, no. 3 (2020). Open Access

Gauri Kambhatla, Michael Coblenz, Reed Oei, Joshua Sunshine, Brad Myers and Jonathan Aldrich. A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. The Tenth Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019), at UIST 2019, October 24, 2019, New Orleans, Louisiana. PDF

Michael Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers. "Smarter Smart Contract Tools." WETSEB 2019: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain. May 27, 2019, Montreal, QC, Canada. PDF

Paulette Koronkevich. Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language. SPLASH 2018 Student Research Competition. Second place winner. PDF

Michael Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers, User-Centered Design of Permissions, Typestate, and Ownership in the Obsidian Blockchain Language. HCI for Blockchain: Studying, Designing, Critiquing and Envisioning Distributed Ledger Technologies Workshop at CHI 2018, April 22, 2018, Montreal, QC, Canada. pdf.

Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, Jonathan Aldrich. A User Study to Inform the Design of the Obsidian Blockchain DSL. 8th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2017) at SPLASH 2017, October 23, 2017. pdf

Michael Coblenz. 2017. Obsidian: a safer blockchain programming language. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C '17). IEEE Press, Piscataway, NJ, USA, 97-99. ACM DL

Michael Coblenz. 2017. Principles of usable programming language design. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C '17). IEEE Press, Piscataway, NJ, USA, 469-470. ACM DL