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 - 09:00 Day opening		Opening - Day 1 Scala Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
	09:00 - 10:00 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 - 10:55 Talk		Implementing Higher-Kinded Types in Dotty Scala Martin OderskyEPFL, Switzerland, Guillaume MartresEPFL, Switzerland, Dmitry PetrashkoEPFL, Switzerland DOI Pre-print Media Attached
	10:55 - 11:20 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 - 11:45 Talk		A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun LiuEPFL, Switzerland DOI Media Attached
	11:45 - 12:10 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 - 13:55 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 - 14:20 Talk		Reflections on LMS: Exploring Front-End Alternatives Scala Tiark RompfPurdue University, USA DOI
	14:20 - 14:45 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 - 15:10 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 - 16:05 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 - 16:30 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 - 17:20 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 - 09:00 Day opening		Opening - Day 2 Scala Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
	09:00 - 10:00 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 - 10:55 Talk		Practical Aggregate Programming in Scala Scala Roberto CasadeiUniversity of Bologna, Italy Media Attached
	10:55 - 11:20 Talk		DynaML: A Scala machine learning environment Scala Mandar ChandorkarCentrum Wiskunde & Informatica
	11:20 - 11:45 Talk		Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenkovertamedia Media Attached
	11:45 - 12:10 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 - 13:55 Talk		SMT-Based Checking of Predicate-Qualified Types for Scala Scala Georg Stefan SchmidEPFL, Switzerland, Viktor KunčakEPFL, Switzerland DOI File Attached
	13:55 - 14:20 Talk		A Scala Library for Testing Student Assignments on Concurrent Programming Scala Mikaël MayerEPFL, Switzerland, Ravichandhran MadhavanEPFL DOI File Attached
	14:20 - 14:45 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 - 15:10 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 - 16:05 Talk		Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott BuckleyMacquarie University, Australia
	16:05 - 16:30 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 - 17:20 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