2 citations · 3 across the 4 of their papers we have counts for
5 papers · 1 filter
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
Michael Coblenz
Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of parti…
An Empirical Study of Protocols in Smart Contracts
Timothy Mou, Michael Coblenz, Jonathan Aldrich
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerab…
Psamathe: A DSL with Flows for Safe Blockchain Assets
Reed Oei, Michael Coblenz, Jonathan Aldrich
Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of mo…
User-Centered Programming Language Design: A Course-Based Case Study
Michael Coblenz, Ariel Davis, Megan Hofmann +7
Recently, user-centered methods have been proposed to improve the design of programming languages. In order to explore what benefits these methods might have for novice programming…
Obsidian: Typestate and Assets for Safer Blockchain Programming
Michael Coblenz, Reed Oei, Tyler Etzel +6
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, sup…