Write a Blog >>
Scala 2017
Sun 22 - Mon 23 October 2017 Vancouver, Canada
co-located with SPLASH 2017
SPLASH 2017 (series) / Scala 2017 (series) /

Scala 2017 Program

This is the Scala 2017 program - see the full program for SPLASH 2017 and all affiliated events.
Detailed TableSession TimelineDetailed Timeline
Get Calendar (iCal)

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote SundayScala 2017 at Regency C
Chair(s): Philipp Haller KTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala 2017

09:00
60m
Talk
Spark and Scala
Scala 2017
K: Reynold Xin Databricks
10:30 - 12:00
TypesScala 2017 at Regency C
Chair(s): Anthony Sloane Macquarie University
10:30
30m
Talk
Towards Algorithmic Typing for DOT (Short Paper)
Scala 2017
Abel Nieto University of Waterloo
DOI Pre-print File Attached
11:00
30m
Talk
The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Scala 2017
Adelbert Chang Unaffiliated
DOI Pre-print
11:30
30m
Talk
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Scala 2017
Leo Osvald Purdue University, USA, Tiark Rompf Purdue University
DOI Media Attached
13:30 - 15:00
CompilationScala 2017 at Regency C
Chair(s): Paolo G. Giarrusso University of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala 2017
Nate Nystrom
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala 2017
Aleksandar Prokopec Oracle Labs, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Thomas Wuerthinger Oracle Labs
DOI
14:30
30m
Talk
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Scala 2017
Franck Cassez Macquarie University, Australia, Anthony Sloane Macquarie University
DOI
15:30 - 17:00
Open-source & Student TalksScala 2017 at Regency C
Chair(s): Guido Salvaneschi TU Darmstadt
15:30
22m
Talk
Genomic Data Analysis in Scala (Open-Source Talk)
Scala 2017
Ryan Williams
Media Attached
15:52
22m
Talk
Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk)
Scala 2017
A: James Decker
Media Attached
16:15
22m
Talk
Delimited Control in Scala (Student Talk)
Scala 2017
A: Nils Jonsson
16:37
22m
Talk
Design of Library Interfaces (Student Talk)
Scala 2017
A: Nils Jonsson

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote MondayScala 2017 at Regency C
Chair(s): Ondřej Lhoták University of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala 2017

09:00
60m
Talk
The Hack Programming Language
Scala 2017
K: Dwayne Reeves Facebook
10:30 - 12:00
Domain-specific LanguagesScala 2017 at Regency C
10:30
30m
Talk
Typesafe Abstractions for Tensor Operations (Short Paper)
Scala 2017
Tongfei Chen
DOI Pre-print Media Attached
11:00
30m
Talk
Interactive Development using the Dotty Compiler (Tool Paper)
Scala 2017
Guillaume Martres EPFL, Switzerland
DOI Pre-print Media Attached
11:30
30m
Talk
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Scala 2017
Lars Kroll KTH Royal Institute of Technology, Sweden, Paris Carbone KTH, Sweden, Seif Haridi
DOI File Attached
13:30 - 15:00
Language DesignScala 2017 at Regency C
Chair(s): Nada Amin University of Cambridge
13:30
30m
Talk
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Scala 2017
Lionel Parreaux EPFL, Amir Shaikhha EPFL, Christoph E. Koch EPFL
DOI Media Attached
14:00
30m
Talk
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Scala 2017
Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen
DOI Pre-print Media Attached File Attached
15:30 - 17:00
UnconferenceScala 2017 at Regency C
Chair(s): Jonathan Immanuel Brachthäuser University of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala 2017