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

plateau-2018-papers
08:30 - 10:00: PLATEAU 2018 - Adoption & Programmer Perception at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
plateau-2018-papers08:30 - 08:50
Talk
plateau-2018-papers08:50 - 09:15
Talk
Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA
File Attached
plateau-2018-papers09:15 - 09:30
Talk
Manuel MaarekHeriot-Watt University
File Attached
plateau-2018-papers09:30 - 09:45
Talk
Anna ZengStanford University, Will CrichtonStanford University
File Attached