DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020

The 16th Dynamic Languages Symposium (DLS) at SPLASH 2020 is the premier forum for researchers and practitioners to share research and experience on all aspects on dynamic languages.

See the call for papers for more information.

Keynote

Croquet: A Unique Collaboration Architecture
Dr. Vanessa Freudenberg
Chief Architect, Croquet Corp

The next generation of our connected world calls for a low-latency, low-bandwidth, low-development-effort platform for synchronized interactions. The platform must also enforce privacy from the ground up, in particular in anticipation of an always-on Augmented Reality future.

In traditional synchronization approaches, computations are performed on a server and results are continuously distributed to clients. Croquet moves all computation to the clients. A lightweight “reflector” server directs the clients to advance time in sync, and ensures that any external event is incorporated by all clients at exactly the same point in the computation, leading to synchronized, bit-identical state. All data is end-to-end encrypted by the clients; the server stores and distributes data, but can never peek inside.

Croquet’s programming model separates the synchronized computation of “models” from individually computed “views”. This means the world is the same for everyone, but the display of the world can be tailored to each device and user. Models and views communicate using a publish/subscribe mechanism that routes certain events via the reflector. This model/view separation and pub/sub communication is a major departure from the previous, proxy-based Smalltalk implementation of Croquet. It retains the ability for live programming by atomically incorporating new code.

