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 Oberrätin) at the Department of Computer Science of the University of Kaiserslautern, in the AG Software Technology and AG Programming Languages.

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 first years 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). In this effort, I am leading the development of AntidoteDB,
a planet-scale, highly available, transactional CRDT database.

Projects

  • Robots And Programming in Kindergarden
  • Hands-on Programming with Arduino (in cooperation with SFG, Kaiserslautern)
  • Antidote: Highly-available transactional data store featuring geo-replication, CRDTs and transactional causal+ consistency (since 2013 leading developer and project manager)
  • 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)

Grants and Scholarships

  • 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)
  • Carl-Zeiss-Doktoranden-Programm, Projekt “Architecture-aware Verification” (Stipendium für Sebastian Schweizer, Betreuung zusammen mit Prof. Roland Meyer, TU Braunschweig)
  • Participation at Heidelberg Laureate Forum (2016), workshop organization together with Barbara Liskov and Sir Tony Hoare
  • 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), merit scholarship for < 1% of all students in Germany
  • Scholarship of the Erasmus program (2002)

Further Activities

  • Program Manager for the PhD Program of the Department of Computer Science, TU Kaiserslautern
  • Member of the Faculty Board in CS (since 2018)
  • Member of the Board for Studies and Teaching (since 2011)
  • Member of the Forum Wissenschaftlicher Mitarbeiter at TU Kaiserslautern (since 2018)
  • Scientific advisory board for BOBKonf
  • 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, SummerBOB’19, W-PSDS at SRDS’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), Journal of Logical and Algebraic Methods in Programming (JLAMP)
  • Local organization of ICFP 2007 and IFL 2007 in Freiburg and of the ACM Europe Chapter Workshop 2012 in Paris

Invitations/Talks

Date Location Title
Dec 2018 Code BEAM Lite Munich AntidoteDB: a planet-scale, highly available, transactional database_
Nov 2018 Code Mesh London Tutorial: Just the right kind of consistency
May 2018 Typelevel Scala Summit, Berlin Keynote: Just the right kind of consistency
Jun 2017 UPMARC Summer School, Uppsala Invited Lecture on Consistency in distributed data stores
Feb 2017 BOBKonf, Berlin Tutorial: More Consistency for Replicated Data
Feb 2017 LambdaDays, Krakow Keep the flow going: Data-flow oriented workflow systems
Sep 2016 Erlang User Conference, Stockholm AntidoteDB
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 organized 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/Shonan seminars:

  • Programming Languages for Distributed Systems and Distributed Data Management (Oct’19)
  • Programming Language Support for Data-intensive Applications (Shonan Seminar, Jul’ 19)
  • 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

2018

  • Collaborative Work Management with a Highly-Available Kanban Board#
    Annette Bieniusa, Peter Zeller and Shraddha Barke. In Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pages 59–72. 2018, Springer. (bib, url, doi)
  • Global-Local View: Scalable Consistency for Concurrent Data Types#
    Deepthi Devaki Akkoorath, José Brand~ao, Annette Bieniusa and Carlos Baquero. In Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, pages 492–504. 2018, Springer. (bib, url, doi)
  • Ensuring referential integrity under causal consistency#
    Marc Shapiro, Annette Bieniusa, Peter Zeller and Gustavo Petri. In Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC EuroSys 2018, Porto, Portugal, April 23-26, 2018, pages 1:1–1:5. 2018, ACM. (bib, url, doi)
  • Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)#
    Annette Bieniusa, Alexey Gotsman, Bettina Kemme and Marc Shapiro. In Dagstuhl Reports, volume 8, number 2, pages 101–121 2018. (bib, url, doi)

2017

  • FMKe: a Real-World Benchmark for Key-Value Data Stores#
    GonTomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, Jo~ao Leit~ao and Nuno M. Pregui. In Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoCEuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pages 7:1–7:4. 2017, ACM. (bib, url, doi)
  • EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)#
    Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. In Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch^atel, Switzerland, June 19-22, 2017, Proceedings, pages 236–242. 2017, Springer. (bib, url, doi)
  • Practical evaluation of the Lasp programming model at large scale: an experience report#
    Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy and Annette Bieniusa. In Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pages 109–114. 2017, ACM. (bib, url, doi)
  • Legion: Enriching Internet Services with Peer-to-Peer Interactions#
    Albert van der Linde, Pedro Fouto, Jo~ao Leit~ao, Nuno M. Pregui, Santiago J. Castiñeira and Annette Bieniusa. In Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017, pages 283–292. 2017, ACM. (bib, url, doi)
  • New Challenges in Parallelism (Dagstuhl Seminar 17451)#
    Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy and Erez Petrank. In Dagstuhl Reports, volume 7, number 11, pages 1–27 2017. (bib, url, doi)

2016

  • Observing the consistency of distributed systems#
    Deepthi Devaki Akkoorath, Viktória F"ordós and Annette Bieniusa. In Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016, pages 54–55. 2016, ACM. (bib, url, doi)
  • Highly-scalable concurrent objects#
    Deepthi Devaki Akkoorath and Annette Bieniusa. In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoCEuroSys 2016, London, United Kingdom, April 18, 2016, pages 13:1–13:4. 2016, ACM. (bib, url, doi)
  • Decoupling conflict resolution with CDVCS#
    Christian Weilbach, Konrad K"uhne and Annette Bieniusa. In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoCEuroSys 2016, London, United Kingdom, April 18, 2016, pages 11:1–11:6. 2016, ACM. (bib, url, doi)
  • Eventually consistent register revisited#
    Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiand Marc Shapiro. In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoCEuroSys 2016, London, United Kingdom, April 18, 2016, pages 9:1–9:3. 2016, ACM. (bib, url, doi)
  • Cure: Strong Semantics Meets High Availability and Low Latency#
    Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno M. Preguiand Marc Shapiro. In 36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, Nara, Japan, June 27-30, 2016, pages 405–414. 2016, IEEE Computer Society. (bib, url, doi)
  • Access Control for Weakly Consistent Replicated Information Systems#
    Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. In Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pages 82–97. 2016, Springer. (bib, url, doi)

