Pedro Fonseca

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 22

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Tapti Palit, Pedro Fonseca
Kaleidoscope: Precise Invariant-Guided Pointer Analysis. ASPLOS (3) (2024)
Sumer Kohli, Shreyas Kharbanda, Rodrigo Bruno, João Carreira, Pedro Fonseca
Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts. EuroSys (2024)
Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, Pedro Fonseca
Veil: A Protected Services Framework for Confidential Virtual Machines. ASPLOS (4) (2023)
Congyu Liu, Sishuai Gong, Pedro Fonseca
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. ASPLOS (2) (2023)
Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. SP (2023)
Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. OSDI (2023)
Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. SOSP (2023)
Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. NDSS (2021)
Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. SOSP (2021)
Kaiyang Zhao, Sishuai Gong, Pedro Fonseca
On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. EuroSys (2021)
João Carreira, Sumer Kohli, Rodrigo Bruno, Pedro Fonseca
From warm to hot starts: leveraging runtimes for the serverless era. HotOS (2021)
Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, Dongyan Xu
SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. USENIX Security Symposium (2021)
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
Execution reconstruction: harnessing failure reoccurrences for failure reproduction. PLDI (2021)
Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee
Kard: lightweight data race detection with per-thread memory protection. ASPLOS (2021)
David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. IEEE Symposium on Security and Privacy (2020)
João Carreira, Pedro Fonseca, Alexey Tumanov, Andrew Zhang, Randy H. Katz
Cirrus: a Serverless Framework for End-to-end ML Workflows. SoCC (2019)
Ignacio Cano, Lequn Chen, Pedro Fonseca, Tianqi Chen, Chern Cheah, Karan Gupta, Ramesh Chandra, Arvind Krishnamurthy
ADARES: Adaptive Resource Management for Virtual Machines. CoRR (2018)
Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
Cntr: Lightweight OS Containers. USENIX Annual Technical Conference (2018)
Pedro Fonseca, Xi Wang, Arvind Krishnamurthy
MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. EuroSys (2018)
Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
An Empirical Study on the Correctness of Formally Verified Distributed Systems. EuroSys (2017)
Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. OSDI (2016)
Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues
iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS (2015)
Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. OSDI (2014)
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt
Composing OS extensions safely and efficiently with Bascule. EuroSys (2013)
Pedro Fonseca, Cheng Li, Rodrigo Rodrigues
Finding complex concurrency bugs in large multi-threaded applications. EuroSys (2011)
Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues
A study of the internal and external effects of concurrency bugs. DSN (2010)
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI (2009)
Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov
Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distributed Syst. 20 (9) (2009)
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
Defining weakly consistent Byzantine fault-tolerant services. LADIS (2008)

Pedro Fonseca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro Fonseca