Vanessa is the chief architect of the current JavaScript-based implementation. She will give an overview of the system, highlight challenges in designing the API, and explore the far-reaching implications of the shift from server to client.

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

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20
2SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Matthew FlattUniversity of Utah, USA, David PichardieUniv Rennes, ENS Rennes, IRISA
11:00
40m
Talk
Static Resource Analysis at ScaleInvited Talk
SAS
I: Ezgi ÇiçekFacebook London
File Attached
11:40
40m
Keynote
Croquet: A Unique Collaboration Architecture (Keynote)Keynote
DLS 2020
Media Attached
13:00 - 14:20
3SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Michael HomerVictoria University of Wellington
13:00
20m
Research paper
Exact and Linear-Time Gas-Cost Analysis
SAS
Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA
Pre-print
13:20
20m
Talk
Python 3 Types in the Wild: A Tale of Two Type Systems
DLS 2020
Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA
Link to publication DOI Pre-print Media Attached
13:40
20m
Research paper
On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
SAS
Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy
File Attached
14:00
20m
Talk
Wasm/k: Delimited Continuations for WebAssembly
DLS 2020
Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
15:00 - 16:20
4SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Jeremy G. SiekIndiana University, USA, Antoine MinéSorbonne Université
15:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
15:20
20m
Talk
Dynamic Pattern Matching with Python
DLS 2020
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
15:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
16:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS 2020
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached
17:00 - 18:20
5SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Sukyoung Ryu
17:00
20m
Research paper
Abstract Neural Networks
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
17:20
20m
Talk
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
17:40
20m
Research paper
Probabilistic Lipschitz Analysis of Neural NetworksArtifact
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
18:00
20m
Talk
Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
DLS 2020
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached
19:00 - 20:00
1SAS at SPLASH-III
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder & Amazon
19:00
40m
Talk
Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk
SAS
I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid
Media Attached File Attached
19:40
20m
Research paper
A Library Modeling Language for the Static Analysis of C ProgramsArtifact
SAS
Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached File Attached
23:00 - 00:20
2SAS / DLS 2020 at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay, Matthew FlattUniversity of Utah, USA
23:00
40m
Talk
Static Resource Analysis at ScaleInvited Talk
SAS
I: Ezgi ÇiçekFacebook London
File Attached
23:40
40m
Keynote
Croquet: A Unique Collaboration Architecture (Keynote)Keynote
DLS 2020
Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20
3SAS / DLS 2020 at SPLASH-III
Chair(s): Francesco RanzatoUniversity of Padova, Michael HomerVictoria University of Wellington
01:00
20m
Research paper
Exact and Linear-Time Gas-Cost Analysis
SAS
Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA
Pre-print
01:20
20m
Talk
Python 3 Types in the Wild: A Tale of Two Type Systems
DLS 2020
Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA
Link to publication DOI Pre-print Media Attached
01:40
20m
Research paper
On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
SAS
Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy
File Attached
02:00
20m
Talk
Wasm/k: Delimited Continuations for WebAssembly
DLS 2020
Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
03:00 - 04:20
4SAS / DLS 2020 at SPLASH-III
Chair(s): Caterina UrbanÉcole normale supérieure, Shigeru ChibaThe University of Tokyo
03:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
03:20
20m
Talk
Dynamic Pattern Matching with Python
DLS 2020
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
03:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
04:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS 2020
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached
05:00 - 06:20
5SAS / DLS 2020 at SPLASH-III
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung Ryu
05:00
20m
Research paper
Abstract Neural Networks
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
05:20
20m
Talk
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
DLS 2020
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
05:40
20m
Research paper
Probabilistic Lipschitz Analysis of Neural NetworksArtifact
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
06:00
20m
Talk
Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
DLS 2020
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached
09:00 - 10:00
6SAS at SPLASH-III +12h
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
09:00
40m
Talk
Polynomial Invariants for Affine ProgramsInvited Talk
SAS
I: James WorrellUniversity of Oxford
File Attached
09:40
20m
Research paper
Termination of Polynomial Loops
SAS
Florian FrohnMax Planck Institute for Informatics, Marcel HarkRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University
Pre-print Media Attached File Attached
11:00 - 12:20
7SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Kedar NamjoshiNokia Bell Labs, Tim FelgentreffOracle Labs, Potsdam
11:00
20m
Research paper
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
11:20
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS 2020
John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached
11:40
20m
Research paper
Stratified Guarded First-order Transition Systems
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
12:00
20m
Talk
Sampling Optimized Code for Type Feedback
DLS 2020
Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
13:00 - 14:20
8SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Samir Genaim Universidad Complutense de Madrid, Tim FelgentreffOracle Labs, Potsdam
13:00
20m
Research paper
Formal framework for reasoning about the precision of dynamic analysis
SAS
Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona
File Attached
13:20
20m
Research paper
Farkas-Based Tree Interpolation
SAS
Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland
Pre-print
13:40
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached
15:00 - 16:20
9SAS at SPLASH-III +12h
Chair(s): Kwangkeun YiSeoul National University, South Korea
15:00
20m
Research paper
Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
15:40
20m
Research paper
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached
17:00 - 18:20
10SAS at SPLASH-III +12h
Chair(s): David PichardieUniv Rennes, ENS Rennes, IRISA
17:00
40m
Talk
Static analysis for privacy-preserving artificial intelligenceInvited Talk
SAS
21:00 - 22:00
6SAS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
21:00
40m
Talk
Polynomial Invariants for Affine ProgramsInvited Talk
SAS
I: James WorrellUniversity of Oxford
File Attached
21:40
20m
Research paper
Termination of Polynomial Loops
SAS
Florian FrohnMax Planck Institute for Informatics, Marcel HarkRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University
Pre-print Media Attached File Attached
23:00 - 00:20
7SAS / DLS 2020 at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
23:00
20m
Research paper
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
23:20
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS 2020
John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached
23:40
20m
Research paper
Stratified Guarded First-order Transition Systems
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
00:00
20m
Talk
Sampling Optimized Code for Type Feedback
DLS 2020
Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20
8SAS / DLS 2020 at SPLASH-III
Chair(s): Helmut SeidlTechnische Universität München
01:00
20m
Research paper
Formal framework for reasoning about the precision of dynamic analysis
SAS
Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona
File Attached
01:20
20m
Research paper
Farkas-Based Tree Interpolation
SAS
Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland
Pre-print
01:40
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached
03:00 - 04:20
9SAS at SPLASH-III
Chair(s): Jerome FeretINRIA Paris
03:00
20m
Research paper
Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
03:40
20m
Research paper
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached

Call for Papers

The 16th Dynamic Languages Symposium (DLS) at SPLASH 2020 is the premier forum for researchers and practitioners to share research and experience on all aspects on dynamic languages.

DLS 2020 invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Areas of interest include, but are not limited to,

  • innovative language features
  • innovative implementation techniques
  • innovative applications
  • development environments and tools
  • experience reports and case studies
  • domain-oriented programming
  • late binding, dynamic composition, and run-time adaptation
  • reflection and metaprogramming
  • software evolution
  • language symbiosis and multi-paradigm languages
  • dynamic optimization
  • interpretation
  • just-in-time and ahead-of-time compilation
  • soft/optional/gradual typing
  • hardware support
  • educational approaches and perspectives
  • semantics of dynamic languages
  • frameworks and languages for the Cloud and the IoT

