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

Frontmatter

Title Page
Message from the Chairs
Scala Symposium 2016 Organization
Sponsors

Papers

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

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)
Publisher's Version Article Search
The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Anthony M. Sloane, Franck Cassez, and Scott Buckley
(Macquarie University, Australia)
Publisher's Version Article Search Info

proc time: 1.78