GRACE: An Autonomous Robot for the AAAI Robot Challenge. - Reid G. Simmons; Dani Goldberg; Adam Goode; Michael Montemerlo; Nicholas Roy; Brennan Sellner; Chris Urmson; Alan C. Schultz; Myriam Abramson; William Adams; Amin Atrash; Magdalena D. Bugajska; et al. (AI Mag., 2003)

Using Objects of Measurement to Detect Spreadsheet Errors. - Michael J. Coblenz; Amy J. Ko; Brad A. Myers (VL/HCC, 2005)

JASPER: an Eclipse plug-in to facilitate software maintenance tasks. - Michael J. Coblenz; Amy J. Ko; Brad A. Myers (ETX, 2006)

An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks. - Amy J. Ko; Brad A. Myers; Michael J. Coblenz; Htet Htet Aung (IEEE Trans. Software Eng., 2006)

Considering Productivity Effects of Explicit Type Declarations. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (PLATEAU, 2014)

Comparing transitive to non-transitive object immutability. - Michael J. Coblenz; Joshua Sunshine; Brad A. Myers; Sam Weber 001; Forrest Shull (PLATEAU@SPLASH, 2015)

A course-based usability analysis of Cilk Plus and OpenMP. - Michael J. Coblenz; Robert C. Seacord; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (VL/HCC, 2015)

Software Development Practices, Barriers in the Field and the Relationship to Software Quality. - Beth Yost; Michael J. Coblenz; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich; Sam Weber 001; Matthew Patron; Melissa Heeren; Shelley Krueger; Mark S. Pfaff (ESEM, 2016)

Exploring language support for immutability. - Michael J. Coblenz; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers; Sam Weber 001; Forrest Shull (ICSE, 2016)

Obsidian: a safer blockchain programming language. - Michael J. Coblenz (ICSE (Companion Volume), 2017)

Principles of usable programming language design. - Michael J. Coblenz (ICSE (Companion Volume), 2017)

Glacier: transitive class immutability for Java. - Michael J. Coblenz; Whitney Nelson; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (ICSE, 2017)

Empirical Studies on the Security and Usability Impact of Immutability. - Sam Weber 001; Michael J. Coblenz; Brad A. Myers; Jonathan Aldrich; Joshua Sunshine (SecDev, 2017)

Interdisciplinary programming language design. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Onward!, 2018)

Smarter smart contract development tools. - Michael J. Coblenz; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (WETSEB@ICSE, 2019)

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. - Gauri Kambhatla; Michael J. Coblenz; Reed Oei; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (PLATEAU@UIST, 2019)

User-Centered Programming Language Design in the Obsidian Smart Contract Language. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2019)

An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. - Michael J. Coblenz; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2020)

Psamathe: A DSL with Flows for Safe Blockchain Assets. - Reed Oei; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2020)

User-Centered Programming Language Design: A Course-Based Case Study. - Michael J. Coblenz; Ariel Davis; Megan Hofmann; Vivian Huang; Siyue Jin; Max Krieger; Kyle Liang; Brian Wei; Mengchen Sam Yong; Jonathan Aldrich (CoRR, 2020)

Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. - Michael J. Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Proc. ACM Program. Lang., 2020)

Obsidian: Typestate and Assets for Safer Blockchain Programming. - Michael J. Coblenz; Reed Oei; Tyler Etzel; Paulette Koronkevich; Miles Baker; Yannick Bloem; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2020)

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact). - Michael Coblenz; Jonathan Aldrich; Brad A. Myers; Joshua Sunshine (Zenodo, 2020)

Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. - Michael Coblenz; Michelle L. Mazurek; Michael Hicks 001 (CoRR, 2021)

Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load. - Michael Coblenz (CoRR, 2021)

An Empirical Study of Protocols in Smart Contracts. - Timothy Mou; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2021)

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (ACM Trans. Comput. Hum. Interact., 2021)

User-Centered Design of Principled Programming Languages. - Michael J. Coblenz (2021)

Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. - Michael Coblenz; Michelle L. Mazurek; Michael Hicks 001 (ICSE, 2022)

A Qualitative Study of REST API Design and Specification Practices. - Michael Coblenz; Wentao Guo; Kamatchi Voozhian; Jeffrey S. Foster (VL/HCC, 2023)

REVIS: An Error Visualization Tool for Rust. - Ruochen Wang; Molly Maclaren; Michael Coblenz (CoRR, 2023)

A Theory of Scientific Programming Efficacy. - Elizaveta Pertseva; Melinda Chang; Ulia Zaman; Michael Coblenz (ICSE, 2024)

An Analysis of the Costs and Benefits of Autocomplete in IDEs. - Shaokang Jiang; Michael Coblenz (Proc. ACM Softw. Eng., 2024)

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities. - Ruanqianqian (Lisa) Huang; Savitha Ravi; Michael He; Boyu Tian; Sorin Lerner; Michael Coblenz (ICSE, 2025)