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
Demo Data from EDBT 2026 / reviewers in the wild / expert

Aleksander Budzynowski

dblp:128/5708 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 1 first-authorSystems, architecture and hardware · 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.

Databases, data mining, and information retrieval
1 paper
Transaction processing and concurrency control · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Storage systems · 100%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Transaction processing and concurrency control › ACID transactions
durability		 0.212013
RapiLog: reducing system complexity through verification · EuroSys 2013
Transaction processing and concurrency control
logging		 0.212013
RapiLog: reducing system complexity through verification · EuroSys 2013
Storage systems
crash consistency		 0.212013
RapiLog: reducing system complexity through verification · EuroSys 2013
Storage systems
storage reliability		 0.212013
RapiLog: reducing system complexity through verification · EuroSys 2013

Methods — techniques the papers use, named apart from their topics

verification · 0.5
YearPublicationVenuePosition
2013 RapiLog: reducing system complexity through verification
abstract
Database management systems provide updates with guaranteed durability in the presence of OS crashes or power failures. Durability is achieved by performing synchronous writes to a transaction log on stable, non-volatile storage. The procedure is expensive and several techniques have been devised to ameliorate the impact on overall performance at the cost of increased system complexity.
Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
 EuroSys4
2013 The von Neumann Architecture Is Due for Retirement
Aleksander Budzynowski, Gernot Heiser
 HotOS1
2011 What If You Could Actually Trust Your Kernel?
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski
 HotOS4