VLDB 2026 Research / reviewers in the wild / expert
Aline Uwimbabazi
dblp:304/0902
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 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 · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking
Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu 0001, Wendelin Serwe, Aline Uwimbabazi |
ICTSS | 5 |
| 2022 | Automated replication of tuple spaces via static analysisabstractCoordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an experimental technique for automated replication of tuple spaces in distributed systems. The system of interest is modelled as a concurrent Go program where different threads represent the behaviour of the separate components, each owning its own local tuple repository. We automatically transform the initial program by combining program transformation and static analysis, so that tuples are replicated depending on the components' read-write access patterns. In this way, we turn the initial system into a replicated one where the replication of tuples is automatically achieved, while avoiding unnecessary replication overhead. Custom static analyses may be plugged in easily in our prototype implementation. We see this as a first step towards developing a fully-fledged framework to support designers to quickly evaluate many classes of replication-based systems under different consistency levels. Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Aline Uwimbabazi |
Sci. Comput. Program. | 4 |