Program - Scala 2016

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

08:30 30m Day opening		Opening - Day 1 Scala Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
09:00 60m Talk		Fine-grained language composition without a common VMKeynote Scala Laurence TrattKing's College London Media Attached

10:30 - 12:10	TypesScala at Matterhorn 2

10:30 25m Talk		Implementing Higher-Kinded Types in Dotty Scala Martin OderskyEPFL, Switzerland, Guillaume MartresEPFL, Switzerland, Dmitry PetrashkoEPFL, Switzerland DOI Pre-print Media Attached
10:55 25m Talk		Semantics-Driven Interoperability between Scala.js and JavaScript Scala Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland, Nicolas StuckiEPFL, Switzerland DOI Pre-print
11:20 25m Talk		A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun LiuEPFL, Switzerland DOI Media Attached
11:45 25m Talk		Scaps: Type-Directed API Search for Scala Scala Lukas Wegmann1plusX, Switzerland, Farhad MehtaUniversity of Applied Sciences Rapperswil, Switzerland, Peter SommerladUniversity of Applied Sciences Rapperswil, Switzerland, Mirko StockerUniversity of Applied Sciences Rapperswil, Switzerland DOI File Attached

13:30 - 15:10	EmbeddingScala at Matterhorn 2

13:30 25m Talk		RandIR: Differential Testing for Embedded Compilers Scala Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich DOI File Attached
13:55 25m Talk		Reflections on LMS: Exploring Front-End Alternatives Scala Tiark RompfPurdue University, USA DOI
14:20 25m Talk		SecureScala: Scala Embedding of Secure Computations Scala Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany DOI Pre-print Media Attached
14:45 25m Talk		Towards a Scala embedded information system description DSL Scala Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad

15:40 - 17:20	Types and EmbeddingScala at Matterhorn 2

15:40 25m Talk		Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Scala Paolo G. GiarrussoUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
16:05 25m Talk		A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Scala Tim van der LippeDelft University of Technology, Netherlands, Thomas SmithDelft University of Technology, Netherlands, Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands DOI File Attached
16:30 50m Other		Unconference 1 Scala

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

08:30 30m Day opening		Opening - Day 2 Scala Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
09:00 60m Talk		This is not a Type: Gradual typing in practiceKeynote Scala Jan VitekNortheastern University

10:30 - 12:10	Reactive, Concurrent, Distributed Computation \| ParsingScala at Matterhorn 2 Chair(s): Sébastien DoeraeneEPFL, Switzerland

10:30 25m Talk		Practical Aggregate Programming in Scala Scala Roberto CasadeiUniversity of Bologna, Italy Media Attached
10:55 25m Talk		DynaML: A Scala machine learning environment Scala Mandar ChandorkarCentrum Wiskunde & Informatica
11:20 25m Talk		Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenkovertamedia Media Attached
11:45 25m Talk		Reactive Async: Expressive Deterministic Concurrency Scala Philipp HallerKTH Royal Institute of Technology, Simon GeriesKTH Royal Institute of Technology, Sweden, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Germany DOI Pre-print Media Attached

13:30 - 15:10	Analysis, Testing & VerificationScala at Matterhorn 2 Chair(s): Philipp HallerKTH Royal Institute of Technology

13:30 25m Talk		SMT-Based Checking of Predicate-Qualified Types for Scala Scala Georg Stefan SchmidEPFL, Switzerland, Viktor KunčakEPFL, Switzerland DOI File Attached
13:55 25m Talk		A Scala Library for Testing Student Assignments on Concurrent Programming Scala Mikaël MayerEPFL, Switzerland, Ravichandhran MadhavanEPFL DOI File Attached
14:20 25m Talk		Building a Modular Static Analysis Framework in Scala (Tool Paper) Scala Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium DOI
14:45 25m Talk		Automatically finding Scala soundness bugs Scala Kartik ChandraHenry M. Gunn High School, Rastislav BodikUniversity of Washington, USA Media Attached

15:40 - 17:20	ParsingScala at Matterhorn 2

15:40 25m Talk		Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott BuckleyMacquarie University, Australia
16:05 25m Talk		The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Scala Anthony SloaneMacquarie University, Australia, Franck CassezMacquarie University, Australia, Scott BuckleyMacquarie University, Australia DOI Media Attached
16:30 50m Other		Unconference 2 Scala

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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																								Scala Types																																				Scala Embedding																										Scala Types and Embedding

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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																								Scala Reactive, Concurrent, Distributed Computation \| Parsing																																				Scala Analysis, Testing & Verification																										Scala Parsing

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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

Scala 2016 Program

Filter Program

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Scala 2016 Program

Filter Program

Program Display Configuration

Sun 30 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Mon 31 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Scala

Scala

Scala

Scala

Sun 30 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change