Submission Details

Submissions must neither be previously published nor under review at other events. DLS 2020 uses a lightweight double-blind, two-phase reviewing process.

Papers are assumed to be in one of the following categories:

       Research Papers:
              describe work that advances the current state of the art

       Experience Papers:
              describe insights gained from substantive practical
              applications that should be of a broad interest

       Dynamic Pearls:
              describe a known idea in an appealing way to remind the
              community and capture a reader’s interest

The program committee will evaluate each paper based on its relevance, significance, clarity, and originality. The paper category needs to be indicated during submission, and papers are judged accordingly.

Papers are to be submitted electronically in PDF format. Submissions must be in the ACM SIGPLAN conference acmart format, 10 point font, and should not exceed 12 pages. Please see full details in the instructions for authors available at:

https://conf.researchr.org/home/dls-2020#Instructions-for-Authors

DLS 2020 will run a two-phase reviewing process to help authors make their final papers the best that they can be. Accepted papers will be published in the ACM Digital Library and will be freely available for one month, starting two weeks before the event.

Important Deadlines

Abstract Submission (optional): July 2, 2020 [was: June 4]
Paper Submission: July 9, 2020 [was: June 11]
First Phase Notification: August 7, 2020
Revisions Due: September 4, 2020
Final Notifications: September 18, 2020
Camera Ready (estimated): October 10, 2020

All deadlines are 23:59 AoE (UTC-12h).

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 your conference. The official publication date affects the deadline for any patent filings related to published work.

Accepted Papers

Title
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
DLS 2020
Link to publication DOI Pre-print Media Attached
Croquet: A Unique Collaboration Architecture (Keynote)Keynote
DLS 2020
Media Attached
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS 2020
Link to publication DOI Pre-print Media Attached
Dynamic Pattern Matching with Python
DLS 2020
Link to publication DOI Media Attached
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Link to publication DOI Pre-print Media Attached
Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
DLS 2020
Link to publication DOI Pre-print Media Attached
Python 3 Types in the Wild: A Tale of Two Type Systems
DLS 2020
Link to publication DOI Pre-print Media Attached
Sampling Optimized Code for Type Feedback
DLS 2020
Link to publication DOI Pre-print Media Attached
Sound, Heuristic Type Annotation Inference for Ruby
DLS 2020
Link to publication DOI Pre-print Media Attached
Wasm/k: Delimited Continuations for WebAssembly
DLS 2020
Link to publication DOI Pre-print Media Attached

Submitted papers need to conform to the formatting instructions. Submissions that violate these instructions may be rejected without review at the discretion of the Program Chair.

DLS 2020 uses a lightweight double-blind review process. Authors must omit their names and affiliations in their paper submissions.

Submission Site

Please take a moment to read the instructions below before using the submission site. After acceptance, the camera ready versions will be collected by Conference Publishing Consulting.

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.

Format

Submissions should use the ACM SIGPLAN Conference acmart format, sigplan sub-format, 10 point font. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart templates. Author–year and numeric citation styles are both acceptable.

Note that by default the SIGPLAN Conference Format templates produce papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command: \documentclass[10pt,sigplan]{acmart}. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size.

For reviewing, please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true} command.

Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Page Limit

To ensure that papers stay focused on their core contributions, papers are limited to 12 pages and 10pt including bibliographic references and appendices. For the second phase, the page limit is 14 pages including bibliographic references.

Second-Phase Revisions

DLS 2020 uses a two-phase review system to provide authors with extra support and an opportunity to revise submissions. The extent of revisions is limited by the available time of about 4 weeks, so the program committee will use the two-phase process only for mandatory revisions that can be completed in that time.

To facilitate reviewing, we ask the author to submit their revisions accompanied by:

  • a latexdiff to the original submission, or a similarly annotated document
  • as well as a high-level description of the made changes and a discussion of the points raised by the reviews

For the second phase, the page limit is 14 pages, including bibliographic references.

Publication (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.