Program - Scala 2017

Write a Blog >>

Sun 22 - Mon 23 October 2017 Vancouver, Canada

co-located with SPLASH 2017

Filter

Sun 22 Oct

08:30 - 10:00: Scala 2017 - Keynote Sunday at Room 7

08:45 - 09:00
Day opening

Opening - Day 1

09:00 - 10:00
Talk

Spark and Scala

10:30 - 12:00: Scala 2017 - Types at Room 7

10:30 - 11:00
Talk

Towards Algorithmic Typing for DOT (Short Paper)

11:00 - 11:30
Talk

The Limitations of Type Classes as Subtyped Implicits (Short Paper)

11:30 - 12:00
Talk

Rust-Like Borrowing with 2nd-Class Values (Short Paper)

Leo Osvald, Tiark Rompf

13:30 - 15:00: Scala 2017 - Compilation at Room 7

13:30 - 14:00
Talk

A Scala Framework for Supercompilation

14:00 - 14:30
Talk

Making Collection Operations Optimal with Aggressive JIT Compilation

Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Wuerthinger

14:30 - 15:00
Talk

ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)

Franck Cassez, Anthony Sloane

15:30 - 17:00: Scala 2017 - Open-source & Student Talks at Room 7

Mon 23 Oct

08:30 - 10:00: Scala 2017 - Keynote Monday at Room 7

08:45 - 09:00
Day opening

Opening - Day 2

09:00 - 10:00
Talk

The Hack Programming Language

10:30 - 12:00: Scala 2017 - Domain-specific Languages at Room 7

10:30 - 11:00
Talk

Typesafe Abstractions for Tensor Operations (Short Paper)

11:00 - 11:30
Talk

Interactive Development using the Dotty Compiler (Tool Paper)

Guillaume Martres

11:30 - 12:00
Talk

Modular Remote Communication Protocol Interpreters (Tool Paper)

Julien Richard-Foy, Wojciech Pituła

13:30 - 15:00: Scala 2017 - Language Design at Room 7

13:30 - 14:00
Talk

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch

14:00 - 14:30
Talk

Effekt: Extensible Algebraic Effects in Scala (Short Paper)

Jonathan Immanuel Brachthäuser, Philipp Schuster

14:30 - 15:00
Talk

Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)

Lars Kroll, Paris Carbone, Seif Haridi

15:30 - 17:00: Scala 2017 - Session 6 at Room 7

Sun 22 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 7							Scala 2017 Keynote Sunday 08:30 - 10:00																								Scala 2017 Types 10:30 - 12:00																																				Scala 2017 Compilation 13:30 - 15:00																								Scala 2017 Open-source & Student Talks 15:30 - 17:00

Mon 23 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 7							Scala 2017 Keynote Monday 08:30 - 10:00																								Scala 2017 Domain-specific Languages 10:30 - 12:00																																				Scala 2017 Language Design 13:30 - 15:00																								Scala 2017 Session 6 15:30 - 17:00

Sun 22 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Room 7										Scala 2017 Opening - Day 1 08:45 - 09:00			Scala 2017 Spark and Scala 09:00 - 10:00																		Scala 2017 Towards Algorithmic Typing for DOT (Short Paper) 10:30 - 11:00						Scala 2017 The Limitations of Type Classes as Subtyped Implicits (Short Paper) 11:00 - 11:30						Scala 2017 Rust-Like Borrowing with 2nd-Class Values (Short Paper) 11:30 - 12:00																								Scala 2017 A Scala Framework for Supercompilation 13:30 - 14:00						Scala 2017 Making Collection Operations Optimal with Aggressive JIT Compilation 14:00 - 14:30						Scala 2017 ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) 14:30 - 15:00

Mon 23 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Room 7										Scala 2017 Opening - Day 2 08:45 - 09:00			Scala 2017 The Hack Programming Language 09:00 - 10:00																		Scala 2017 Typesafe Abstractions for Tensor Operations (Short Paper) 10:30 - 11:00						Scala 2017 Interactive Development using the Dotty Compiler (Tool Paper) 11:00 - 11:30						Scala 2017 Modular Remote Communication Protocol Interpreters (Tool Paper) 11:30 - 12:00																								Scala 2017 Squid: Type-Safe, Hygienic, and Reusable Quasiquotes 13:30 - 14:00						Scala 2017 Effekt: Extensible Algebraic Effects in Scala (Short Paper) 14:00 - 14:30						Scala 2017 Kompics Scala: Narrowing the Gap between Algorithmic Specification and ... 14:30 - 15:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format