Program - Scala 2016

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: Scala - Embedding at Matterhorn 2

13:30 - 13:55
Talk

RandIR: Differential Testing for Embedded Compilers

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

Tiark RompfPurdue University, USA

DOI

14:20 - 14:45
Talk

SecureScala: Scala Embedding of Secure Computations

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

Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad

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. 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

Tim van der LippeDelft University of Technology, Netherlands, Thomas SmithDelft University of Technology, Netherlands, Daniël PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands

DOI File Attached

16:30 - 17:20
Other

Unconference 1

Mon 31 Oct

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

08:30 - 09:00
Day opening

Opening - Day 2

Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland

09:00 - 10:00
Talk

This is not a Type: Gradual typing in practiceKeynote

Jan VitekNortheastern University

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

10:30 - 10:55
Talk

Practical Aggregate Programming in Scala

Roberto CasadeiUniversity of Bologna, Italy

Media Attached

10:55 - 11:20
Talk

DynaML: A Scala machine learning environment

Mandar ChandorkarCentrum Wiskunde & Informatica

11:20 - 11:45
Talk

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

Ruslan Shevchenkovertamedia

Media Attached

11:45 - 12:10
Talk

Reactive Async: Expressive Deterministic Concurrency

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: Scala - Analysis, Testing & Verification 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

Georg Stefan SchmidEPFL, Switzerland, Viktor KuncakEPFL, Switzerland

DOI File Attached

13:55 - 14:20
Talk

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël MayerEPFL, Switzerland, Ravichandhran MadhavanEPFL

DOI File Attached

14:20 - 14:45
Talk

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

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

Kartik ChandraHenry M. Gunn High School, Rastislav BodikUniversity of Washington, USA

Media Attached

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

Scott BuckleyMacquarie University, Australia

16:05 - 16:30
Talk

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

Anthony SloaneMacquarie University, Australia, Franck CassezMacquarie University, Australia, Scott BuckleyMacquarie University, Australia

DOI Media Attached

16:30 - 17:20
Other

Unconference 2

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

Scala 2016 Program

Sun 30 Oct

Mon 31 Oct

Sun 30 Oct 2016

Scala

Scala

Scala

Scala

Mon 31 Oct 2016

Scala

Scala

Scala

Scala

Sun 30 Oct 2016

Mon 31 Oct 2016

Tracks