research
∙
10/05/2022
Gradual C0: Symbolic Execution for Efficient Gradual Verification
Current static verification techniques such as separation logic support ...
share
research
∙
05/13/2021
Gradual Program Analysis for Null Pointers
Static analysis tools typically address the problem of excessive false p...
research
∙
03/08/2021
Containing Malicious Package Updates in npm with a Lightweight Permission System
The large amount of third-party packages available in fast-moving softwa...
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
Obsidian: Typestate and Assets for Safer Blockchain Programming
Blockchain platforms are coming into broad use for processing critical t...
research
∙
05/23/2019
Design Dimensions for Software Certification: A Grounded Analysis
In many domains, software systems cannot be deployed until authorities j...
research
∙
01/16/2018