Michael Coblenz

Registered user since Wed 10 Sep 2014

Name:Michael Coblenz
Country:United States
Affiliation:University of Maryland at College Park
Research interests:Usability of programming languages

Contributions

VL/HCC 2022 Committee Member in Program Committee
HATRA 2021 Committee Member in Organizing Committee within the HATRA 2021-track
Author of An Empirical Study of Protocols in Smart Contracts within the HATRA 2021-track
Author of Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load within the HATRA 2021-track
SPLASH 2021 Session Chair of OOPSLA and Onward! 2020 Papers 2 (part of SIGPLAN Papers)
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the SIGPLAN Papers-track
Organizing Committee of HATRA within the Workshops-track
PADL 2021 Author of Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) within the PADL 2021-track
HATRA 2020 Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track
Session Chair of Formal Methods (part of HATRA)
Session Chair of Research Agenda Planning (part of HATRA)
Committee Member in Organizing Committee within the HATRA-track
VL/HCC 2021 Session Chair of Helping Programmers Build (part of Research Papers)
Committee Member in Program Committee
Web Chair in Organizing Committee
ICSE 2022 Author of Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector within the Technical Track-track
VL/HCC 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track
Session Chair of R-3 (part of OOPSLA)
ICFP 2020 Author of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track
SPLASH 2019 Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
PLATEAU 2018 Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-track
Onward! 2018 Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018 Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track
PLATEAU 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLATEAU 2015 Author of Comparing Transitive to Intransitive Object Immutability within the PLATEAU-track
PLATEAU Author of Considering Productivity Effects of Explicit Type Declarations within the PLATEAU-track