All Stories

  1. Rose: Reproducing External-Fault-Induced Failures in Distributed Systems with Lightweight Instrumentation

    Article • April 2026, ACM (Association for Computing Machinery)

    Miguel Matos

  2. Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation

    Article • ACM Transactions on Computer Systems, April 2026, ACM (Association for Computing Machinery)

    Luis Rodrigues, Miguel Matos

  3. No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage

    Article • September 2025, ACM (Association for Computing Machinery)

    Miguel Matos, Tânia Esteves, Carlos Machado

  4. HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection

    Article • March 2025, ACM (Association for Computing Machinery)

    Miguel Matos

  5. Mumak: Efficient and Black-Box Bug Detection for Persistent Memory

    Article • May 2023, ACM (Association for Computing Machinery)

    Miguel Matos

  6. Kollaps

    Article • April 2020, ACM (Association for Computing Machinery)

    Miguel Matos

  7. Adaptive information dissemination in the Bitcoin network

    Article • April 2019, ACM (Association for Computing Machinery)

    Luis Rodrigues, Miguel Matos