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

Twitter:https://twitter.com/anne_biene

Research interests:Distributed and concurrent programming, consistency and replication

Contributions

PADL 2023	Committee Member in Program Committee within the PADL 2023-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
ECOOP 2022	Committee Member in Program Committee within the Research Papers-track Panelist of Concurrent and distributed programming within the Expert Discussion-track
PLF 2022	Committee Member in Organizing Committee within the PLF-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
POPL 2021	Committee Member in Program Committee within the POPL-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)
‹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