Pedro Fonseca


I was a Ph.D. student at MPI-SWS in Germany working with Rodrigo Rodrigues and Björn Brandenburg. Recentely I've been focusing on studying and developing techniques to handle concurrency bugs. In the past I've also worked on the development of Byzantine fault tolerant systems and Peer-to-Peer systems.

I am now a postdoc at the University of Washington.


  • iThreads: A Threading Library for Parallel Incremental Computation
    Pramod Bhatotia, Pedro Fonseca, Umut Acar, Björn Brandenburg, and Rodrigo Rodrigues.
    In the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015). (to appear)

  • SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration [pdf] [slides]
    Pedro Fonseca, Rodrigo Rodrigues, and Björn Brandenburg.
    In the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2014)

  • Composing OS Extensions Safely and Efficiently with Bascule [pdf]
    Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, and Galen C. Hunt.
    In the 7th ACM European Conference on Computer Systems (EuroSys 2013).

  • Fighting Cybercrime with Packet Attestation [pdf]
    Andreas Haeberlen, Pedro Fonseca, Rodrigo Rodrigues, and Peter Druschel.
    Technical Report MPI-SWS-2011-002, Max Planck Institute for Software Systems, July 2011.

  • Finding Complex Concurrency Bugs in Large Multi-Threaded Applications [pdf]
    Pedro Fonseca, Cheng Li, and Rodrigo Rodrigues.
    In the 5th ACM European Conference on Computer Systems (EuroSys 2011).

  • A Study of the Internal and External Effects of Concurrency Bugs [pdf]
    Pedro Fonseca, Cheng Li, Vishal Singhal, and Rodrigo Rodrigues.
    In the 40th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010).

  • Zeno: Eventually Consistent Byzantine Fault Tolerance [pdf]
    Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros Maniatis.
    In the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).

  • Full-Information Lookups for Peer-to-Peer Overlays
    Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, and Barbara Liskov.
    In the IEEE Transactions on Parallel and Distributed Systems (TPDS), vol. 20, no. 9, September 2009.

  • Defining Weakly Consistent Byzantine Fault-Tolerant Services [pdf]
    Petr Kuznetsov, Rodrigo Rodrigues, Atul Singh, Petros Maniatis, and Pedro Fonseca.
    In the Large-Scale Distributed Systems and Middleware (LADIS 2008).

Contact Information

Max Planck Institute for Software Systems
Campus E1 4
D-66123 Saarbruecken
Telephone: +49 681 9303-8815
Fax: +49 681 9303-9199