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 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 Committee Member in Program Committee
Web Chair in Organizing Committee
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