Michael Coblenz

Registered user since Wed 10 Sep 2014

Name:Michael Coblenz
Country:United States
Affiliation:University of California, San Diego
Research interests:Usability of programming languages

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
HATRA 2022 Author of Discussion within the Human Aspects of Types and Reasoning Assistants-track
Committee Member in Organizing Committee within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022 Organizer of Human Aspects of Types and Reasoning Assistants (HATRA) within the Workshops-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
VL/HCC 2022 Committee Member in Program 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
Session Chair of BoF 17: Usability of Programming Languages (part of Birds of a Feather)
RoPES 2022 Author of Using Games to Broaden Audiences for Programming Studies within the RoPES 2022-track
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
VL/HCC 2021 Session Chair of Helping Programmers Build (part of Research Papers)
Committee Member in Program Committee
Web Chair in Organizing Committee
PADL 2021 Author of Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) within the PADL 2021-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)
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
ICFP 2020 Author of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track
VL/HCC 2020 Committee Member in Program Committee within the Research Papers-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
SPLASH 2018 Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track
Onward! 2018 Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLATEAU 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-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