Dr. rer. nat. Annette Bieniusa
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
| 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)
@inproceedings{DBLP:conf/birthday/BieniusaZB18,
author = {Annette Bieniusa and
Peter Zeller and
Shraddha Barke},
title = {Collaborative Work Management with a Highly-Available Kanban Board},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
editor = {Peter M{\"{u}}ller and Ina Schaefer},
pages = {59--72},
publisher = {Springer},
year = {2018},
crossref = {DBLP:conf/birthday/2018poetzsch},
url = {https://doi.org/10.1007/978-3-319-98047-8\_4},
doi = {10.1007/978-3-319-98047-8\_4},
timestamp = {Wed, 31 Oct 2018 17:56:46 +0100},
biburl = {https://dblp.org/rec/bib/conf/birthday/BieniusaZB18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/europar/AkkoorathBBB18,
author = {Deepthi Devaki Akkoorath and
Jos{\'{e}} Brand{\~{a}}o and
Annette Bieniusa and
Carlos Baquero},
title = {Global-Local View: Scalable Consistency for Concurrent Data Types},
booktitle = {Euro-Par 2018: Parallel Processing - 24th International Conference
on Parallel and Distributed Computing, Turin, Italy, August 27-31,
2018, Proceedings},
editor = {Marco Aldinucci and
Luca Padovani and
Massimo Torquati},
pages = {492--504},
year = {2018},
series = {Lecture Notes in Computer Science},
volume = {11014},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-96983-1\_35},
doi = {10.1007/978-3-319-96983-1\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/bib/conf/europar/AkkoorathBBB18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/eurosys/0001BZP18,
author = {Marc Shapiro and
Annette Bieniusa and
Peter Zeller and
Gustavo Petri},
title = {Ensuring referential integrity under causal consistency},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
editor = {Sebastian Burckhardt and
Marko Vukolic},
pages = {1:1--1:5},
year = {2018},
publisher = {{ACM}},
url = {https://doi.org/10.1145/3194261.3194262},
doi = {10.1145/3194261.3194262},
timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
biburl = {https://dblp.org/rec/bib/conf/eurosys/0001BZP18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@article{DBLP:journals/dagstuhl-reports/BieniusaGKS18,
author = {Annette Bieniusa and
Alexey Gotsman and
Bettina Kemme and
Marc Shapiro},
title = {Data Consistency in Distributed Systems: Algorithms, Programs, and
Databases (Dagstuhl Seminar 18091)},
journal = {Dagstuhl Reports},
volume = {8},
number = {2},
pages = {101--121},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.2.101},
doi = {10.4230/DagRep.8.2.101},
timestamp = {Wed, 25 Jul 2018 15:43:15 +0200},
biburl = {https://dblp.org/rec/bib/journals/dagstuhl-reports/BieniusaGKS18},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
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)
@inproceedings{DBLP:conf/eurosys/TomasZBAB0P17,
author = {Gon{\c{c}}alo Tom{\'{a}}s and
Peter Zeller and
Valter Balegas and
Deepthi Devaki Akkoorath and
Annette Bieniusa and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
title = {FMKe: a Real-World Benchmark for Key-Value Data Stores},
booktitle = {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},
year = {2017},
publisher = {{ACM}},
url = {https://doi.org/10.1145/3064889.3064897},
doi = {10.1145/3064889.3064897},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/bib/conf/eurosys/TomasZBAB0P17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/forte/0001BP17,
author = {Mathias Weber and
Annette Bieniusa and
Arnd Poetzsch{-}Heffter},
title = {EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)},
booktitle = {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{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
pages = {236--242},
year = {2017},
editor = {Ahmed Bouajjani and
Alexandra Silva},
series = {Lecture Notes in Computer Science},
volume = {10321},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-319-60225-7\_17},
doi = {10.1007/978-3-319-60225-7\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/bib/conf/forte/0001BP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/ppdp/MeiklejohnEYBRB17,
author = {Christopher S. Meiklejohn and
Vitor Enes and
Junghun Yoo and
Carlos Baquero and
Peter Van Roy and
Annette Bieniusa},
title = {Practical evaluation of the Lasp programming model at large scale:
an experience report},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {109--114},
year = {2017},
editor = {Wim Vanhoof and
Brigitte Pientka},
publisher = {{ACM}},
url = {https://doi.org/10.1145/3131851.3131862},
doi = {10.1145/3131851.3131862},
timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
biburl = {https://dblp.org/rec/bib/conf/ppdp/MeiklejohnEYBRB17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/www/LindeFLPCB17,
author = {Albert van der Linde and
Pedro Fouto and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a and
Santiago J. Casti{\~{n}}eira and
Annette Bieniusa},
title = {Legion: Enriching Internet Services with Peer-to-Peer Interactions},
booktitle = {Proceedings of the 26th International Conference on World Wide Web,
{WWW} 2017, Perth, Australia, April 3-7, 2017},
pages = {283--292},
year = {2017},
editor = {Rick Barrett and
Rick Cummings and
Eugene Agichtein and
Evgeniy Gabrilovich},
publisher = {{ACM}},
url = {https://doi.org/10.1145/3038912.3052673},
doi = {10.1145/3038912.3052673},
timestamp = {Tue, 06 Nov 2018 16:57:08 +0100},
biburl = {https://dblp.org/rec/bib/conf/www/LindeFLPCB17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@article{DBLP:journals/dagstuhl-reports/BieniusaBHP17,
author = {Annette Bieniusa and
Hans{-}Juergen Boehm and
Maurice Herlihy and
Erez Petrank},
title = {New Challenges in Parallelism (Dagstuhl Seminar 17451)},
journal = {Dagstuhl Reports},
volume = {7},
number = {11},
pages = {1--27},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.11.1},
doi = {10.4230/DagRep.7.11.1},
timestamp = {Thu, 29 Mar 2018 09:47:39 +0200},
biburl = {https://dblp.org/rec/bib/journals/dagstuhl-reports/BieniusaBHP17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
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)
@inproceedings{DBLP:conf/erlang/AkkoorathFB16,
author = {Deepthi Devaki Akkoorath and
Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s and
Annette Bieniusa},
title = {Observing the consistency of distributed systems},
booktitle = {Proceedings of the 15th International Workshop on Erlang, Nara, Japan,
September 18-22, 2016},
pages = {54--55},
year = {2016},
editor = {Melinda T{\'{o}}th and
Scott Lystig Fritchie},
publisher = {{ACM}},
url = {https://doi.org/10.1145/2975969.2975975},
doi = {10.1145/2975969.2975975},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/bib/conf/erlang/AkkoorathFB16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/eurosys/AkkoorathB16,
author = {Deepthi Devaki Akkoorath and
Annette Bieniusa},
title = {Highly-scalable concurrent objects},
booktitle = {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},
year = {2016},
publisher = {{ACM}},
editor = {Peter Alvaro and
Alysson Bessani},
url = {https://doi.org/10.1145/2911151.2911158},
doi = {10.1145/2911151.2911158},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/bib/conf/eurosys/AkkoorathB16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/eurosys/WeilbachKB16,
author = {Christian Weilbach and
Konrad K{\"{u}}hne and
Annette Bieniusa},
title = {Decoupling conflict resolution with CDVCS},
booktitle = {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},
year = {2016},
editor = {Peter Alvaro and
Alysson Bessani},
publisher = {{ACM}},
url = {https://doi.org/10.1145/2911151.2911154},
doi = {10.1145/2911151.2911154},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/bib/conf/eurosys/WeilbachKB16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/eurosys/ZawirskiBBPS16,
author = {Marek Zawirski and
Carlos Baquero and
Annette Bieniusa and
Nuno M. Pregui{\c{c}}a and
Marc Shapiro},
title = {Eventually consistent register revisited},
booktitle = {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},
year = {2016},
publisher = {{ACM}},
editor = {Peter Alvaro and
Alysson Bessani},
url = {https://doi.org/10.1145/2911151.2911157},
doi = {10.1145/2911151.2911157},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/bib/conf/eurosys/ZawirskiBBPS16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/icdcs/AkkoorathTBLCBP16,
author = {Deepthi Devaki Akkoorath and
Alejandro Z. Tomsic and
Manuel Bravo and
Zhongmiao Li and
Tyler Crain and
Annette Bieniusa and
Nuno M. Pregui{\c{c}}a and
Marc Shapiro},
title = {Cure: Strong Semantics Meets High Availability and Low Latency},
booktitle = {36th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2016, Nara, Japan, June 27-30, 2016},
pages = {405--414},
year = {2016},
publisher = {{IEEE} Computer Society},
url = {https://doi.org/10.1109/ICDCS.2016.98},
doi = {10.1109/ICDCS.2016.98},
timestamp = {Fri, 02 Nov 2018 09:48:17 +0100},
biburl = {https://dblp.org/rec/bib/conf/icdcs/AkkoorathTBLCBP16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@inproceedings{DBLP:conf/stm/0001BP16,
author = {Mathias Weber and
Annette Bieniusa and
Arnd Poetzsch{-}Heffter},
title = {Access Control for Weakly Consistent Replicated Information Systems},
booktitle = {Security and Trust Management - 12th International Workshop, {STM}
2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
pages = {82--97},
year = {2016},
editor = {Gilles Barthe and
Evangelos P. Markatos and
Pierangela Samarati},
url = {https://doi.org/10.1007/978-3-319-46598-2\_6},
series = {Lecture Notes in Computer Science},
volume = {9871},
publisher = {Springer},
doi = {10.1007/978-3-319-46598-2\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/bib/conf/stm/0001BP16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
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)
@inproceedings{DBLP:conf/aplas/AkkoorathB15,
author = {Deepthi Devaki Akkoorath and
Annette Bieniusa},
title = {Transactions on Mergeable Objects},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
pages = {427--444},
year = {2015},
}
-
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)
@inproceedings{rep:pan:sh177,
author = {Zawirski, Marek and Pregui{\c c}a, Nuno and Duarte,
S{\'e}rgio and Bieniusa, Annette and Balegas, Valter
and Shapiro, Marc},
title = {Write Fast, Read in the Past: Causal Consistency for
Client-side Applications},
booktitle = {Proceedings of the 16th Annual Middleware Conference, Vancouver, BC,
Canada, December 07 - 11, 2015},
pages = {75--87},
year = {2015},
month = {dec},
address = {Vancouver, BC, Canada},
organization = {ACM/IFIP/Usenix},
}
-
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)
@inproceedings{AkkoorathBieniusa2015,
author = {Deephti Devaki Akkoorath and Annette Bieniusa},
title = {Transactions on Mergeable Objects},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, Korea, November 30-December 2, 2015, Proceedings (to appear)},
year = {2015},
}
-
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)
@inproceedings{AscoBieniusa15,
author = {Asc{\'{o}}, Amadeo and Bieniusa, Annette},
title = {Adaptive Strength Geo-Replication Strategy},
booktitle = {Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data},
series = {PaPoC '15},
year = {2015},
location = {Bordeaux, France},
publisher = {ACM},
address = {New York, NY, USA},
}
-
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)
@inproceedings{CastineiroBieniusa15,
author = {Casti{\~{n}}eira, Santiago and Bieniusa, Annette},
title = {Collaborative offline web applications using Conflict-free Replicated Data Types},
booktitle = {Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data},
series = {PaPoC '15},
year = {2015},
location = {Bordeaux, France},
numpages = {2},
publisher = {ACM},
address = {New York, NY, USA},
}
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)
@inproceedings{ZellerBieniusaPoetzschHeffter14,
author = {Peter Zeller and
Annette Bieniusa and
Arnd Poetzsch{-}Heffter},
title = {Formal Specification and Verification of CRDTs},
booktitle = {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},
year = {2014},
series = {Lecture Notes in Computer Science},
volume = {8461},
publisher = {Springer},
}
-
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)
@inproceedings{DBLP:conf/srds/PreguicaZBDBBS14,
author = {Nuno M. Pregui{\c{c}}a and
Marek Zawirski and
Annette Bieniusa and
S{\'{e}}rgio Duarte and
Valter Balegas and
Carlos Baquero and
Marc Shapiro},
title = {SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way
to the Client Machine},
booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems
Workshops, {SRDS} Workshops 2014, Nara, Japan, October 6-9, 2014},
pages = {30--33},
year = {2014},
}
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)
@inproceedings{DBLP:conf/wdag/BieniusaZPSBBD12,
author = {Annette Bieniusa and
Marek Zawirski and
Nuno M. Pregui{\c{c}}a and
Marc Shapiro and
Carlos Baquero and
Valter Balegas and
S{\'{e}}rgio Duarte},
title = {Brief Announcement: Semantics of Eventually Consistent Replicated
Sets},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
pages = {441--442},
year = {2012},
}
-
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)
@inproceedings{HeideggerBieniusaThiemann2012,
author = {Phillip Heidegger and Annette Bieniusa and Peter Thiemann},
title = {Access Permission Contracts for Scripting Languages},
year = {2012},
booktitle = {POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
address = {Philadelphia, USA},
month = {Jan},
}
-
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)
@inproceedings{BieniusaFuhrmann2012,
author = {Annette Bieniusa and Thomas Fuhrmann},
title = {Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory},
booktitle = {Proceedings of the 13th International Conference on Distributed Computing and Networking (ICDCN12)},
year = {2012},
month = {jan},
adress = {Hong Kong, China},
}
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)
@inproceedings{BieniusaThiemann2011,
author = {Annette Bieniusa and Peter Thiemann},
title = {Proving Isolation Properties for Software Transactional Memory},
booktitle = {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\"ucken, Germany, March 26-April 3, 2011. },
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
}
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)
@inproceedings{BieniusaEickholdFuhrmann2010,
author = {Annette Bieniusa and Johannes Eickhold and Thomas Fuhrmann},
title = {The Architecture of {DecentVM} - Towards a Decentralized
Virtual Machine for Many-Core Computing},
booktitle = {Proceedings of the 4th workshop on Virtual Machines and
Intermediate Languages (VMIL), October 17, 2010, Reno, Nevada, USA},
year = {2010},
}
-
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)
@inproceedings{HeideggerBieniusaThiemann2010,
author = {Phillip Heidegger and
Annette Bieniusa and
Peter Thiemann},
title = {DOM Transactions for Testing JavaScript},
year = {2010},
pages = {211-214},
booktitle = {Testing - Practice and Research Techniques, 5th International
Academic and Industrial Conference, TAIC PART 2010, Windsor,
UK, September 3-5, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6303},
}
-
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)
@inproceedings{BieniusaMiddelkoopThiemann-brief2010,
author = {Annette Bieniusa and
Arie Middelkoop and
Peter Thiemann},
title = {Brief announcement: Actions in the Twilight - Concurrent
Irrevocable Transactions and Inconsistency Repair},
booktitle = {Proceedings of the 29th Annual ACM Symposium on Principles
of Distributed Computing, PODC 2010, Zurich, Switzerland,
July 25-28, 2010},
publisher = {ACM},
year = {2010},
pages = {71-72},
}
-
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)
@inproceedings{BieniusaFuhrmann2010,
author = {Annette Bieniusa and Thomas Fuhrmann},
booktitle = {Proceedings of the 2010 IEEE International Symposium on
Parallel Distributed Processing (IPDPS), April 19-23, 2010, Atlanta,
Georgia, USA},
title = {Consistency in hindsight: A fully decentralized STM algorithm},
year = {2010},
ISSN = {1530-2075},
}
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)
@inproceedings{BieniusaThiemann2009,
author = {Annette Bieniusa and
Peter Thiemann},
title = {How to CPS Transform a Monad},
year = {2009},
pages = {266-280},
booktitle = {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},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5501},
}
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)
@inproceedings{BieniusaThiemannWehr2008,
author = {Annette Bieniusa and
Peter Thiemann and
Stefan Wehr},
booktitle = {International Conference on Computer Science and Software
Engineering, CSSE 2008, December
12-14, 2008, Wuhan, China},
publisher = {IEEE Computer Society},
title = {The Relation of Version Control to Concurrent Programming},
year = {2008},
pages = {461-464},
}
-
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)
@inproceedings{BieniusaEtAl2008,
title = {HtDP and DMdA in the Battlefield},
author = {Annette Bieniusa and Markus Degen and Phillip Heidegger
and Peter Thiemann and Stefan Wehr and Martin Gasbichler and Marcus Crestani and Herbert Klaeren and Eric Knauel and
Michael Sperber},
year = {2008},
booktitle = {Functional and Declarative Programming in Education},
address = {Victoria, BC, Canada},
month = {sep},
}
-
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)
@inproceedings{BieniusaEtAl2008-2,
title = {Auf dem Weg zu einer robusten Programmierausbildung},
author = {Annette Bieniusa and Markus Degen and Phillip Heidegger
and Peter Thiemann and Stefan Wehr and Martin Gasbichler and Marcus Crestani and Herbert Klaeren and Eric Knauel and
Michael Sperber},
year = {2008},
booktitle = {3. Workshop des GI-Fachbereichs Hochschuldidaktik der Informatik},
address = {Potsdam, Germany},
month = {Dec},
}
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)
@article{DBLP:journals/corr/abs-1902-03576,
author = {Pedro Lopes and
Jo{\~{a}}o Sousa and
Valter Balegas and
Carla Ferreira and
S{\'{e}}rgio Duarte and
Annette Bieniusa and
Rodrigo Rodrigues and
Nuno M. Pregui{\c{c}}a},
title = {Antidote SQL: Relaxed When Possible, Strict When Necessary},
journal = {CoRR},
volume = {abs/1902.03576},
year = {2019},
url = {http://arxiv.org/abs/1902.03576},
archivePrefix = {arXiv},
eprint = {1902.03576},
timestamp = {Tue, 21 May 2019 18:03:37 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1902-03576},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
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)
@article{DBLP:journals/corr/abs-1801-06340,
author = {Marc Shapiro and
Annette Bieniusa and
Nuno M. Pregui{\c{c}}a and
Valter Balegas and
Christopher Meiklejohn},
title = {Just-Right Consistency: reconciling availability and safety},
journal = {CoRR},
volume = {abs/1801.06340},
year = {2018},
url = {http://arxiv.org/abs/1801.06340},
archivePrefix = {arXiv},
eprint = {1801.06340},
timestamp = {Mon, 13 Aug 2018 16:46:42 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1801-06340},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
Ensuring referential integrity under causal consistency#
Marc Shapiro, Annette Bieniusa, Peter Zeller and Gustavo Petri. In CoRR, volume abs/1803.03482 2018. (bib, url)
@article{DBLP:journals/corr/abs-1803-03482,
author = {Marc Shapiro and
Annette Bieniusa and
Peter Zeller and
Gustavo Petri},
title = {Ensuring referential integrity under causal consistency},
journal = {CoRR},
volume = {abs/1803.03482},
year = {2018},
url = {http://arxiv.org/abs/1803.03482},
archivePrefix = {arXiv},
eprint = {1803.03482},
timestamp = {Mon, 13 Aug 2018 16:46:11 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1803-03482},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
-
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)
@article{DBLP:journals/corr/abs-1801-07005,
author = {Mathias Weber and
Annette Bieniusa},
title = {ACGreGate: A Framework for Practical Access Control for Applications
using Weakly Consistent Databases},
journal = {CoRR},
volume = {abs/1801.07005},
year = {2018},
url = {http://arxiv.org/abs/1801.07005},
archivePrefix = {arXiv},
eprint = {1801.07005},
timestamp = {Mon, 13 Aug 2018 16:47:35 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1801-07005},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
2017
-
Techreport: Time-sensitive probabilistic inference for the edge#
Christian Weilbach and Annette Bieniusa. In CoRR, volume abs/1710.11057 2017. (bib, url)
@article{DBLP:journals/corr/abs-1710-11057,
author = {Christian Weilbach and
Annette Bieniusa},
title = {Techreport: Time-sensitive probabilistic inference for the edge},
journal = {CoRR},
volume = {abs/1710.11057},
year = {2017},
url = {http://arxiv.org/abs/1710.11057},
archivePrefix = {arXiv},
eprint = {1710.11057},
timestamp = {Mon, 13 Aug 2018 16:48:15 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1710-11057},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
My publications listed on DBLP and Google Scholar.
Teaching
Lectures and courses at TU Kaiserslautern
- Lecture: Software Engineering 1 Winter 2017, Winter 2016, Winter 2015, Winter 2014
- Lecture: Programming Distributed Systems Summer 2019, Summer 2018
- Lecture: Compiler and Language-Processing Tools Winter 2018, Summer 2017, Summer 2015, Summer 2013
- Lecture: Programmieren in Anwendungen Summer 2018, Summer 2017, Summer 2016, Summer 2015, Summer 2014, Summer 2013
- Lecture: Programmieren in C Winter 2018
Course: Training for Programming Contests Summer 2018, Summer 2017
- Studienprojekt: Apps using distributed replicated data, Winter 2014
Programmierprojekt (für Hörer andere Fachrichtungen) Summer 2019, Summer 2018, Summer 2017,Summer 2018,Summer 2016, Summer 2015, Summer 2014
- Seminar: Software Engineering Summer 2019
- 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
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)
