Dr. rer. nat. Annette Bieniusa
|Phone||+49 - 631 - 205 - 39 58|
|Fax||+49 - 631 - 205 - 34 20|
|Postal address||TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
|Visitor address||Gebäude 34, Raum 416
Zugang über Paul-Ehrlich-Str.
|Office Hours||upon request (contact best via email)|
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.
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).
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, BOB’19, FORTE’19, Erlang Workshop’19
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)
- 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)
|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)
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.
Lectures and courses at TU Kaiserslautern
- Lecture: Software Engineering 1 Winter 2017, Winter 2016, Winter 2015, Winter 2014
- Course: Training for Programming Contests Summer 2018, Summer 2017
- Lecture: Programming Distributed Systems Summer 2018
- Lecture: Compiler and Language-Processing Tools Summer 2017, Summer 2015, Summer 2013
- Studienprojekt: Apps using distributed replicated data, Winter 2014
- Seminar: Functional Data Structures Summer 2018
- Seminar: Programming in Distributed Systems Summer 2017
- Seminar: Advanced Functional Programming Winter 2014
Seminar on Software Engineering, Winter 2012/13
Courses I co-organized with Peter Thiemann at the University of Freiburg
- Concurrency - Theory and Practice, Winter 2010
- Program analysis, Summer 2010
- Compiler construction, Winter 2009/2010
- Proseminar: Funktionale Programmierung mit Haskell, Winter 2008/2009
- Seminar: Type Systems, Winter 2008/2009
- Proseminar: Fortgeschrittene Programmierung, Winter 2007/2008
- Informatik I, Winter 2007/2008
Further I co-supervised several student projects, bachelor and master theses on topics in compiler construction, program analysis, and concurrent and distributed programming.
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)