SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Scala Symposium
Room: Zurich E (also via Youtube and Zoom)
Time: October 17, 00:00 - 03:00 AoE
(When is this in my timezone?)

Welcome to the ACM SIGPLAN Scala Symposium, 2021!

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 the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike.

Follow @scala_symposium on Twitter for updates.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 1Scala at Zurich E
Chair(s): Sébastien Doeraene EPFL, Switzerland
09:40
20m
Full-paper
Safer Exceptions for Scala
Scala
Martin Odersky EPFL, Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Edward Lee University of Waterloo, Ondřej Lhoták University of Waterloo
DOI
10:00
20m
Full-paper
Pathless Scala: A Calculus for the Rest of Scala
Scala
DOI Pre-print File Attached
10:50 - 12:10
Session 2Scala at Zurich E
Chair(s): Sébastien Doeraene EPFL, Switzerland
10:50
20m
Full-paper
Implementing Path-Dependent GADT Reasoning for Scala 3
Scala
Yichen Xu Beijing University of Posts and Telecommunications, Aleksander Boruch-Gruszecki EPFL, Lionel Parreaux Hong Kong University of Science and Technology
DOI
11:10
20m
Full-paper
Safe Object Initialization, Abstractly
Scala
Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, Enze Xing University of Waterloo, Nguyen Cao Pham University of Waterloo
DOI

Call for Papers

Topics of Interest

We seek submissions on all 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, Graal and others.
  • Tools – development environments, debuggers, refactoring tools, testing frameworks.
  • Case studies, experience reports, and pearls.

Do not hesitate to contact the Program Chair (sebastien.doeraene@epfl.ch) if you are unsure whether a particular topic falls within the scope of Scala 2021.

Important dates

Paper submission: August 5, 2021

Paper notification: August 30, 2021

Camera ready: September 13, 2021

Scala Symposium 2021: October 17, 2021

Submission Format

To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions.

  • Full papers (at most 10 pages, excluding bibliography)
  • Short papers (at most 4 pages, excluding bibliography)
  • Tool papers (at most 4 pages, excluding bibliography)
  • Student talks (short abstract only, in plain text)
  • Open-source talks (short abstract only, in plain text)

The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tool papers and talk proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation.

Accepted papers (full, short, tool papers, but not talks) will be published in the ACM Digital Library. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page.

Submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy.

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.

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

Detailed information for each kind of submission is given below. For questions and additional clarifications, please contact the conference organizers.

Full and Short Papers

Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. 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).

Tool Papers

Tool papers need not necessarily report original research results; they may describe a tool of interest, 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.

Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair.

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 a paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 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 also 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 about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community.

Instructions for Authors

Submissions should use the ACM acmart template, sigplan subformat, 10 point font, and author-year citation style. The resulting style is the same as last year. All submissions should be in PDF format.

LaTeX and Word templates are available from SIGPLAN resources. For authors using LaTeX, the appropriate template for Scala’21 authors is in the file acmart-sigplanproc-template.tex. As documented in the template, submissions should be prepared using the sigplan and 10pt options and, for authors using double-blind submissions, the anonymous option. The use of the review option is also strongly encouraged but not required (The review option will add line numbers, which will make it easier for reviewers to reference specific parts of your paper in their comments, but should have absolutely no other effect on the typesetting). Details of available technical support for LaTeX-specific questions are available at http://www.acm.org/publications/proceedings-template#h-technical-support.

To enable author-year citation style, authors should enable the LaTeX command \citestyle{acmauthoryear} in the provided template.

Page Limits

  • Full papers (at most 10 pages, excluding bibliography)
  • Short papers (at most 4 pages, excluding bibliography)
  • Tool papers (at most 4 pages, excluding bibliography)
  • Student talks (short abstract only, in plain text)
  • Open-source talks (short abstract only, in plain text)

Concurrent Submissions

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Publication Date (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Single- or Double-blind submissions

Full papers, short papers, and tool papers should be anonymized. Student talks and open-source talks should not be anonymized.