Michael Coblenz -

Registered user since Wed 10 Sep 2014

Name:Michael Coblenz

Country:United States

Affiliation:University of California, San Diego

Personal website:https://cseweb.ucsd.edu/~mcoblenz/

Twitter:https://twitter.com/mcoblenz

GitHub:https://github.com/mcoblenz

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
VL/HCC 2023	PC Member in Program Committee
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