conftrace_

Pedro Fonseca

5 papers · 2014–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half

Venues

OSDI (4) NSDI (1)

Top co-authors

Tianren Zhang (1) Niel Lebeck (1) Alex Schultz (1) Irene Zhang (1) Raymond Cheng (1) Byoungyoung Lee (1) Sishuai Gong (1) Adil Ahmad (1) Ariadna Norberg (1) Rodrigo Rodrigues (1)

Research topics

Machine Learning (2) Application Areas (2) Computer Science (1) Applications (1) Optimization & Theory (1) Systems (1)

Keywords

virtual machine (1) automated testing (1) secure enclave (1) confidential computing (1) cloud security (1) test prioritization (1) performance overhead (1) deterministic execution (1) side-channel defense (1) record and replay (1) kernel debugging (1) deterministic replay (1) bug reproduction (1) distributed storage system (1) kernel record replay (1) execution recording (1) concurrent workload (1) record replay (1) data format incompatibility (1) invariant analysis (1)

Papers

UpFuzz: Detecting Data Format Incompatibility Bugs during Distributed Storage System Upgrade NSDI 2026 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