2015

  • Transactions on Mergeable Objects#
    Deepthi Devaki Akkoorath and Annette Bieniusa. In Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pages 427–444. 2015. (bib)
  • Write Fast, Read in the Past: Causal Consistency for Client-side Applications#
    Marek Zawirski, Nuno Preguia, S'ergio Duarte, Annette Bieniusa, Valter Balegas and Marc Shapiro. In Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07 - 11, 2015, pages 75–87. Vancouver, BC, Canada, December 2015. (bib)
  • Transactions on Mergeable Objects#
    Deephti Devaki Akkoorath and Annette Bieniusa. In Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, Korea, November 30-December 2, 2015, Proceedings (to appear). 2015. (bib)
  • Adaptive Strength Geo-Replication Strategy#
    Amadeo Ascó and Annette Bieniusa. In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data. New York, NY, USA 2015, ACM. (bib)
  • Collaborative offline web applications using Conflict-free Replicated Data Types#
    Santiago Castiñeira and Annette Bieniusa. In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data. New York, NY, USA 2015, ACM. (bib)

2014

  • Formal Specification and Verification of CRDTs#
    Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, pages 33–48. 2014, Springer. (bib)
  • SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine#
    Nuno M. Pregui, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero and Marc Shapiro. In 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, pages 30–33. 2014. (bib)

2012

  • Brief Announcement: Semantics of Eventually Consistent Replicated Sets#
    Annette Bieniusa, Marek Zawirski, Nuno M. Pregui, Marc Shapiro, Carlos Baquero, Valter Balegas and Sérgio Duarte. In Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings, pages 441–442. 2012. (bib)
  • Access Permission Contracts for Scripting Languages#
    Phillip Heidegger, Annette Bieniusa and Peter Thiemann. In POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Philadelphia, USA, Jan 2012. (bib)
  • Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory#
    Annette Bieniusa and Thomas Fuhrmann. In Proceedings of the 13th International Conference on Distributed Computing and Networking (ICDCN12). January 2012. (bib)

2011

  • Proving Isolation Properties for Software Transactional Memory#
    Annette Bieniusa and Peter Thiemann. In Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. . 2011, Springer. (bib)

2010

  • The Architecture of DecentVM - Towards a Decentralized Virtual Machine for Many-Core Computing#
    Annette Bieniusa, Johannes Eickhold and Thomas Fuhrmann. In Proceedings of the 4th workshop on Virtual Machines and Intermediate Languages (VMIL), October 17, 2010, Reno, Nevada, USA. 2010. (bib)
  • DOM Transactions for Testing JavaScript#
    Phillip Heidegger, Annette Bieniusa and Peter Thiemann. In Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings, pages 211-214. 2010, Springer. (bib)
  • Brief announcement: Actions in the Twilight - Concurrent Irrevocable Transactions and Inconsistency Repair#
    Annette Bieniusa, Arie Middelkoop and Peter Thiemann. In Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pages 71-72. 2010, ACM. (bib)
  • Consistency in hindsight: A fully decentralized STM algorithm#
    Annette Bieniusa and Thomas Fuhrmann. In Proceedings of the 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), April 19-23, 2010, Atlanta, Georgia, USA. 2010. (bib)

2009

  • How to CPS Transform a Monad#
    Annette Bieniusa and Peter Thiemann. In Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pages 266-280. 2009, Springer. (bib)

2008

  • The Relation of Version Control to Concurrent Programming#
    Annette Bieniusa, Peter Thiemann and Stefan Wehr. In International Conference on Computer Science and Software Engineering, CSSE 2008, December 12-14, 2008, Wuhan, China, pages 461-464. 2008, IEEE Computer Society. (bib)
  • HtDP and DMdA in the Battlefield#
    Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel and Michael Sperber. In Functional and Declarative Programming in Education. Victoria, BC, Canada, September 2008. (bib)
  • Auf dem Weg zu einer robusten Programmierausbildung#
    Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel and Michael Sperber. In 3. Workshop des GI-Fachbereichs Hochschuldidaktik der Informatik. Potsdam, Germany, Dec 2008. (bib)

Preprints

2019

  • Antidote SQL: Relaxed When Possible, Strict When Necessary#
    Pedro Lopes, Jo~ao Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues and Nuno M. Pregui. In CoRR, volume abs/1902.03576 2019. (bib, url)

2018

  • Just-Right Consistency: reconciling availability and safety#
    Marc Shapiro, Annette Bieniusa, Nuno M. Pregui, Valter Balegas and Christopher Meiklejohn. In CoRR, volume abs/1801.06340 2018. (bib, url)
  • Ensuring referential integrity under causal consistency#
    Marc Shapiro, Annette Bieniusa, Peter Zeller and Gustavo Petri. In CoRR, volume abs/1803.03482 2018. (bib, url)
  • ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases#
    Mathias Weber and Annette Bieniusa. In CoRR, volume abs/1801.07005 2018. (bib, url)

2017

  • Techreport: Time-sensitive probabilistic inference for the edge#
    Christian Weilbach and Annette Bieniusa. In CoRR, volume abs/1710.11057 2017. (bib, url)

My publications listed on DBLP and Google Scholar.

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)