Michael J. Coblenz

27 papers A* 2A 1B 2Journal 11Unranked 10
YearRankTypeTitle / Venue / Authors
2021 J jnl
An Empirical Study of Protocols in Smart Contracts.
CoRR
Timothy Mou, Michael J. Coblenz, Jonathan Aldrich
2021 J jnl
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.
ACM Trans. Comput. Hum. Interact.
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2021 — —
User-Centered Design of Principled Programming Languages.
Michael J. Coblenz
2020 J jnl
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language.
CoRR
Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2020 J jnl
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian.
Proc. ACM Program. Lang.
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2020 J jnl
Obsidian: Typestate and Assets for Safer Blockchain Programming.
ACM Trans. Program. Lang. Syst.
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2020 J jnl
Psamathe: A DSL with Flows for Safe Blockchain Assets.
CoRR
Reed Oei, Michael J. Coblenz, Jonathan Aldrich
2020 J jnl
User-Centered Programming Language Design: A Course-Based Case Study.
CoRR
Michael J. Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich
2019 — conf
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language.
PLATEAU@UIST
Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019 J jnl
Obsidian: Typestate and Assets for Safer Blockchain Programming.
CoRR
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2019 — conf
Smarter smart contract development tools.
WETSEB@ICSE
Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019 J jnl
User-Centered Programming Language Design in the Obsidian Smart Contract Language.
CoRR
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2018 — conf
Interdisciplinary programming language design.
Onward!
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2017 — conf
Empirical Studies on the Security and Usability Impact of Immutability.
SecDev
Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine
2017 A* conf
Glacier: transitive class immutability for Java.
ICSE
Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2017 — conf
Obsidian: a safer blockchain programming language.
ICSE (Companion Volume)
Michael J. Coblenz
2017 — conf
Principles of usable programming language design.
ICSE (Companion Volume)
Michael J. Coblenz
2016 A* conf
Exploring language support for immutability.
ICSE
Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull
2016 A conf
Software Development Practices, Barriers in the Field and the Relationship to Software Quality.
ESEM
Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff
2015 B conf
A course-based usability analysis of Cilk Plus and OpenMP.
VL/HCC
Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2015 — conf
Comparing transitive to non-transitive object immutability.
PLATEAU@SPLASH
Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull
2014 — conf
Considering Productivity Effects of Explicit Type Declarations.
PLATEAU
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2006 J jnl
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks.
IEEE Trans. Software Eng.
Amy J. Ko, Brad A. Myers, Michael J. Coblenz, Htet Htet Aung
2006 — conf
JASPER: an Eclipse plug-in to facilitate software maintenance tasks.
ETX
Michael J. Coblenz, Amy J. Ko, Brad A. Myers
2005 B conf
Using Objects of Measurement to Detect Spreadsheet Errors.
VL/HCC
Michael J. Coblenz, Amy J. Ko, Brad A. Myers
2003 J jnl
GRACE: An Autonomous Robot for the AAAI Robot Challenge.
AI Mag.
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
2002 — conf
GRACE: An Autonomous Robot for the AAAI Robot Challenge.
AAAI Mobile Robot Competition
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