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
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Fine-grained language composition without a common VMKeynote Scala Laurence Tratt King's College London Media Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | Implementing Higher-Kinded Types in Dotty Scala Martin Odersky EPFL, Switzerland, Guillaume Martres EPFL, Switzerland, Dmitry Petrashko EPFL, Switzerland DOI Pre-print Media Attached | ||
10:55 25mTalk | Semantics-Driven Interoperability between Scala.js and JavaScript Scala Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland, Nicolas Stucki EPFL, Switzerland DOI Pre-print | ||
11:20 25mTalk | A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun Liu EPFL, Switzerland DOI Media Attached | ||
11:45 25mTalk | Scaps: Type-Directed API Search for Scala Scala Lukas Wegmann 1plusX, Switzerland, Farhad Mehta University of Applied Sciences Rapperswil, Switzerland, Peter Sommerlad University of Applied Sciences Rapperswil, Switzerland, Mirko Stocker University of Applied Sciences Rapperswil, Switzerland DOI File Attached | ||
13:30 - 15:10 | |||
13:30 25mTalk | RandIR: Differential Testing for Embedded Compilers Scala Georg Ofenbeck ETH Zurich, Switzerland, Tiark Rompf Purdue University, USA, Markus Püschel ETH Zurich DOI File Attached | ||
13:55 25mTalk | Reflections on LMS: Exploring Front-End Alternatives Scala Tiark Rompf Purdue University, USA DOI | ||
14:20 25mTalk | SecureScala: Scala Embedding of Secure Computations Scala Markus Hauck codecentric AG, Savvas Savvides Purdue University, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
14:45 25mTalk | Towards a Scala embedded information system description DSL Scala Zeljko Bajic , Milan Jovic Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad | ||
15:40 - 17:20 | |||
15:40 25mTalk | Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Scala Paolo G. Giarrusso University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany | ||
16:05 25mTalk | A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Scala Tim van der Lippe Delft University of Technology, Netherlands, Thomas Smith Delft University of Technology, Netherlands, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands DOI File Attached | ||
16:30 50mOther | Unconference 1 Scala | ||
Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | This is not a Type: Gradual typing in practiceKeynote Scala Jan Vitek Northeastern University | ||
10:30 - 12:10 | Reactive, Concurrent, Distributed Computation | ParsingScala at Matterhorn 2 Chair(s): Sébastien Doeraene EPFL, Switzerland | ||
10:30 25mTalk | Practical Aggregate Programming in Scala Scala Roberto Casadei University of Bologna, Italy Media Attached | ||
10:55 25mTalk | DynaML: A Scala machine learning environment Scala Mandar Chandorkar Centrum Wiskunde & Informatica | ||
11:20 25mTalk | Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenko vertamedia Media Attached | ||
11:45 25mTalk | Reactive Async: Expressive Deterministic Concurrency Scala Philipp Haller KTH Royal Institute of Technology, Simon Geries KTH Royal Institute of Technology, Sweden, Michael Eichberg TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
13:30 - 15:10 | Analysis, Testing & VerificationScala at Matterhorn 2 Chair(s): Philipp Haller KTH Royal Institute of Technology | ||
13:30 25mTalk | SMT-Based Checking of Predicate-Qualified Types for Scala Scala DOI File Attached | ||
13:55 25mTalk | A Scala Library for Testing Student Assignments on Concurrent Programming Scala DOI File Attached | ||
14:20 25mTalk | Building a Modular Static Analysis Framework in Scala (Tool Paper) Scala Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel, Belgium DOI | ||
14:45 25mTalk | Automatically finding Scala soundness bugs Scala Media Attached | ||
15:40 - 17:20 | |||
15:40 25mTalk | Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott Buckley Macquarie University, Australia | ||
16:05 25mTalk | The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Scala Anthony Sloane Macquarie University, Australia, Franck Cassez Macquarie University, Australia, Scott Buckley Macquarie University, Australia DOI Media Attached | ||
16:30 50mOther | Unconference 2 Scala | ||
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.
- Aggelos Biboudis (biboudis@di.uoa.gr)
- Manohar Jonnalagedda (manohar.jonnalagedda@epfl.ch)
- Sandro Stucki (sandro.stucki@epfl.ch)
- Vlad Ureche (vlad.ureche@gmail.com)
We thank our sponsors Lightbend and Oracle for supporting some of the talented student attendees of the Scala Symposium 2016.
Accepted Papers and Talks
| Sun 30 - Mon 31 Oct 2016 Symposium |
| Fri 23 Sep 2016 Camera ready |
| Fri 9 Sep 2016 Paper notification (Extended!) |
| Mon 1 Aug 2016 Paper submission (Extended!) |
| Mon 25 Jul 2016 Abstract submission (Extended!) |
Nada Amin
EPFL
Switzerland
Shigeru Chiba
University of Tokyo
Eva Darulova
MPI-SWS, Germany
Sébastien Doeraene
EPFL, Switzerland
Switzerland
Sebastian Erdweg
Delft University of Technology, Netherlands
Philipp Haller
KTH Royal Institute of Technology
Sweden
Ricardo Honorato-Zimmer
University of Edinburgh
United Kingdom
Cay Horstmann
San Jose State University
Lars Hupel
Technische Universität München
Germany
Vojin Jovanovic
Oracle Labs
Switzerland
Oleg Kiselyov
Tohoku University
Doug Lea
State University of New York (SUNY) Oswego
Erik Meijer
Applied Duality, Inc.
United States
Heather Miller
Ecole Polytechnique Federale de Lausanne
Nate Nystrom
University of Lugano
Switzerland
Klaus Ostermann
University of Tübingen, Germany
Ilya Sergey
University College London
United Kingdom
Mirko Stocker
University of Applied Sciences Rapperswil, Switzerland
Switzerland
Niki Vazou
UC San Diego
Tijs van der Storm
CWI & University of Groningen
Netherlands
