SCALA 2016- Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala

Full Citation in the ACM Digital Library

SESSION: Papers

A Scala library for testing student assignments on concurrent programming

• Mikaël Mayer
• Ravichandhran Madhavan

Reactive Async: expressive deterministic concurrency

• Philipp Haller
• Simon Geries
• Michael Eichberg
• Guido Salvaneschi

RandIR: differential testing for embedded compilers

• Georg Ofenbeck
• Tiark Rompf
• Markus Püschel

SMT-based checking of predicate-qualified types for Scala

• Georg Stefan Schmid
• Viktor Kuncak

Reflections on LMS: exploring front-end alternatives

• Tiark Rompf

Implementing higher-kinded types in Dotty

• Martin Odersky
• Guillaume Martres
• Dmitry Petrashko

A generic algorithm for checking exhaustivity of pattern matching (short paper)

• Fengyun Liu

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
• Eelco Visser

SecureScala: Scala embedding of secure computations

• Markus Hauck
• Savvas Savvides
• Patrick Eugster
• Mira Mezini
• Guido Salvaneschi

Semantics-driven interoperability between Scala.js and JavaScript

• Sébastien Doeraene
• Tobias Schlatter
• Nicolas Stucki

Scaps: type-directed API search for Scala

• Lukas Wegmann
• Farhad Mehta
• Peter Sommerlad
• Mirko Stocker

SESSION: Tool Demonstrations

Building a modular static analysis framework in Scala (tool paper)

• Quentin Stiévenart
• Jens Nicolay
• Wolfgang De Meuter
• Coen De Roover

The sbt-rats parser generator plugin for Scala (tool paper)

• Anthony M. Sloane
• Franck Cassez
• Scott Buckley