Defining weakly consistent Byzantine fault-tolerant services. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (LADIS, 2008)

Zeno: Eventually Consistent Byzantine-Fault Tolerance. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (NSDI, 2009)

Full-Information Lookups for Peer-to-Peer Overlays. - Pedro Fonseca 001; Rodrigo Rodrigues 001; Anjali Gupta; Barbara Liskov (IEEE Trans. Parallel Distributed Syst., 2009)

A study of the internal and external effects of concurrency bugs. - Pedro Fonseca 001; Cheng Li 001; Vishal Singhal; Rodrigo Rodrigues 001 (DSN, 2010)

Finding complex concurrency bugs in large multi-threaded applications. - Pedro Fonseca 001; Cheng Li 001; Rodrigo Rodrigues 001 (EuroSys, 2011)

Composing OS extensions safely and efficiently with Bascule. - Andrew Baumann; Dongyoon Lee; Pedro Fonseca 001; Lisa Glendenning; Jacob R. Lorch; Barry Bond; Reuben Olinsky; Galen C. Hunt (EuroSys, 2013)

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. - Pedro Fonseca 001; Rodrigo Rodrigues 001; Björn B. Brandenburg (OSDI, 2014)

iThreads: A Threading Library for Parallel Incremental Computation. - Pramod Bhatotia; Pedro Fonseca 001; Umut A. Acar; Björn B. Brandenburg; Rodrigo Rodrigues 001 (ASPLOS, 2015)

Effective testing for concurrency bugs. - Pedro Fonseca 001 (2015)

Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. - Irene Zhang; Niel Lebeck; Pedro Fonseca 001; Brandon Holt; Raymond Cheng 001; Ariadna Norberg; Arvind Krishnamurthy; Henry M. Levy (OSDI, 2016)

An Empirical Study on the Correctness of Formally Verified Distributed Systems. - Pedro Fonseca 001; Kaiyuan Zhang 001; Xi Wang 005; Arvind Krishnamurthy (EuroSys, 2017)

MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. - Pedro Fonseca 001; Xi Wang 005; Arvind Krishnamurthy (EuroSys, 2018)

Cntr: Lightweight OS Containers. - Jörg Thalheim; Pramod Bhatotia; Pedro Fonseca 001; Baris Kasikci (USENIX ATC, 2018)

ADARES: Adaptive Resource Management for Virtual Machines. - Ignacio Cano 001; Lequn Chen 001; Pedro Fonseca 001; Tianqi Chen 001; Chern Cheah; Karan Gupta; Ramesh Chandra; Arvind Krishnamurthy (CoRR, 2018)

Cirrus: a Serverless Framework for End-to-end ML Workflows. - João Carreira; Pedro Fonseca 001; Alexey Tumanov; Andrew Zhang; Randy H. Katz (SoCC, 2019)

SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. - David Cerdeira; Nuno Santos 001; Pedro Fonseca 001; Sandro Pinto 001 (SP, 2020)

Kard: lightweight data race detection with per-thread memory protection. - Adil Ahmad; Sangho Lee 001; Pedro Fonseca 001; Byoungyoung Lee (ASPLOS, 2021)

On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. - Kaiyang Zhao 002; Sishuai Gong; Pedro Fonseca 001 (EuroSys, 2021)

From warm to hot starts: leveraging runtimes for the serverless era. - João Carreira; Sumer Kohli; Rodrigo Bruno; Pedro Fonseca 001 (HotOS, 2021)

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. - Adil Ahmad; Juhee Kim; Jaebaek Seo; Insik Shin; Pedro Fonseca 001; Byoungyoung Lee (NDSS, 2021)

Execution reconstruction: harnessing failure reoccurrences for failure reproduction. - Gefei Zuo; Jiacheng Ma 001; Andrew Quinn 001; Pramod Bhatotia; Pedro Fonseca 001; Baris Kasikci (PLDI, 2021)

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. - Sishuai Gong; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2021)

SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. - Muhammad Abubakar; Adil Ahmad; Pedro Fonseca 001; Dongyan Xu (USENIX Security Symposium, 2021)

Veil: A Protected Services Framework for Confidential Virtual Machines. - Adil Ahmad; Botong Ou; Congyu Liu; Xiaokuan Zhang; Pedro Fonseca 001 (ASPLOS (4), 2023)

KIT: Testing OS-Level Virtualization for Functional Interference Bugs. - Congyu Liu; Sishuai Gong; Pedro Fonseca 001 (ASPLOS (2), 2023)

An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. - Adil Ahmad; Alex Schultz; Byoungyoung Lee; Pedro Fonseca 001 (OSDI, 2023)

Always-On Recording Framework for Serverless Computations: Opportunities and Challenges. - Shreyas Kharbanda; Pedro Fonseca 001 (SESAME@EuroSys, 2023)

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. - Sishuai Gong; Dinglan Peng; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2023)

μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. - Dinglan Peng; Congyu Liu; Tapti Palit; Pedro Fonseca 001; Anjo Vahldiek-Oberwagner; Mona Vij (SP, 2023)

Kaleidoscope: Precise Invariant-Guided Pointer Analysis. - Tapti Palit; Pedro Fonseca 001 (ASPLOS (3), 2024)

Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts. - Sumer Kohli; Shreyas Kharbanda; Rodrigo Bruno; João Carreira; Pedro Fonseca 001 (EuroSys, 2024)

Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. - Sishuai Gong; Wang Rui; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (ASPLOS (2), 2025)

Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication. - Dinglan Peng; Congyu Liu; Tapti Palit; Anjo Vahldiek-Oberwagner; Mona Vij; Pedro Fonseca 001 (EuroSys, 2025)

KRR: Efficient and Scalable Kernel Record Replay. - Tianren Zhang; Sishuai Gong; Pedro Fonseca 001 (OSDI, 2025)