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)


@InProceedings{SCALA20p1, author = {Eva Darulova}, title = {Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426426.3434065}, year = {2020}, } Publisher's Version

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


@InProceedings{SCALA20p15, author = {Shadaj Laddad and Koushik Sen}, title = {ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3426426.3428485}, year = {2020}, } Publisher's Version

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


@InProceedings{SCALA20p29, author = {Nicolas Stucki and Aggelos Biboudis and Sébastien Doeraene and Martin Odersky}, title = {Semantics-Preserving Inlining for Metaprogramming}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426426.3428486}, year = {2020}, } Publisher's Version

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


@InProceedings{SCALA20p43, author = {Mohammadreza Ashouri}, title = {Kaizen: A Scalable Concolic Fuzzing Tool for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3426426.3428487}, year = {2020}, } Publisher's Version

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


@InProceedings{SCALA20p57, author = {Alexander Merritt}, title = {ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3426426.3434120}, year = {2020}, } Publisher's Version