15 citations · 41 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.PL2021★ 1 cited
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…
cs.PL2021
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…
cs.SE2021★ 9 cited
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
Michael Coblenz, Michelle Mazurek, Michael Hicks
Rust is a general-purpose programming language that is both type- and memory-safe. Rust does not use a garbage collector, but rather achieves these properties through a sophisticat…