research
∙
09/12/2023
REVIS: An Error Visualization Tool for Rust
Rust is a programming language that uses a concept of ownership to guara...
share
research
∙
10/18/2021
An Empirical Study of Protocols in Smart Contracts
Smart contracts are programs that are executed on a blockhain. They have...
research
∙
10/07/2021
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
Current approaches to making programming languages and reasoning assista...
research
∙
10/03/2021
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector
Rust is a general-purpose programming language that is both type- and me...
research
∙
11/15/2020
User-Centered Programming Language Design: A Course-Based Case Study
Recently, user-centered methods have been proposed to improve the design...
research
∙
10/09/2020
Psamathe: A DSL with Flows for Safe Blockchain Assets
Blockchains host smart contracts for crowdfunding, tokens, and many othe...
research
∙
03/27/2020
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language
Some blockchain programs (smart contracts) have included serious securit...
research
∙
12/10/2019
Usability Methods for Designing Programming Languages for Software Engineers
Programming language design requires making many usability-related desig...
research
∙
12/10/2019
User-Centered Programming Language Design in the Obsidian Smart Contract Language
Programming language designers commonly guess what language designs woul...
research
∙
09/08/2019
