Research

Publications

For a full list, see my profile on DBLP or on Google Scholar.

Recent Publications

• Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model, PODC 2024 (arXiv version)
• Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols, PODC 2024
• TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus, PODC 2024, and accompanying TLA+ specification.
• Time is not a Healer, but it Sure Makes Hindsight 20:20, SSS 2023
• Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority, DISC 2023 (related arXiv paper and TLA+ and Isabelle/HOL specifications and proofs)

Workshops

I sometimes (co-)organize workshops:

• Together with Swen Jacobs, I am co-organizing the Workshop on Formal Reasoning in Distributed Algorithms (FRIDA), which will take place in Montreal on July 23rd.
• In October 2023, Christian Cachin and myself organized the Workshop on Heterogeneous Trust in Distributed Systems as part of AFT 2023. The recordings are available on Youtube.
• Together with Swen Jacobs, I organized the 2021 Workshop on Formal Reasoning in Distributed Algorithms. Video recordings are available on Youtube: Monday’s session and Friday’s session.
• In 2020, Marijana Lazić and myself organized the 2020 Workshop on Formal Reasoning in Distributed Algorithms (FRIDA). You can find the videos of the talks on the QONFEST YouTube channel (search for FRIDA in video titles).

Recent service activities

• Member of the program committee of the 2024 TLA+ Community Event
• Reviewer for DISC 2024
• Member of the program committee of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)