EDBT 2026 Demo / reviewers in the wild / expert
Enze Xing
dblp:307/4870
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2023
0009-0008-1265-5254ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 56% Program analysis · 44% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › type systems
object initialization |
0.7 | 1 | 2023 | Initializing Global Objects: Time and Order · Proc. ACM Program. Lang. 2023 |
Program analysis
static analysis |
0.7 | 1 | 2023 | Initializing Global Objects: Time and Order · Proc. ACM Program. Lang. 2023 |
Programming languages and type systems
object-oriented programming |
0.2 | 1 | 2023 | Initializing Global Objects: Time and Order · Proc. ACM Program. Lang. 2023 |
Methods — techniques the papers use, named apart from their topics
regions · 0.7partial ordering · 0.7initialization-time irrelevance · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Initializing Global Objects: Time and OrderabstractObject-oriented programming has been bothered by an awkward feature for a long time: 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 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 partial ordering and 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 regions to make context-sensitivity understandable and customizable by programmers. Fengyun Liu, Ondrej Lhoták, David Hua, Enze Xing |
Proc. ACM Program. Lang. | 4 |