Title Page

Message from the Chairs

Scala Symposium 2016 Organization

Sponsors

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


@InProceedings{SCALA16p1, author = {Mikaël Mayer and Ravichandhran Madhavan}, title = {A Scala Library for Testing Student Assignments on Concurrent Programming}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p11, author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi}, title = {Reactive Async: Expressive Deterministic Concurrency}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p21, author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel}, title = {RandIR: Differential Testing for Embedded Compilers}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p31, author = {Georg Stefan Schmid and Viktor Kuncak}, title = {SMT-Based Checking of Predicate-Qualified Types for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p41, author = {Tiark Rompf}, title = {Reflections on LMS: Exploring Front-End Alternatives}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p51, author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko}, title = {Implementing Higher-Kinded Types in Dotty}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p61, author = {Fengyun Liu}, title = {A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, }

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)


@InProceedings{SCALA16p66, author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser}, title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, }

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)


@InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p86, author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki}, title = {Semantics-Driven Interoperability between Scala.js and JavaScript}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p96, author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker}, title = {Scaps: Type-Directed API Search for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {96-95}, doi = {}, year = {2016}, }

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)


@InProceedings{SCALA16p106, author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover}, title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, }

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


@InProceedings{SCALA16p111, author = {Anthony M. Sloane and Franck Cassez and Scott Buckley}, title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, }