Michael Coblenz
University of Maryland, Baltimore
H-index: 14
North America-United States
Top articles of Michael Coblenz
A Theory of Scientific Programming Efficacy
2024/4/12
Michael Coblenz
H-Index: 10
A Qualitative Study of REST API Design and Specification Practices
2023/10/3
Michael Coblenz
H-Index: 10
Wentao Guo
H-Index: 1
REVIS: An Error Visualization Tool for Rust
arXiv preprint arXiv:2309.06640
2023/9/12
Ruochen Wang
H-Index: 13
Michael Coblenz
H-Index: 10
Garbage collection makes rust easier to use: A randomized controlled trial of the bronze garbage collector
2022
Michael Coblenz
H-Index: 10
Michael Hicks
H-Index: 31
An empirical study of protocols in smart contracts
arXiv preprint arXiv:2110.08983
2021/10/18
Michael Coblenz
H-Index: 10
Jonathan Aldrich
H-Index: 22
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
arXiv preprint arXiv:2110.03806
2021/10/7
Michael Coblenz
H-Index: 10
PLIERS: a process that integrates user-centered methods into programming language design
ACM Transactions on Computer-Human Interaction (TOCHI)
2021/7/23
Obsidian: Typestate and assets for safer blockchain programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
2020/11/24
User-Centered Programming Language Design: A Course-Based Case Study
arXiv preprint arXiv:2011.07565
2020/11/15
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian
Proceedings of the ACM on Programming Languages
2020/11/13
Psamathe: A DSL with flows for safe blockchain assets
arXiv preprint arXiv:2010.04800
2020/10/9
User-Centered Design of Principled Programming Languages
2020/8
Michael Coblenz
H-Index: 10
4.3 Clever Recruitment Techniques: How to Design Studies that get Enough of the Right Kind of Participants
Empirical Evaluation of Secure Development Processes
2020/2
Tobias Fiebig
H-Index: 10
Michael Coblenz
H-Index: 10
4.6 Methods For Empirical Studies of SDLs
Empirical Evaluation of Secure Development Processes
2020/2
A pilot study of the safety and usability of the obsidian blockchain programming language
2020