conf.researchr.org / Annette Bieniusa
Registered user since Tue 21 Feb 2017
Name:Annette Bieniusa
Bio:
Annette is leading the Software Technology Group at the University of Kaiserslautern. Her research interests include semantics of concurrent and distributed programming, with a focus on replication, synchronization, and programming language concepts such as Software Transactional Memory and Replicated Data Structures. Annette is involved in several national and international research projects, including the EU-H2020 Project “Lightkone: Lightweight computation for networks at the edge”.
Country:Germany
Affiliation:University of Kaiserslautern-Landau
Personal website: http://softech.informatik.uni-kl.de
X (Twitter): https://x.com/anne_biene
Research interests:Distributed and concurrent programming, consistency and replication
Contributions
2024
PLF
Erlang
2023
Symposium on Practical Aspects of Declarative Languages
PLF
SPLASH
2022
ECOOP
2021
Erlang
2020
Erlang
- Session Chair of Session 2 (part of Erlang 2020)
- PC Member in Program Committee within the Erlang 2020-track
- Author of Opening within the Erlang 2020-track
- Author of Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ within the Erlang 2020-track
- Co-chair in Organizing Committee within the Erlang 2020-track
- Session Chair of Session 3 (part of Erlang 2020)