Pedro Fonseca
4 papers · 2014–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
Academic Marathon
(11)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(8)
Conferences
OSDI (4)
Top co-authors
Keywords
virtual machine
(1)
secure enclave
(1)
confidential computing
(1)
cloud security
(1)
performance overhead
(1)
deterministic execution
(1)
side-channel defense
(1)
record and replay
(1)
kernel debugging
(1)
deterministic replay
(1)
bug reproduction
(1)
kernel record replay
(1)
execution recording
(1)
concurrent workload
(1)
record replay
(1)
Papers
KRR: Efficient and Scalable Kernel Record Replay
OSDI 2025
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
OSDI 2023
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications
OSDI 2016
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
OSDI 2014