research
∙
09/11/2023
Latte: Lightweight Aliasing Tracking for Java
Many existing systems track aliasing and uniqueness, each with their own...
share
research
∙
10/24/2022
Static Information Flow Control Made Simpler
Static information flow control (IFC) systems provide the ability to res...
research
∙
10/05/2022
Gradual C0: Symbolic Execution for Efficient Gradual Verification
Current static verification techniques such as separation logic support ...
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
∙
05/13/2021
Gradual Program Analysis for Null Pointers
Static analysis tools typically address the problem of excessive false p...
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