ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 10:40 - 11:00 at SPLASH-V - Scala Symposium

The talk opens by providing a sketch of machine learning and how it relates to functional programming. We subsequently introduce ONNX and ONNX-Scala, looking at design goals and features, discussing backends, the generated fine-grained API, and model code generation. Along the way we compare an ONNX model visualization with the representation of the model in ONNX-Scala. This is followed by a brief discussion of the type-safe/functional features offered by ONNX-Scala and the Dotty features they are built on. Finally, we close on some remarks on future directions, particularly the use of Dotty metaprogramming and other new features.

Topics: Machine Learning, Interoperability

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 14:20
Scala SymposiumScala at SPLASH-V
10:00
5m
Day opening
Welcome to Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt
10:05
35m
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
Eva Darulova MPI-SWS
10:40
20m
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
Alexander Merritt Independent
11:00
20m
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza Ashouri University of Potsdam, Germany
11:40
20m
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza Ashouri University of Potsdam, Germany
12:00
20m
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley
12:20
20m
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Sébastien Doeraene EPFL, Switzerland, Martin Odersky EPFL
12:40
20m
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz Kabir University of Alberta, Karim Ali University of Alberta
13:00
20m
Day closing
Closing Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt