Demo Data from EDBT 2026 / reviewers in the wild / expert
Elzbieta Krepska
dblp:44/2680
· DBLP profile ↗
5ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2Applied, interdisciplinary, general and emerging computing · 2Databases, data management, data science and information retrieval · 1 · 1 since 2021Theory of computation · 1
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.
| Artificial intelligence
1 paper |
Efficient and distributed learning · 100% | |
| Interdisciplinary, comprehensive, and emerging computing
2 papers |
Bioinformatics and computational biology · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Recommender systems · 100% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Efficient and distributed learning
distributed training |
0.9 | 1 | 2025 | DECK: Experiences on Delta Checkpointing for Industrial Recommendation Systems · Proc. VLDB Endow. 2025 |
Recommender systems › large-scale recommendation
large-scale recommendation model training |
0.3 | 1 | 2025 | DECK: Experiences on Delta Checkpointing for Industrial Recommendation Systems · Proc. VLDB Endow. 2025 |
Bioinformatics and computational biology › systems biology › computational developmental biology
developmental biology modeling |
0.1 | 1 | 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009 |
Bioinformatics and computational biology › systems biology
petri net modeling |
0.1 | 1 | 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009 |
Bioinformatics and computational biology
systems biology |
0.1 | 1 | 2009 | What Can Formal Methods Bring to Systems Biology? · FM 2009 |
Bioinformatics and computational biology › gene regulation
gene regulatory network |
0.0 | 1 | 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009 |
Bioinformatics and computational biology › gene regulation
microRNA regulation |
0.0 | 1 | 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009 |
Methods — techniques the papers use, named apart from their topics
delta-checkpointing · 0.9delta checkpointing · 0.9model checking · 0.2formal methods · 0.2petri net modeling · 0.1in silico simulation · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | DECK: Experiences on Delta Checkpointing for Industrial Recommendation SystemsabstractIn large-scale industrial recommendation systems, model checkpoints are instrumental in maintaining training goodput and numerical correctness during system failures and job preemptions. The increasing prevalence of multi-terabyte models has rendered frequent regular model checkpoints impractical, resulting in substantial lost progress when recovering from failures. As model sizes continue to grow, researchers and practitioners are compelled to investigate more efficient and scalable solutions. This paper presents DECK, a novel approach to delta model checkpointing designed for real-world industrial systems. Specifically, DECK focuses on extracting delta states with near-zero overhead, staging and streaming delta checkpoints without interrupting the training process, and merging delta checkpoints in an optimal and decoupled manner. Experimental results demonstrate that DECK achieves a 12-fold increase in checkpoint frequency while maintaining negligible impact on training throughput, thereby attaining state-of-the-art (SOTA) production performance. Sibasish Acharya, Sihui Han, Yongxiong Ren, Yanli Zhao, Chucheng Wang, Pradeep Fernando, Siqi Yan, Yicong Du, Elzbieta Krepska, Intaik Park, Min Ni, Qunshu Zhang |
Proc. VLDB Endow. | 12 |
| 2011 | Proving Stabilization of Biological Systems
Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman |
VMCAI | 3 |
| 2009 | What Can Formal Methods Bring to Systems Biology?
Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska |
FM | 4 |
| 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval developmentabstractMOTIVATION: Understanding the processes involved in multi-cellular pattern formation is a central problem of developmental biology, hopefully leading to many new insights, e.g. in the treatment of various diseases. Defining suitable computational techniques for development modelling, able to perform in silico simulation experiments, is an open and challenging problem. RESULTS: Previously, we proposed a coarse-grained, quantitative approach based on the basic Petri net formalism, to mimic the behaviour of the biological processes during multicellular differentiation. Here, we apply our modelling approach to the well-studied process of Caenorhabditis elegans vulval development. We show that our model correctly reproduces a large set of in vivo experiments with statistical accuracy. It also generates gene expression time series in accordance with recent biological evidence. Finally, we modelled the role of microRNA mir-61 during vulval development and predict its contribution in stabilizing cell pattern formation. Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Bioinform. | 2 |
| 2009 | Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval developmentabstractBioinformatics 25(16), 2049–2056 We regret that Figure 5 on page 4 of this paper was incorrect and should appear as below. Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Bioinform. | 2 |