Pedro Fonseca

According to our database, Pedro Fonseca authored at least 31 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts.

Sumer Kohli, Shreyas Kharbanda, Rodrigo Bruno, João Carreira, Pedro Fonseca

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

Kaleidoscope: Precise Invariant-Guided Pointer Analysis.

Tapti Palit, Pedro Fonseca

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

μSwitch: Fast Kernel Context Isolation with Implicit Context Switches.

Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.

Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Always-On Recording Framework for Serverless Computations: Opportunities and Challenges.

Shreyas Kharbanda, Pedro Fonseca

Proceedings of the 1st Workshop on SErverless Systems, Applications and MEthodologies, 2023

An Extensible Orchestration and Protection Framework for Confidential Cloud Computing.

Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

KIT: Testing OS-Level Virtualization for Functional Interference Bugs.

Congyu Liu, Sishuai Gong, Pedro Fonseca

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Veil: A Protected Services Framework for Confidential Virtual Machines.

Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, Pedro Fonseca

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening.

Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, Dongyan Xu

Proceedings of the 30th USENIX Security Symposium, 2021

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.

Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Execution reconstruction: harnessing failure reoccurrences for failure reproduction.

Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs.

Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

From warm to hot starts: leveraging runtimes for the serverless era.

João Carreira, Sumer Kohli, Rodrigo Bruno, Pedro Fonseca

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications.

Kaiyang Zhao, Sishuai Gong, Pedro Fonseca

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

Kard: lightweight data race detection with per-thread memory protection.

Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems.

David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Cirrus: a Serverless Framework for End-to-end ML Workflows.

João Carreira, Pedro Fonseca, Alexey Tumanov, Andrew Zhang, Randy H. Katz

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018

ADARES: Adaptive Resource Management for Virtual Machines.

Ignacio Cano, Lequn Chen, Pedro Fonseca, Tianqi Chen, Chern Cheah, Karan Gupta, Ramesh Chandra, Arvind Krishnamurthy

CoRR, 2018

Cntr: Lightweight OS Containers.

Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors.

Pedro Fonseca, Xi Wang, Arvind Krishnamurthy

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

An Empirical Study on the Correctness of Formally Verified Distributed Systems.

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications.

Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Effective testing for concurrency bugs.

Pedro Fonseca

PhD thesis, 2015

iThreads: A Threading Library for Parallel Incremental Computation.

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.

Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

Composing OS extensions safely and efficiently with Bascule.

Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt

Proceedings of the Eighth Eurosys Conference 2013, 2013

2011

Finding complex concurrency bugs in large multi-threaded applications.

Pedro Fonseca, Cheng Li, Rodrigo Rodrigues

Proceedings of the European Conference on Computer Systems, 2011

2010

A study of the internal and external effects of concurrency bugs.

Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Full-Information Lookups for Peer-to-Peer Overlays.

Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov

IEEE Trans. Parallel Distributed Syst., 2009

Zeno: Eventually Consistent Byzantine-Fault Tolerance.

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Defining weakly consistent Byzantine fault-tolerant services.

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis

Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008