Powered by
Conference Publishing Consulting

2016 7th ACM SIGPLAN Scala Symposium (SCALA 2016), October 30–31, 2016, Amsterdam, Netherlands

SCALA 2016 – Proceedings

Contents - Abstracts - Authors


Title Page
Message from the Chairs
Scala Symposium 2016 Organization


A Scala Library for Testing Student Assignments on Concurrent Programming
Mikaël Mayer and Ravichandhran Madhavan
(EPFL, Switzerland)
Reactive Async: Expressive Deterministic Concurrency
Philipp Haller ORCID logo, Simon Geries, Michael Eichberg, and Guido Salvaneschi
(KTH, Sweden; TU Darmstadt, Germany)
RandIR: Differential Testing for Embedded Compilers
Georg Ofenbeck, Tiark Rompf ORCID logo, and Markus Püschel ORCID logo
(ETH Zurich, Switzerland; Purdue University, USA)
SMT-Based Checking of Predicate-Qualified Types for Scala
Georg Stefan Schmid and Viktor Kuncak ORCID logo
(EPFL, Switzerland)
Reflections on LMS: Exploring Front-End Alternatives
Tiark Rompf ORCID logo
(Purdue University, USA)
Implementing Higher-Kinded Types in Dotty
Martin Odersky ORCID logo, Guillaume Martres, and Dmitry Petrashko
(EPFL, Switzerland)
A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
Fengyun Liu
(EPFL, Switzerland)
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 ORCID logo
(Delft University of Technology, Netherlands)
SecureScala: Scala Embedding of Secure Computations
Markus Hauck, Savvas Savvides ORCID logo, Patrick Eugster, Mira MeziniORCID logo, and Guido Salvaneschi
(Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany)
Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki ORCID logo
(EPFL, Switzerland)
Scaps: Type-Directed API Search for Scala
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker
(1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland)

Tool Demonstrations

Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter ORCID logo, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)

proc time: 0.76