Hi, nice to meet you. I am a PhD student in computer science, and my research
is about keeping shared state consistent in both concurrent and distributed
systems. You may know me from my contributions to the CALM
theorem, and
my work on transaction
scheduling. I enjoy combining
theoretical computer science with databases and systems programming. My hope is that the ideas
I contribute to make your job as a wrangler of flickering lights more enjoyable.
I am enrolled in a PhD program at the Software Languages Lab of the Vrije
Universiteit Brussel, where I am advised by Bas
Ketsman. Currently, I am on a 3-month research visit
at UC Berkeley's Sky Lab, where I work together
with Joseph M. Hellerstein.
Before my PhD, I completed a 6-month internship at IBM's Research Lab in
Zürich under the guidance of Peter Staar.
Publications
Conference Papers
Distributed Consistency Beyond Queries
Tim Baccaert, Bas Ketsman
Journal Papers
hdt-rs: A Rust Library for the Header Dictionary Triples Binary RDF Compression Format
Konrad Höffner, Tim Baccaert
Patents
Translating a Natural Language Query Into a Formal Data Query
Peter Staar, Michele Dolfi, Christoph Auer, Leonidas Georgopoulos, Aleksandros Sobczyk, Tim Baccaert, Konstantinos Bekas
Workshop Papers
Cascade: Optimal Transaction Scheduling for High-Contention Workloads
Tim Baccaert, Bas Ketsman
Reliable Query Languages for Federations of Knowledge Graphs