Michael J. Coblenz

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 18

Top Topics

Programming Language

Development Tools

Top Venues

ICSE (Companion Volume)

Publications

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