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

Title Page

Welcome from the Chairs

Scala 2020 Organization

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version