Program - Scala 2016

Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands

co-located with SPLASH 2016

Filter

Sun 30 Oct

08:30 - 10:00: Scala - Keynote 1 at Matterhorn 2

08:30 - 09:00
Day opening

Opening - Day 1

Sandro Stucki, Manohar Jonnalagedda

09:00 - 10:00
Talk

Fine-grained language composition without a common VMKeynote

10:30 - 12:10: Scala - Types at Matterhorn 2

10:30 - 10:55
Talk

Implementing Higher-Kinded Types in Dotty

Martin Odersky, Guillaume Martres, Dmitry Petrashko

DOI Pre-print Media Attached

10:55 - 11:20
Talk

Semantics-Driven Interoperability between Scala.js and JavaScript

Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki

11:20 - 11:45
Talk

A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)

DOI Media Attached

11:45 - 12:10
Talk

Scaps: Type-Directed API Search for Scala

Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker

DOI File Attached

13:30 - 15:10: Scala - Embedding at Matterhorn 2

13:30 - 13:55
Talk

RandIR: Differential Testing for Embedded Compilers

Georg Ofenbeck, Tiark Rompf, Markus Püschel

DOI File Attached

13:55 - 14:20
Talk

Reflections on LMS: Exploring Front-End Alternatives

14:20 - 14:45
Talk

SecureScala: Scala Embedding of Secure Computations

Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi

DOI Pre-print Media Attached

14:45 - 15:10
Talk

Towards a Scala embedded information system description DSL

Zeljko Bajic, Milan Jovic

15:40 - 17:20: Scala - Types and Embedding at Matterhorn 2

15:40 - 16:05
Talk

Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”

Paolo G. Giarrusso, Jonathan Immanuel Brachthäuser

16:05 - 16:30
Talk

A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report

Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, Eelco Visser

DOI File Attached

16:30 - 17:20
Other

Mon 31 Oct

08:30 - 10:00: Scala - Keynote 2 at Matterhorn 2

08:30 - 09:00
Day opening

Opening - Day 2

Sandro Stucki, Manohar Jonnalagedda

09:00 - 10:00
Talk

This is not a Type: Gradual typing in practiceKeynote

10:30 - 12:10: Scala - Reactive, Concurrent, Distributed Computation | Parsing at Matterhorn 2
Chair(s): Sébastien Doeraene

10:30 - 10:55
Talk

Practical Aggregate Programming in Scala

Roberto Casadei

10:55 - 11:20
Talk

DynaML: A Scala machine learning environment

Mandar Chandorkar

11:20 - 11:45
Talk

Scala-Gopher: CSP-style programming techniques with idiomatic Scala.

Ruslan Shevchenko

11:45 - 12:10
Talk

Reactive Async: Expressive Deterministic Concurrency

Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi

DOI Pre-print Media Attached

13:30 - 15:10: Scala - Analysis, Testing & Verification at Matterhorn 2
Chair(s): Philipp Haller

13:30 - 13:55
Talk

SMT-Based Checking of Predicate-Qualified Types for Scala

Georg Stefan Schmid, Viktor Kuncak

DOI File Attached

13:55 - 14:20
Talk

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Madhavan

DOI File Attached

14:20 - 14:45
Talk

Building a Modular Static Analysis Framework in Scala (Tool Paper)

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

14:45 - 15:10
Talk

Automatically finding Scala soundness bugs

Kartik Chandra, Rastislav Bodik

15:40 - 17:20: Scala - Parsing at Matterhorn 2

15:40 - 16:05
Talk

Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification

16:05 - 16:30
Talk

The sbt-rats Parser Generator Plugin for Scala (Tool Paper)

Anthony Sloane, Franck Cassez, Scott Buckley

DOI Media Attached

16:30 - 17:20
Other

Sun 30 Oct 2016


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
Matterhorn 2							Scala Keynote 1 08:30 - 10:00																								Scala Types 10:30 - 12:10																																				Scala Embedding 13:30 - 15:10																										Scala Types and Embedding 15:40 - 17:20

Mon 31 Oct 2016


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
Matterhorn 2							Scala Keynote 2 08:30 - 10:00																								Scala Reactive, Concurrent, Distributed Computation \| Parsing 10:30 - 12:10																																				Scala Analysis, Testing & Verification 13:30 - 15:10																										Scala Parsing 15:40 - 17:20

Sun 30 Oct 2016


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			16:00			15			30			45			17:00			15			30			45
Matterhorn 2							Scala 2016 Opening - Day 1 08:30 - 09:00						Scala 2016Keynote Fine-grained language composition without a common VM 09:00 - 10:00																		Scala 2016 Implementing Higher-Kinded Types in Dotty 10:30 - 10:55					Scala 2016 Semantics-Driven Interoperability between Scala.js and JavaScript 10:55 - 11:20					Scala 2016 A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Shor ... 11:20 - 11:45					Scala 2016 Scaps: Type-Directed API Search for Scala 11:45 - 12:10																					Scala 2016 RandIR: Differential Testing for Embedded Compilers 13:30 - 13:55					Scala 2016 Reflections on LMS: Exploring Front-End Alternatives 13:55 - 14:20					Scala 2016 SecureScala: Scala Embedding of Secure Computations 14:20 - 14:45					Scala 2016 Towards a Scala embedded information system description DSL 14:45 - 15:10											Scala 2016 Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” 15:40 - 16:05					Scala 2016 A Scalable Infrastructure for Teaching Concepts of Programming Language ... 16:05 - 16:30					Scala 2016 Unconference 1 16:30 - 17:20

Mon 31 Oct 2016


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			16:00			15			30			45			17:00			15			30			45
Matterhorn 2							Scala 2016 Opening - Day 2 08:30 - 09:00						Scala 2016Keynote This is not a Type: Gradual typing in practice 09:00 - 10:00																		Scala 2016 Practical Aggregate Programming in Scala 10:30 - 10:55					Scala 2016 DynaML: A Scala machine learning environment 10:55 - 11:20					Scala 2016 Scala-Gopher: CSP-style programming techniques with idiomatic Scala. 11:20 - 11:45					Scala 2016 Reactive Async: Expressive Deterministic Concurrency 11:45 - 12:10																					Scala 2016 SMT-Based Checking of Predicate-Qualified Types for Scala 13:30 - 13:55					Scala 2016 A Scala Library for Testing Student Assignments on Concurrent Programming 13:55 - 14:20					Scala 2016 Building a Modular Static Analysis Framework in Scala (Tool Paper) 14:20 - 14:45					Scala 2016 Automatically finding Scala soundness bugs 14:45 - 15:10											Scala 2016 Using Scala’s pattern matching features for an attribute grammar formal ... 15:40 - 16:05					Scala 2016 The sbt-rats Parser Generator Plugin for Scala (Tool Paper) 16:05 - 16:30					Scala 2016 Unconference 2 16:30 - 17:20

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