Michael J. Coblenz

According to our database, Michael J. Coblenz authored at least 30 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

REVIS: An Error Visualization Tool for Rust.

Ruochen Wang, Molly Maclaren, Michael Coblenz

CoRR, 2023

A Qualitative Study of REST API Design and Specification Practices.

Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector.

Michael Coblenz, Michelle L. Mazurek, Michael Hicks

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

User-Centered Design of Principled Programming Languages.

Michael J. Coblenz

PhD thesis, 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

An Empirical Study of Protocols in Smart Contracts.

Timothy Mou, Michael J. Coblenz, Jonathan Aldrich

CoRR, 2021

Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load.

Michael Coblenz

CoRR, 2021

Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment.

Michael Coblenz, Michelle L. Mazurek, Michael Hicks

CoRR, 2021

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.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proc. ACM Program. Lang., 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

Psamathe: A DSL with Flows for Safe Blockchain Assets.

Reed Oei, Michael J. Coblenz, Jonathan Aldrich

CoRR, 2020

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

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

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

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Smarter smart contract development tools.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

2018

Interdisciplinary programming language design.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

Empirical Studies on the Security and Usability Impact of Immutability.

Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Glacier: transitive class immutability for Java.

Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 39th International Conference on Software Engineering, 2017

Principles of usable programming language design.

Michael J. Coblenz

Proceedings of the 39th International Conference on Software Engineering, 2017

Obsidian: a safer blockchain programming language.

Michael J. Coblenz

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Exploring language support for immutability.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 38th International Conference on Software Engineering, 2016

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, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015

A course-based usability analysis of Cilk Plus and OpenMP.

Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Comparing transitive to non-transitive object immutability.

Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

2014

Considering Productivity Effects of Explicit Type Declarations.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

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

JASPER: an Eclipse plug-in to facilitate software maintenance tasks.

Michael J. Coblenz, Amy J. Ko, Brad A. Myers

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Using Objects of Measurement to Detect Spreadsheet Errors.

Michael J. Coblenz, Amy J. Ko, Brad A. Myers

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2003

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, Michael J. Coblenz, Matt MacMahon, Dennis Perzanowski, Ian Horswill, Robert Zubek, David Kortenkamp, Bryn Wolfe, Tod Milam, Bruce A. Maxwell

AI Mag., 2003