Annette Bieniusa

Registered user since Tue 21 Feb 2017

Name:Annette Bieniusa
Bio:

Annette is a lecturer and researcher at the Technical 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:Technische Universität Kaiserslautern
Research interests:Distributed and concurrent programming, consistency and replication

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
Erlang 2021 Author of Bidirectional Typing for Erlang within the Erlang 2021-track
Co-chair of Welcome within the Erlang 2021-track
Organization Co-chair in Organizing Committee within the Erlang 2021-track
Organization Co-chair in Program Committee within the Erlang 2021-track
Erlang 2020 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)
POPL 2021 Committee Member in Program Committee within the POPL-track
‹Programming› 2020 Contributor/Author of AntidoteDB within the Tutorials-track
Erlang 2019 Programme Committee in Program Committee within the Erlang 2019-track
PMLDC 2017 Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track
Committee Member in Program Committee within the PMLDC 2017-track
Erlang 2016 Author of Observing the consistency of distributed systems within the Erlang-track
PMLDC 2016 Committee Member in Program Committee within the PMLDC-track