SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Fri 27 Oct 2023 11:00 - 11:18 at Room II - distribution & networking 1 Chair(s): Elisa Gonzalez Boix

Object-oriented programming has been bothered by an awkward feature for a long time:
\textit{static members}. Static members not only compromise the conceptual integrity of
object-oriented programming, but also give rise to subtle initialization errors, such as
reading non-initialized fields and deadlocks.

The Scala programming language eliminated static members from the language, replacing them with \emph{global objects} that present a unified object-oriented programming model. However, the problem
of global object initialization remains open, and programmers still suffer from initialization
errors.

We propose \textit{partial ordering} and \textit{initialization-time irrelevance} as two fundamental principles for initializing global
objects. Based on these principles, we put forward an effective static analysis to ensure safe
initialization of global objects, which eliminates initialization errors at compile time. The
analysis also enables static scheduling of global object initialization
to avoid runtime overhead. The analysis is modular at the granularity of objects
and it avoids whole-program analysis. To make the analysis explainable and tunable, we introduce
the concept of \textit{regions} to make context-sensitivity understandable and customizable by programmers.

Fri 27 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
distribution & networking 1OOPSLA at Room II
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
11:00
18m
Talk
Initializing Global Objects: Time and OrderDistinguished Paper
OOPSLA
Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, David Hua University of Waterloo, Enze Xing University of Waterloo
DOI
11:18
18m
Talk
Type-Safe Dynamic Placement with First-Class Placed Values
OOPSLA
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI Pre-print
11:36
18m
Talk
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
OOPSLA
Thierry Renaux Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
11:54
18m
Talk
AtomiS: Data-Centric Synchronization Made Practical
OOPSLA
Hervé Paulino Nova University of Lisbon, Ana Almeida Matos University of Lisbon, Jan Cederquist University of Lisbon, Marco Giunti Nova University of Lisbon, João Batista Pereira Matos Júnior Sidia Instituto de Ciência e Tecnologia, António Ravara Nova University of Lisbon
DOI
12:12
18m
Talk
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
OOPSLA
Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Roopsha Samanta Purdue University
DOI