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

plateau-2017
13:30 - 15:00: PLATEAU 2017 - Language, DSL, and Feature Design at Regency D
Chair(s): Joshua SunshineCarnegie Mellon University
plateau-2017150875820000013:30 - 13:50
Talk
Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Pre-print
plateau-2017150875940000013:50 - 14:05
Talk
Yasaman SefidgarUniversity of Washington, Maya CakmakUniversity of Washington
Pre-print
plateau-2017150876030000014:05 - 14:25
Talk
Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad MyersCarnegie Mellon University
Pre-print
plateau-2017150876150000014:25 - 14:45
Talk
Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI)
Pre-print
plateau-2017150876270000014:45 - 15:00
Talk
Alon AmidUC Berkeley, Borivoje NikolicUC Berkeley
Pre-print