15 citations · 52 across the 9 of their papers we have counts for
10 papers
Static Information Flow Control Made Simpler
Hemant Gouni, Jonathan Aldrich
Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be statically i…
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…
Gradual Program Analysis for Null Pointers
Sam Estep, Jenna Wise, Jonathan Aldrich +3
Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete ann…
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…
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Michael Coblenz, Jonathan Aldrich, Joshua Sunshine +1
Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system…