SCALA 2017
8th ACM SIGPLAN International Scala Symposium (SCALA 2017)

Title Page


Article: scala17foreword-fm000-p doi:

Message from the Chairs


Article: scala17foreword-fm001-p doi:

Spark and Scala (Keynote)
Reynold Xin
(Databricks, USA)


@InProceedings{SCALA17p1, author = {Reynold Xin}, title = {Spark and Scala (Keynote)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3136000.3148042}, year = {2017}, } Publisher's Version Article: scala17key-key1-p doi:10.1145/3136000.3148042

Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto
(University of Waterloo, Canada)


@InProceedings{SCALA17p100, author = {Abel Nieto}, title = {Towards Algorithmic Typing for DOT (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2017}, } Article: scala17main-scala17main11-p doi:

The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Adelbert Chang


@InProceedings{SCALA17p107, author = {Adelbert Chang}, title = {The Limitations of Type Classes as Subtyped Implicits (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {107-106}, doi = {}, year = {2017}, } Article: scala17main-scala17main19-p doi:

Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf
(Purdue University, USA)


@InProceedings{SCALA17p114, author = {Leo Osvald and Tiark Rompf}, title = {Rust-Like Borrowing with 2nd-Class Values (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {114-113}, doi = {}, year = {2017}, } Article: scala17main-scala17main27-p doi:

A Scala Framework for Supercompilation
Nathaniel Nystrom
(University of Lugano, Switzerland)


@InProceedings{SCALA17p121, author = {Nathaniel Nystrom}, title = {A Scala Framework for Supercompilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: scala17main-scala17main29-p doi:

Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)


@InProceedings{SCALA17p135, author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger}, title = {Making Collection Operations Optimal with Aggressive JIT Compilation}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2017}, } Article: scala17main-scala17main10-p doi:

Interactive Development using the Dotty Compiler (Tool Paper)
Guillaume Martres
(EPFL, Switzerland)


@InProceedings{SCALA17p149, author = {Guillaume Martres}, title = {Interactive Development using the Dotty Compiler (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {149-148}, doi = {}, year = {2017}, } Article: scala17main-scala17main30-p doi:

Typesafe Abstractions for Tensor Operations (Short Paper)
Tongfei Chen
(Johns Hopkins University, USA)


@InProceedings{SCALA17p156, author = {Tongfei Chen}, title = {Typesafe Abstractions for Tensor Operations (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {156-155}, doi = {}, year = {2017}, } Article: scala17main-scala17main7-p doi:

ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)


@InProceedings{SCALA17p163, author = {Franck Cassez and Anthony M. Sloane}, title = {ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {163-162}, doi = {}, year = {2017}, } Article: scala17main-scala17main14-p doi:

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)


@InProceedings{SCALA17p170, author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch}, title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2017}, } Article: scala17main-scala17main16-p doi:

Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser and Philipp Schuster
(University of Tübingen, Germany)


@InProceedings{SCALA17p184, author = {Jonathan Immanuel Brachthäuser and Philipp Schuster}, title = {Effekt: Extensible Algebraic Effects in Scala (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {184-183}, doi = {}, year = {2017}, } Article: scala17main-scala17main20-p doi:

Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)


@InProceedings{SCALA17p191, author = {Lars Kroll and Paris Carbone and Seif Haridi}, title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {191-190}, doi = {}, year = {2017}, } Article: scala17main-scala17main25-p doi: