Dr. rer. nat. Annette Bieniusa

Foto von Dr. rer. nat. Annette Bieniusa
E-Mail-Adresse bieniusa@cs.uni-kl.de
Telefon +49 - 631 - 205 - 39 58
Fax +49 - 631 - 205 - 34 20
Postanschrift TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Besucheradresse Gebäude 34, Raum 416
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
Sprechzeiten upon request (contact best via email)
 

I am a senior researcher and lecturer (Akademische Rätin) at the Department of Computer Science of the University of Kaiserslautern, in the AG Softwaretechnik.

Previously, I was a postdoc at INRIA (Paris-Rocquencourt), the French National Institute for Computer Science and Control Science. During that time, I was in the REGAL team at LIP6 where I worked together with Marc Shapiro.

Before moving to Paris, I was a Ph.D. student with Peter Thiemann in the Arbeitsgruppe Programmiersprachen at the Institute for Computer Science(http://www.informatik.uni-freiburg.de) at the University of Freiburg, Germany.

At the beginning of my PhD studies, I was a scholar of the DFG research training group Embedded Microsystems.

Research

I am always looking for enthusiastic and motivated students to work with. Contact me via email or stop by my office to talk about possible topics for projects, theses, internships and open positions!

I am interested in semantics of concurrent and distributed programming, with a focus on (geo-)replication, synchronization, and programming language concepts.

In particular, my research targets programming models that make use of relaxed memory semantics, where updates to the shared state are visible only eventually to other processes. This enables optimistic execution of computations with minimal synchronization overhead while still being able to construct programs with provably correct behavior.

I am also working on topics related to the development of correct and highly scalable programs in concurrent and distributed systems, such as Software Transactional Memory (STM) and Convergent Replicated Datatypes (CRDTs).

Activities

Managing the PhD Program of the Department of Computer Science, TU Kaiserslautern

Program Chair for PaPoc’17 (together with Alexey Gotsman)

Program committees: WTTM’12, TRANSACT’13, EuroSys’13 (Shadow Program committee), ICDCS’14, TRANSACT’15, BOB’15, DCC’15, CloudCom’15, BOB’16, DCC’16, PMLDC’16, W-PSDS’16, CloudCom’16, ICDCN’17, InfoComm’17, BOB’17, Mobilware’17, CloudCom’17, Eurosys’18, Netys’18, BOB’18, PPDP’18

Reviews for POPL’08, ECOOP’08, ESOP’09, APLAS’09, HASKELL’10, TOOLS’11, OOPSLA’12, DAIS’13, SLE’13, Journal of Distributed and Parallel Computing (JDPC), ACM Transactions on Parallel Computing (TOPC)

Local organisation of ICFP 2007 and IFL 2007 in Freiburg and of the ACM Europe Chapter Workshop 2012 in Paris

Grants and Scholarships

  • Carl-Zeiss-Doktoranden-Programm, Projekt “Architecture-aware Verification” (Stipendium für Sebastian Schweizer, Betreuung zusammen mit Prof. Roland Meyer, TU Braunschweig)
  • Nachwuchsring TU Kaiserslautern - Grant (2015)
  • Amazon AWS in Education - Grant (2014)
  • INRIA postdoc scholarship (2011-2012)
  • DFG PhD scholarship (2006-2009)
  • Scholarship of the German National Academic Foundation (Studienstiftung des Dt. Volkes) (2000-2006)
  • Scholarship of the Erasmus program (2002)

Projects

  • Antidote: Highly-available transactional data store featuring geo-replication, CRDTs and transactional causal+ consistency (since 2013 leading developer and project manager)
  • Lightkone: In this H2020 EU project, we investigate synchronization-free programming for edge networks (2017-2019, work package leader)
  • SyncFree: In this FP7-Strep EU project, we investigate how to provide consistency in large-scale distributed systems without relying on non-scalable synchronization techniques. (2013-2016, work package leader)
  • ArrowTasks: Declarative Workflow Programming. Draft paper
  • Research Training Group “weacon” (May 2014 - May 2015): The members of the research training group investigate (weak) notions of consistency in concurrent and distributed systems.
  • ConcoRDanT: Replicated date types for consistency without concurrency control in Cloud and Peer-to-Peer systems (funded by ANR, 2010–2013)
  • J-Cell: Scalable and robust distributed run-time environments for clusters of heterogeneous many-core processors (funded by BMBF, 2009–2011)

Invited Talks

Date Location Title
Jun 2017 UPMARC Summer School, Uppsala Lecture on Consistency in distributed data stores
Feb 2015 UPMARC Workshop on Memory Models, Uppsala Scalable consistency for replicated data
Oct 2014 RICON, Las Vegas SyncFree: Large-Scale Computation Without Synchronization
Oct 2014 Doctorate Program PUMA, TUM, Munich Provably Correct Semantics for Software Transactional Memory
Nov 2012 Doctoral School Day in Cloud Computing, UCL Scalable Consistency for Replicated Data
May 2012 MPI-SWS, Kaiserslautern Scalable Consistency for Mutable Shared Data
Jul 2011 INRIA/UPMC, LIP6, Paris The Architecture of DecentVM
May 2011 EPFL, Lausanne Twilight STM
Dec 2010 NII Tokyo Twilight in Haskell: STM with Safe I/O and Typed Conflict Management

I am organizing the Dagstuhl seminar: - Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Feb’18, with Marc Shapiro, Alexey Gotsman, Bettina Kemme) - New challenges in parallelism (Nov ’17, with Hans Boehm, Maurice Herlihy, Erez Petrank)

I have been an invited participant to several Dagstuhl seminars:

  • Concurrency with weak memory models (Dec ’16)
  • Distributed cloud computing (Feb ’15)
  • Concurrent computing in the many-core era (Jan ’15)
  • Consistency in Distributed Systems (Feb’13)
  • Abstractions for scalable multi-core computing (May’12)
  • Transactional Memory (May’08)

Publications

My publications listed on DBLP

Selection of publications

  • Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri. Ensuring referential integrity under causal consistency. PaPoC@EuroSys 2018.

  • Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter. EPTL - A Temporal Logic for Weakly Consistent Systems. FORTE 2017

  • Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa. Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP 2017

  • Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira and Annette Bieniusa. Legion: Enriching Internet Services with Peer-to-Peer Interactions. WWW’17.

  • Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro. Cure: Strong semantics meets high availability and low latency Proceedings of 36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016.

  • Christian Weilbach, Konrad Kühne and Annette Bieniusa. Decoupling Conflict Resolution with CDVCS In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, pages 11:1–11:6. April 2016.

  • Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguica and Marc Shapiro. Eventually Consistent Register Revisited In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, pages 9:1–9:3. New York, NY, USA 2016, ACM.

  • Deepthi Akkoorath and Annette Bieniusa. Highly-scalable Concurrent Objects In Proceedings of the 2nd Workshop on Principles and Practice of Consistency for Distributed Data. April 2016.

  • Marek Zawirski, Nuno Preguia, Sergio Duarte, Annette Bieniusa, Valter Balegas and Marc Shapiro. Write Fast, Read in the Past: Causal Consistency for Client-side Applications In Proceedings of the 16th International Middleware Conference. Vancouver, BC, Canada, December 2015, ACM.

Teaching

Lectures and courses at TU Kaiserslautern

Courses I co-organized with Peter Thiemann at the University of Freiburg

Further I co-supervised several student projects, bachelor and master theses on topics in compiler construction, program analysis, and concurrent and distributed programming.

Deutsche Schülerakademie

After participating as a student in 1999 in Braunschweig, I had the pleasure of teaching summer school courses for the Deutsche SchülerAkademie, a non- rofit organization for early science education, which is funded by the Bundesministerium für Bildung und Forschung and the Stifterverband für die Deutsche Wissenschaft.

  • Multinationale Akademie Metten, 2008: Was ist Informatik? (with Thomas Fuhrmann)
  • Akademie Rossleben, 2009: Was ist Informatik? (with Phillip Heidegger)