Closing Scala 2020 (Scala 2020 - 11th ACM SIGPLAN Scala Symposium) - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

Who

Nada Amin, Guido Salvaneschi, David Richter

Track

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 18 Nov 2020 13:00 - 13:20 at SPLASH-V - Scala Symposium

Nada Amin

Harvard University

United States

Guido Salvaneschi

University of St. Gallen

David Richter

Technical University of Darmstadt

Germany

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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