Sotabase

Career

· Basili Postdoctoral Fellow, University of Maryland2020–
· Researcher/Author, Carnegie Mellon University
· Patent Attorney, Lexington, Kentucky Law Firm
· Author, Medium (Various articles)
· Patent Attorney / Writer, Private Law Practice / Writer
· Author and Researcher, Self-Employed / Writer and Researcher
· Researcher/Author, University of California, San Diego
· Researcher/Author, University of Stuttgart / UC Davis / Facebook / Amazon / Apple
· Researcher/Author, University of Washington / Stanford University

Publications (51)

An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
IEEE Transactions on Software Engineering · 2006
673
cited
GRACE: An Autonomous Robot for the AAAI Robot Challenge
The AI Magazine · 2003
140
cited
Obsidian: A Safer Blockchain Programming Language
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) · 2017
88
cited
Obsidian
ACM Transactions on Programming Languages and Systems · 2019
51
cited
Exploring Language Support for Immutability
International Conference on Software Engineering · 2016
43
cited
Using objects of measurement to detect spreadsheet errors
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2005
43
cited
Glacier: Transitive Class Immutability for Java
International Conference on Software Engineering · 2017
40
cited
JASPER: an Eclipse plug-in to facilitate software maintenance tasks
OOPSLA Workshop on Eclipse Technology eXchange · 2006
37
cited
Professional
2000
29
cited
Interdisciplinary programming language design
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2018
25
cited
Smarter Smart Contract Development Tools
International Workshop on Emerging Trends in Software Engineering for Blockchain · 2019
24
cited
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian
Proc. ACM Program. Lang. · 2020
19
cited
PLIERS
ACM Trans. Comput. Hum. Interact. · 2019
19
cited
Empirical Studies on the Security and Usability Impact of Immutability
IEEE Cybersecurity Development · 2017
14
cited
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
International Conference on Software Engineering · 2021
13
cited
Conference Chairs
International Workshop on Microprocessor Test and Verification · 2018
12
cited
A course-based usability analysis of Cilk Plus and OpenMP
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2015
8
cited
Software Development Practices, Barriers in the Field and the Relationship to Software Quality
International Symposium on Empirical Software Engineering and Measurement · 2016
7
cited
Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment
arXiv.org · 2021
6
cited
Debugging Techniques in Professional Programming
2023
5
cited
Sotabase
Michael Coblenz | Researcher Profile | Sotabase | Sotabase