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

Static types may be used both by the language implementation and directly by the user as documentation. Though much existing work focuses primarily on the implications of static types on the semantics of programs, relatively little work considers the impact on usability that static types pro- vide. Though the omission of static type information may decrease program length and thereby improve readability, it may also decrease readability because users must then frequently derive type information manually while reading programs. As type inference becomes more popular in languages that are in widespread use, it is important to consider whether the adoption of type inference may impact productivity of developers.

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