Pedro Fonseca - RankMe

35 papers A* 13A 9Misc 1Journal 2Unranked 8

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