Michael Coblenz

Registered user since Wed 10 Sep 2014

Name: Michael Coblenz

Country: United States

Affiliation: University of Maryland at College Park, USA

Personal website: http://www.cs.umd.edu/~mcoblenz/

Twitter: https://twitter.com/mcoblenz

GitHub: https://github.com/mcoblenz

Research interests: Usability of programming languages

Contributions

HATRA 2020Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track
Committee Member in Organizing Committee within the HATRA-track
VL/HCC 2021Web Chair in Organizing Committee
VL/HCC 2020Committee Member in Program Committee within the Research Papers-track
SPLASH 2020Author 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
ICFP 2020Author of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track
SPLASH 2019Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
PLATEAU 2018Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-track
Onward! 2018Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track
PLATEAU 2017Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLATEAU 2015Author of Comparing Transitive to Intransitive Object Immutability within the PLATEAU-track
PLATEAUAuthor of Considering Productivity Effects of Explicit Type Declarations within the PLATEAU-track