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
    arXiv
  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
    arXiv
  4. OOPSLA
    Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad A., and Sunshine, Joshua
    In PACMPL Issue OOPSLA 2020 (Distinguished Artifact Award)
    ACM DL Demo
  5. Ph.D. Thesis
    User-Centered Design of Principled Programming Languages
    Coblenz, Michael J.
    2020 Ph.D. Thesis
    PDF
  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
    ACM DL
  7. Glacier software and user study replication package
    Coblenz, Michael, Nelson, Whitney, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    2020
    Website
  8. Obsidian smart contract programming language
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    2020
    Website
  9. Obsidian vs. Solidity RCT Replication Package
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    2020
    Website
  10. WETSEB
    Smarter Smart Contract Development Tools
    Coblenz, Michael, Sunshine, Joshua, Aldrich, Jonathan, and Myers, Brad A.
    2nd International Workshop on Emerging Trends in Software Engineering for Blockchain 2019
    IEEE Xplore
  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
    arXiv
  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
    PDF
  13. Onward!
    Interdisciplinary Programming Language Design
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad A., and Sunshine, Joshua
    In Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software 2018
    ACM DL
  14. <Programming>
    Interdisciplinary Programming Language Design
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad A., and Sunshine, Joshua
    2019
    Website
  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)
    IEEE Xplore
  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
    PDF
  17. ICSE SRC
    Obsidian: a safer blockchain programming language
    Coblenz, Michael
    In International Conference on Software Engineering Companion 2017
    IEEE Xplore
  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)
    ACM DL
  19. TR
    Exploring Language Support for Immutability (extended version)
    Coblenz, Michael, Sunshine, Joshua, Aldrich, Jonathan, Myers, Brad, Weber, Sam, and Shull, Forrest
    2016
    PDF
  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)
    ACM DL
  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
    PDF
  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
    PDF
  23. PLATEAU
    Considering Productivity Effects of Explicit Type Declarations
    Coblenz, Michael, Aldrich, Jonathan, Myers, Brad, and Sunshine, Joshua
    In Workshop on Evaluation and Usability of Programming Languages and Tools 2014
    ACM DL
  24. Master’s Thesis
    JASPER: Facilitating Software Maintenance Activities With Explicit Task Representations
    Coblenz, Michael J.
    2006
    PDF
  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
    ACM DL
  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
    IEEE Xplore
  27. Bachelor’s Thesis
    Using Objects of Measurement to Detect Spreadsheet Errors
    Coblenz, Michael J.
    2005 Bachelor’s honors thesis
    PDF