SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Tue 21 Oct 2014 16:15 - 16:37 at Salon D - Session 4 Chair(s): Thomas LaToza

Plaid is a research programming language with a focus on typestate, permissions, and concurrency. Typestate describes ordering constraints on method calls to an object; Plaid incorporates typestate into both its object model and its type system. Permissions, incorporated into Plaid’s type system and runtime, describe whether a reference can be aliased and whether aliases can change that reference. Permissions support static typestate checking, but they also allow Plaid’s compiler to automatically parallelize Plaid code. In this paper, we describe the usability-related hypotheses that drove the design of Plaid. We describe the evidence, both informal and scientific, that inspired and (in some cases) validated these hypotheses, and reflect on our experience designing and validating the language.

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

15:30 - 17:00
Session 4PLATEAU at Salon D
Chair(s): Thomas LaToza University of California, Irvine
15:30
22m
Talk
Wyvern: Impacting Software Security via Programming Language Design
PLATEAU
Darya Melicher Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
File Attached
15:52
22m
Talk
Considering Productivity Effects of Explicit Type Declarations
PLATEAU
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:15
22m
Talk
Usability Hypotheses in the Design of Plaid
PLATEAU
Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:37
22m
Other
Group Activity
PLATEAU