Pedro Fonseca
Purdue University
H-index: 19
North America-United States
Top articles of Pedro Fonseca
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Kaleidoscope: Precise Invariant-Guided Pointer Analysis | Tapti Palit Pedro Fonseca | 2024/4/27 | |
Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts | Sumer Kohli Shreyas Kharbanda Rodrigo Bruno Joao Carreira Pedro Fonseca | 2024/4/22 | |
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing | Adil Ahmad Alex Schultz Byoungyoung Lee Pedro Fonseca | 2023 | |
Snowcat: Efficient kernel concurrency testing using a learned coverage predictor | Sishuai Gong Dinglan Peng Deniz Altınbüken Pedro Fonseca Petros Maniatis | 2023/10/23 | |
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches | Dinglan Peng Congyu Liu Tapti Palit Pedro Fonseca Anjo Vahldiek-Oberwagner | 2023/5/21 | |
Always-On Recording Framework for Serverless Computations: Opportunities and Challenges | Shreyas Kharbanda Pedro Fonseca | 2023/5/8 | |
Veil: A Protected Services Framework for Confidential Virtual Machines | Adil Ahmad Botong Ou Congyu Liu Xiaokuan Zhang Pedro Fonseca | 2023/3/25 | |
KIT: Testing os-level virtualization for functional interference bugs | Congyu Liu Sishuai Gong Pedro Fonseca | 2023/1/27 | |
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. | Adil Ahmad Juhee Kim Jaebaek Seo Insik Shin Pedro Fonseca | 2021/2/21 | |
Snowboard: Finding kernel concurrency bugs through systematic inter-thread communication analysis | Sishuai Gong Deniz Altinbüken Pedro Fonseca Petros Maniatis | 2021/10/26 | |
SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening | Muhammad Abubakar Adil Ahmad Pedro Fonseca Dongyan Xu | 2021 | |
Execution reconstruction: Harnessing failure reoccurrences for failure reproduction | Gefei Zuo Jiacheng Ma Andrew Quinn Pramod Bhatotia Pedro Fonseca | 2021 | |
From warm to hot starts: Leveraging runtimes for the serverless era | Joao Carreira Sumer Kohli Rodrigo Bruno Pedro Fonseca | 2021/6/1 | |
On-demand-fork: A microsecond fork for memory-intensive and latency-sensitive applications | Kaiyang Zhao Sishuai Gong Pedro Fonseca | 2021/4/21 | |
Kard: Lightweight data race detection with per-thread memory protection | Adil Ahmad Sangho Lee Pedro Fonseca Byoungyoung Lee | 2021/4/19 | |
Sok: Understanding the prevailing security vulnerabilities in trustzone-assisted tee systems | David Cerdeira Nuno Santos Pedro Fonseca Sandro Pinto | 2020/5/18 |
