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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Adoption & Programmer PerceptionPLATEAU at Beacon Hill
Chair(s): Joshua Sunshine Carnegie Mellon University
08:30
20m
Talk
Welcome
PLATEAU

08:50
25m
Talk
Programming by example: efficient, but not "helpful"
PLATEAU
Mark Santolucito Yale University, USA, Drew Goldman Roslyn High School, Allyson Weseley Roslyn High School, Ruzica Piskac Yale University, USA
File Attached
09:15
15m
Talk
Observing the Uptake of a Language Change Making Strings Immutable
PLATEAU
Manuel Maarek Heriot-Watt University
File Attached
09:30
15m
Talk
Identifying Barriers to Adoption for Rust through Online Discourse
PLATEAU
Anna Zeng Stanford University, Will Crichton Stanford University
File Attached