publications

  1. PADL
    Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
    Oei, Reed, Coblenz, Michael, and Aldrich, Jonathan
    In Practical Aspects of Declarative Languages, workshop at POPL 2021
  2. arXiv
    Psamathe: A DSL with Flows for Safe Blockchain Assets
    Oei, Reed, Coblenz, Michael, and Aldrich, Jonathan
    2020
  3. HATRA
    User-Centered Programming Language Design: A Course-Based Case Study
    Coblenz, Michael, Davis, Ariel, Hofmann, Megan, Huang, Vivian, Jin, Siyue, Krieger, Max, Liang, Kyle, Wei, Brian, Yong, Mengchen Sam, and Aldrich, Jonathan
    In 1st International Workshop on Human Aspects of Types and Reasoning Assistants, workshop at SPLASH 2020
  4. OOPSLA
    Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
    In PACMPL Issue OOPSLA 2020 (Distinguished Artifact Award)
  5. Ph.D. Thesis
    User-Centered Design of Principled Programming Languages
    Coblenz, Michael J.
    2020 Ph.D. Thesis
  6. TOPLAS
    Obsidian: Typestate and Assets for Safer Blockchain Programming
    Coblenz, Michael, Oei, Reed, Etzel, Tyler, Koronkevich, Paulette, Baker, Miles, Bloem, Yannick, Myers, Brad A., Sunshine, Joshua, and Aldrich, Jonathan
    ACM Transactions on Programming Languages 2020
  7. Glacier software and user study replication package
    Coblenz, Michael, Nelson, Whitney, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    2020
  8. Obsidian smart contract programming language
    2020
  9. Obsidian vs. Solidity RCT Replication Package
    2020
  10. WETSEB
    Smarter Smart Contract Development Tools
    2nd International Workshop on Emerging Trends in Software Engineering for Blockchain 2019
  11. PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
    Coblenz, Michael, Kambhatla, Gauri, Koronkevich, Paulette, Wise, Jenna L., Barnaby, Celeste, Sunshine, Joshua, Aldrich, Jonathan, and Myers, Brad A.
    2020
  12. PLATEAU
    A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language
    Kambhatla, Gauri, Coblenz, Michael, Oei, Reed, Sunshine, Joshua, Myers, Brad, and Aldrich, Jonathan
    PLATEAU Workshop 2019
  13. Onward!
    Interdisciplinary Programming Language Design
    In Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software 2018
  14. <Programming>
    Interdisciplinary Programming Language Design
    2019
  15. ICSE
    Glacier: Transitive Class Immutability for Java
    Coblenz, Michael, Nelson, Whitney, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    In International Conference on Software Engineering 2017 (16% acceptance rate)
  16. PLATEAU
    A User Study to Inform the Design of the Obsidian Blockchain DSL
    Barnaby, Celeste, Coblenz, Michael, Etzel, Tyler, Kanal, Eliezer, Sunshine, Joshua, Myers, Brad, and Aldrich, Jonathan
    In Workshop on Evaluation and Usability of Programming Languages and Tools 2017
  17. ICSE SRC
    Obsidian: a safer blockchain programming language
    Coblenz, Michael
    In International Conference on Software Engineering Companion 2017
  18. ESEM
    Software Development Practices, Barriers in the Field and the Relationship to Software Quality
    Yost, Beth, Coblenz, Michael, Myers, Brad, Sunshine, Joshua, Aldrich, Jonathan, Weber, Sam, Shull, Forrest, Patron, Matthew, Heeren, Melissa, Krueger, Shelley, and Pfaff, Mark
    In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (37% acceptance rate)
  19. TR
    Exploring Language Support for Immutability (extended version)
    Coblenz, Michael, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad, Weber, Sam, and Shull, Forrest
    2016
  20. ICSE
    Exploring Language Support for Immutability
    Coblenz, Michael, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad, Weber, Sam, and Shull, Forrest
    In International Conference on Software Engineering 2016 (19% acceptance rate)
  21. A Course-Based Usability Analysis of Cilk Plus and OpenMP
    Coblenz, Michael, Seacord, Robert, Myers, Brad, Sunshine, Joshua, and Aldrich, Jonathan
    In Visual Languages and Human-Centric Computing 2015
  22. Empirical Evaluation of API Usability and Security
    Weber, Sam, Seacord, Robert, Shull, Forrest, Keaton, David, Myers, Brad, and Coblenz, Michael
    In Layered Assurance Workshop
  23. PLATEAU
    Considering Productivity Effects of Explicit Type Declarations
    In Workshop on Evaluation and Usability of Programming Languages and Tools 2014
  24. Master’s Thesis
    JASPER: Facilitating Software Maintenance Activities With Explicit Task Representations
    Coblenz, Michael J.
    2006
  25. JASPER: an Eclipse plug-in to facilitate software maintenance tasks
    Coblenz, Michael, Ko, Amy J., and Myers, Brad A.
    In Eclipse Technology eXchange Workshop at OOPSLA 2006
  26. TSE
    An exploratory study of how developers seek, relate, and collect relevant information during software maintenance tasks
    Ko, Amy J, Myers, Brad A, Coblenz, Michael J, and Aung, Htet Htet
    IEEE Transactions on software engineering 2006
  27. Bachelor’s Thesis
    Using Objects of Measurement to Detect Spreadsheet Errors
    Coblenz, Michael J.
    2005 Bachelor’s honors thesis