Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Elzbieta Krepska

dblp:44/2680 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Machine learning › Efficient and distributed learning
distributed training
0.912025
DECK: Experiences on Delta Checkpointing for Industrial Recommendation Systems · Proc. VLDB Endow. 2025
Recommender systems › large-scale recommendation
large-scale recommendation model training
0.312025
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.112009
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009
Bioinformatics and computational biology › systems biology
petri net modeling
0.112009
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009
Bioinformatics and computational biology
systems biology
0.112009
What Can Formal Methods Bring to Systems Biology? · FM 2009
Bioinformatics and computational biology › gene regulation
gene regulatory network
0.012009
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development · Bioinform. 2009
Bioinformatics and computational biology › gene regulation
microRNA regulation
0.012009
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
YearPublicationVenuePosition
2025 DECK: Experiences on Delta Checkpointing for Industrial Recommendation Systems
abstract
In 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
VMCAI3
2009 What Can Formal Methods Bring to Systems Biology?
Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska
FM4
2009 Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development
abstract
MOTIVATION: 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 development
abstract
Bioinformatics 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