Mon 5 Nov 2018 09:15 - 09:30 at Beacon Hill - Adoption & Programmer Perception Chair(s): Joshua Sunshine

To address security concerns, a major change was introduced to the OCaml language and compiler which made strings immutable and introduced array of bytes as replacement for mutable strings. The change is progressively being pushed so that ultimately immutable strings will become default. We have have started to investigate the way OCaml developers have taken up the change. In this paper we report on a preliminary observation of software code from the main OCaml package management system. For this purpose we instrumented versions of the OCaml compiler to get precise information into the up-take of of safe strings.

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Adoption & Programmer PerceptionPLATEAU at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
08:30
20m
Talk
Welcome
PLATEAU
08:50
25m
Talk
Programming by example: efficient, but not "helpful"
PLATEAU
Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA
File Attached
09:15
15m
Talk
Observing the Uptake of a Language Change Making Strings Immutable
PLATEAU
Manuel MaarekHeriot-Watt University
File Attached
09:30
15m
Talk
Identifying Barriers to Adoption for Rust through Online Discourse
PLATEAU
Anna ZengStanford University, Will CrichtonStanford University
File Attached