Matthew Alan Le Brun

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Tightly Coupled

Failure Prediction

Communication Cost

Top Venues

Erlang Workshop

Publications

Matthew Alan Le Brun, Ornela Dardha
MAG π!: The Role of Replication in Typing Failure-Prone Communication. CoRR (2024)
Matthew Alan Le Brun, Ornela Dardha
MAGπ!: The Role of Replication in Typing Failure-Prone Communication. FORTE (2024)
Matthew Alan Le Brun, Ornela Dardha
MAGπ: Types for Failure-Prone Communication. ESOP (2023)
Matthew Alan Le Brun, Ornela Dardha
MAGπ: Types for Failure-Prone Communication. CoRR (2023)
Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza
Graft: general purpose raft consensus in Elixir. Erlang Workshop (2021)