Title Page

Article: scala16foreword-fm000-p doi:

Message from the Chairs

Article: scala16foreword-fm001-p doi:

Scala Symposium 2016 Organization

Article: scala16foreword-fm002-p doi:

Sponsors

Article: scala16foreword-fm003-p doi:

A Scala Library for Testing Student Assignments on Concurrent Programming
Mikaël Mayer and Ravichandhran Madhavan
(EPFL, Switzerland)

Article: scala16main-main9-p doi:

Reactive Async: Expressive Deterministic Concurrency
Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)

Article: scala16main-main14-p doi:

RandIR: Differential Testing for Embedded Compilers
Georg Ofenbeck, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)

Article: scala16main-main16-p doi:

SMT-Based Checking of Predicate-Qualified Types for Scala
Georg Stefan Schmid and Viktor Kuncak
(EPFL, Switzerland)

Article: scala16main-main17-p doi:

Reflections on LMS: Exploring Front-End Alternatives
Tiark Rompf
(Purdue University, USA)

Article: scala16main-main18-p doi:

Implementing Higher-Kinded Types in Dotty
Martin Odersky, Guillaume Martres, and Dmitry Petrashko
(EPFL, Switzerland)

Article: scala16main-main21-p doi:

A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
Fengyun Liu
(EPFL, Switzerland)

Article: scala16main-main23-p doi:

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, and Eelco Visser
(Delft University of Technology, Netherlands)

Article: scala16main-main24-p doi:

SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)

Article: scala16main-main25-p doi:

Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki
(EPFL, Switzerland)

Article: scala16main-main28-p doi:

Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)

Article: scala16main-main29-p doi:

Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)

Article: scala16main-main2-p doi:

The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)

Article: scala16main-main5-p doi: