Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 13:30 - 13:50 at Regency D - Language, DSL, and Feature Design Chair(s): Joshua Sunshine

Blockchain platforms such as Ethereum and Hyperledger facilitate transactions between parties that have not established trust. Increased interest in these platforms has motivated the design of programming languages such as Solidity, which allow users to create blockchain programs. However, there have been several recent instances where Solidity programs have contained bugs that have been exploited. The security of blockchain programs is especially important given that they commonly involve the exchange of money or other objects with real-world value. We are currently developing a blockchain-based programming language called Obsidian with the goal of minimizing the risk of common security vulnerabilities. We are designing this language in a human-centered way, conducting exploratory user studies with a natural programming approach to inform our design choices. In this paper, we discuss our approach to the design of a user study, as well as our preliminary findings.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Language, DSL, and Feature DesignPLATEAU at Regency D
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
20m
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste Barnaby Wesleyan University, Michael Coblenz Carnegie Mellon University, Tyler Etzel , Eliezer Kanal Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
Pre-print
13:50
15m
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman Sefidgar University of Washington, Maya Cakmak University of Washington
Pre-print
14:05
20m
Talk
Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren Murphy University of Michigan, Tosin Alliyu Haverford College, Mary Beth Kery Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
Pre-print
14:25
20m
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal Sasso Università della Svizzera Italiana, Andrei Chiş feenk, Switzerland, Andrea Mocci Universita della Svizzera italiana (USI), Tudor Gîrba CompuGroup Medical Schweiz AG, Michele Lanza Università della Svizzera italiana (USI)
Pre-print
14:45
15m
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon Amid UC Berkeley, Borivoje Nikolic UC Berkeley
Pre-print