Mon 8 Jan 2018 15:00 - 15:30 at Crocker - Session 1-2 Chair(s): Kenichi Asai

Gradual typing systems ensure type soundness by transforming static type annotations into run-time checks. These checks provide semantic guarantees, but may come at a large cost in performance. In particular, recent work by Takikawa et al. suggests that enforcing a conventional form of type soundness may slow a program by two orders of magnitude.

Since different gradual typing systems satisfy different notions of soundness, the question then arises: what is the cost of such varying notions of soundness? This paper answers an instance of this question by applying Takikawa et al.’s evaluation method to Reticulated Python, which satisfies a notion of type-tag soundness. We find that the cost of soundness in Reticulated is at most one order of magnitude.

Mon 8 Jan

14:00 - 15:30: PEPM 2018 - Session 1-2 at Crocker
Chair(s): Kenichi AsaiOchanomizu University
PEPM-2018151541640000014:00 - 14:30
Akifumi ImanishiKyoto University, Kohei SuenagaGraduate School of Informatics, Kyoto University, Atsushi IgarashiKyoto University, Japan
PEPM-2018151541820000014:30 - 15:00
David BromanKTH Royal Institute of Technology, Jeremy G. SiekIndiana University, USA
PEPM-2018151542000000015:00 - 15:30
Ben GreenmanNortheastern University, Zeina MigeedUniversity of California, Los Angeles