ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Scala Symposium
Room: SPLASH-V (via Youtube and Zoom)
Time: 18th Nov, 04:00 - 07:00 AoE
(When is this in my timezone?)

Welcome to the ACM SIGPLAN Scala Symposium, 2020!

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.

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

Wed 18 Nov

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

00:20 - 01:00
Breakfast in ParisSPLASH Student Research Competition at SPLASH-I
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

00:20
40m
Poster
Student Research Competition
SPLASH Student Research Competition

02:20 - 03:00
02:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

04:20 - 05:00
04:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

08:20 - 09:00
Breakfast in ChicagoSPLASH Awards at SPLASH-I +12h
08:20
40m
Other
Awards Session
SPLASH Awards
David Grove IBM Research, Jens Palsberg University of California, Los Angeles
09:00 - 10:20
WSPLASH Keynotes at SPLASH-I +12h
Chair(s): Hridesh Rajan Iowa State University, USA
09:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
SPLASH Keynotes
Sriram Rajamani Microsoft Research
Link to publication
09:00 - 14:20
Scala SymposiumScala at SPLASH-V
10:00
5m
Day opening
Welcome to Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt
10:05
35m
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
Eva Darulova MPI-SWS
10:40
20m
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
Alexander Merritt Independent
11:00
20m
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza Ashouri University of Potsdam, Germany
11:40
20m
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza Ashouri University of Potsdam, Germany
12:00
20m
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley
12:20
20m
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Sébastien Doeraene EPFL, Switzerland, Martin Odersky EPFL
12:40
20m
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz Kabir University of Alberta, Karim Ali University of Alberta
13:00
20m
Day closing
Closing Scala 2020
Scala
Nada Amin Harvard University, Guido Salvaneschi University of St. Gallen, David Richter Technical University of Darmstadt
10:20 - 11:00
Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

14:20 - 15:00
Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

18:20 - 19:00
18:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

20:20 - 21:00
Cocktails in New YorkSPLASH Awards at SPLASH-I
20:20
40m
Other
Awards Session
SPLASH Awards
David Grove IBM Research, Jens Palsberg University of California, Los Angeles
21:00 - 22:20
WSPLASH Keynotes at SPLASH-I
Chair(s): Hridesh Rajan Iowa State University, USA
21:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
SPLASH Keynotes
Sriram Rajamani Microsoft Research
Link to publication
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
SPLASH Meet The Speakers (MTS)

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 8 (lambdas), 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 (namin@seas.harvard.edu) if you are unsure whether a particular topic falls within the scope of Scala 2020.

Important dates

Paper submission: April 7, 2020 (April 21, 2020)

Paper notification: May 22, 2020

Talk submission: May 29, 2020

Talk notification: June 12, 2020

Camera ready: June 5, 2020 (October 15, 2020)

Scala Symposium 2020: November 18th, 2020

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)
  • Extended abstracts (at most 1 page, excluding bibliography)

The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks 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://scala20.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 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.