Write a Blog >>
Fri 28 Sep 2018 10:42 - 11:05 at Frisco - Session 1: Scala Foundations Chair(s): Paolo G. Giarrusso

Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching methods, the usage of closures and instantiating nested classes are important during initialization. Based on the study, we conclude that existing proposals for safe initialization are inadequate for Scala.

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:50
Session 1: Scala FoundationsScala 2018 at Frisco
Chair(s): Paolo G. Giarrusso EPFL, Switzerland
10:20
22m
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala 2018
Olof Karlsson A3J Consulting, Sweden, Philipp Haller KTH, Sweden
DOI
10:42
23m
Talk
Initialization Patterns in Dotty
Scala 2018
Fengyun Liu EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland
DOI
11:05
22m
Talk
Path Dependent Types with Path-Equality
Scala 2018
Jaemin Hong KAIST, South Korea, Jihyeok Park KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
DOI
11:27
23m
Talk
κDOT: Scaling DOT with Mutation and Constructors
Scala 2018
Ifaz Kabir University of Waterloo, Canada, Ondřej Lhoták University of Waterloo
DOI