Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016

Welcome to the Scala Symposium 2016!

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala community. We welcome a broad spectrum of research topics and many formats.

This year’s Scala Symposium is collocated with Splash 2016.

Supported by
Lightbend   Oracle

Sun 30 Oct

scala-2016
08:30 - 10:00: Scala - Keynote 1 at Matterhorn 2
scala-201608:30 - 09:00
Day opening
Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
scala-201609:00 - 10:00
Talk
Laurence TrattKing's College London
Media Attached
scala-2016
10:30 - 12:10: Scala - Types at Matterhorn 2
scala-201610:30 - 10:55
Talk
Martin OderskyEPFL, Switzerland, Guillaume MartresEPFL, Switzerland, Dmitry PetrashkoEPFL, Switzerland
DOI Pre-print Media Attached
scala-201610:55 - 11:20
Talk
Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland, Nicolas StuckiEPFL, Switzerland
DOI Pre-print
scala-201611:20 - 11:45
Talk
Fengyun LiuEPFL, Switzerland
DOI Media Attached
scala-201611:45 - 12:10
Talk
Lukas Wegmann1plusX, Switzerland, Farhad MehtaUniversity of Applied Sciences Rapperswil, Switzerland, Peter SommerladUniversity of Applied Sciences Rapperswil, Switzerland, Mirko StockerUniversity of Applied Sciences Rapperswil, Switzerland
DOI File Attached
scala-2016
13:30 - 15:10: Scala - Embedding at Matterhorn 2
scala-201613:30 - 13:55
Talk
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich
DOI File Attached
scala-201613:55 - 14:20
Talk
Tiark RompfPurdue University, USA
DOI
scala-201614:20 - 14:45
Talk
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-201614:45 - 15:10
Talk
Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad
scala-2016
15:40 - 17:20: Scala - Types and Embedding at Matterhorn 2
scala-201615:40 - 16:05
Talk
Paolo G. GiarrussoUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
scala-201616:05 - 16:30
Talk
Tim van der LippeDelft University of Technology, Netherlands, Thomas SmithDelft University of Technology, Netherlands, Daniel PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands
DOI File Attached
scala-201616:30 - 17:20
Other

Mon 31 Oct

scala-2016
08:30 - 10:00: Scala - Keynote 2 at Matterhorn 2
scala-201608:30 - 09:00
Day opening
Sandro StuckiEPFL, Manohar JonnalageddaEPFL, Switzerland
scala-201609:00 - 10:00
Talk
Jan VitekNortheastern University
scala-2016
10:30 - 12:10: Scala - Reactive, Concurrent, Distributed Computation | Parsing at Matterhorn 2
Chair(s): Sébastien DoeraeneEPFL, Switzerland
scala-201610:30 - 10:55
Talk
Roberto CasadeiUniversity of Bologna, Italy
Media Attached
scala-201610:55 - 11:20
Talk
Mandar ChandorkarCentrum Wiskunde & Informatica
scala-201611:20 - 11:45
Talk
Media Attached
scala-201611:45 - 12:10
Talk
Philipp HallerKTH Royal Institute of Technology, Simon GeriesKTH Royal Institute of Technology, Sweden, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-2016
13:30 - 15:10: Scala - Analysis, Testing & Verification at Matterhorn 2
Chair(s): Philipp HallerKTH Royal Institute of Technology
scala-201613:30 - 13:55
Talk
Georg Stefan SchmidEPFL, Switzerland, Viktor KuncakEPFL, Switzerland
DOI File Attached
scala-201613:55 - 14:20
Talk
DOI File Attached
scala-201614:20 - 14:45
Talk
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium
DOI
scala-201614:45 - 15:10
Talk
Kartik ChandraHenry M. Gunn High School, Rastislav BodikUniversity of Washington, USA
Media Attached
scala-2016
15:40 - 17:20: Scala - Parsing at Matterhorn 2
scala-201615:40 - 16:05
Talk
Scott BuckleyMacquarie University, Australia
scala-201616:05 - 16:30
Talk
Anthony SloaneMacquarie University, Australia, Franck CassezMacquarie University, Australia, Scott BuckleyMacquarie University, Australia
DOI Media Attached
scala-201616:30 - 17:20
Other

Call for Papers

We welcome submissions on topics related to Scala, including (but not limited to):

  • Language design and implementation – language extensions, optimization, and performance evaluation.
  • Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming.
  • Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems.
  • Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results.
  • Big data and machine learning libraries and applications using the Scala programming language.
  • Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring.
  • Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others.
  • Tools – development environments, debuggers, refactoring tools, testing frameworks.
  • Case studies, experience reports, and pearls.

Important dates

  • Abstract submission: extended to July 25th, 2016
  • Paper submission: extended to Aug 1st, 2016
  • Paper notification: extended to September 9th, 2016
  • Camera ready: September 23rd, 2016

All deadlines are “Anywhere on Earth” (AoE)

Submission Format

To accommodate the needs of researchers and practitioners as well as beginners and experts alike, we accept submissions in several formats:

  • Full papers (10 pages)
  • Short papers (4 pages)
  • Tool papers (4 pages)
  • Student Talks (abstract)
  • Open Source Talks (abstract)

Details for each format are given below.

Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected.

Full and Short Papers

Full and Short papers should describe novel ideas, experimental results, or projects related to Scala. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community.

In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate).

The submissions should follow the ACM SIGPLAN guidelines and use a 10pt font and numeric citation style. Accepted full and short papers will be published in the proceedings and will be disseminated on the ACM Digital Library.

Tool Papers

Tool papers need not necessarily report original research results; they may report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit.

Student Talks

In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 5-10 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs.

Open Source Talks

We will accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are 10 minutes long, presenting an open-source project that would be of interest to the Scala community.

Submission Website

The submission will be managed through HotCRP: https://scala16.hotcrp.com/

For questions and additional clarifications, please contact the conference organizers.


We thank our sponsors Lightbend and Oracle for supporting some of the talented student attendees of the Scala Symposium 2016.

Lightbend   Oracle

Accepted Papers and Talks

Title
DOI Media Attached
DOI File Attached
DOI File Attached
Media Attached
DOI
DOI Pre-print Media Attached
Media Attached
DOI File Attached
DOI Pre-print Media Attached
DOI
DOI File Attached
Media Attached
DOI File Attached
DOI Pre-print Media Attached
DOI Pre-print
DOI Media Attached