SCALA 2020
11th ACM SIGPLAN International Scala Symposium (SCALA 2020)

Title Page

Article: scala20foreword-fm000-p doi:

Welcome from the Chairs

Article: scala20foreword-fm001-p doi:

Scala 2020 Organization

Article: scala20foreword-fm002-p doi:

Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Eva Darulova
(MPI-SWS, Germany)

Publisher's Version Article: scala20main-ivt1-p doi:10.1145/3426426.3434065

ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)

Publisher's Version Article: scala20main-p3-p doi:10.1145/3426426.3428485

Semantics-Preserving Inlining for Metaprogramming
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, and Martin Odersky
(EPFL, Switzerland)

Publisher's Version Article: scala20main-p4-p doi:10.1145/3426426.3428486

Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Mohammadreza Ashouri
(University of Potsdam, Germany)

Publisher's Version Article: scala20main-p5-p doi:10.1145/3426426.3428487

ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Alexander Merritt

Publisher's Version Article: scala20main-ivt2-p doi:10.1145/3426426.3434120