All Stories

  1. 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

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

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

    Miguel Matos

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

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

    Miguel Matos

  4. Kollaps

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

    Miguel Matos

  5. Adaptive information dissemination in the Bitcoin network

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

    Luis Rodrigues, Miguel Matos