default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPedro Fonseca 0001
Person information
- affiliation: Purdue University, West Lafayette, IN, USA
- affiliation: University of Washington, Seattle, WA, USA
- affiliation: Max Planck Institute for Software Systems, Saarbrücken, Germany
Other persons with the same name
- Pedro Fonseca — disambiguation page
- Pedro Fonseca 0002
![[0000-0003-2932-6402]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-2932-6402")
— Eindhoven University of Technology, The Netherlands (and 1 more) - Pedro Fonseca 0003 — University of Aveiro, Department of Electronics, Telecommunications and Informatics, Portugal
- Pedro Fonseca 0004 (aka: Pedro Filipe Pereira da Fonseca) — Porto Biomechanics Laboratory (LABIOMEP), Faculty of Sport, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Tapti Palit, Pedro Fonseca:
Kaleidoscope: Precise Invariant-Guided Pointer Analysis. ASPLOS (3) 2024: 561-576- [c27]Sumer Kohli, Shreyas Kharbanda, Rodrigo Bruno, João Carreira, Pedro Fonseca:
Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts. EuroSys 2024: 298-316 - 2023
- [c26]Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, Pedro Fonseca:
Veil: A Protected Services Framework for Confidential Virtual Machines. ASPLOS (4) 2023: 378-393 - [c25]Congyu Liu, Sishuai Gong, Pedro Fonseca:
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. ASPLOS (2) 2023: 427-441 - [c24]Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca:
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. OSDI 2023: 173-191 - [c23]Shreyas Kharbanda, Pedro Fonseca:
Always-On Recording Framework for Serverless Computations: Opportunities and Challenges. SESAME@EuroSys 2023: 41-49 - [c22]Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis:
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. SOSP 2023: 35-51 - [c21]Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, Mona Vij:
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches. SP 2023: 2956-2973 - [e1]Dmitrii Ustiugov, Rodrigo Bruno, Pedro Fonseca, Boris Grot, Antonio Barbalace:
Proceedings of the 1st Workshop on SErverless Systems, Applications and MEthodologies, SESAME 2023, Rome, Italy, 8 May 2023. ACM 2023 [contents] - 2021
- [c20]Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee:
Kard: lightweight data race detection with per-thread memory protection. ASPLOS 2021: 647-660 - [c19]Kaiyang Zhao, Sishuai Gong, Pedro Fonseca:
On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. EuroSys 2021: 540-555 - [c18]João Carreira, Sumer Kohli, Rodrigo Bruno, Pedro Fonseca:
From warm to hot starts: leveraging runtimes for the serverless era. HotOS 2021: 58-64 - [c17]Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee:
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. NDSS 2021 - [c16]Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci:
Execution reconstruction: harnessing failure reoccurrences for failure reproduction. PLDI 2021: 1155-1170 - [c15]Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis:
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. SOSP 2021: 66-83 - [c14]Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, Dongyan Xu:
SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. USENIX Security Symposium 2021: 2435-2452 - 2020
- [c13]David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto:
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. SP 2020: 1416-1432
2010 – 2019
- 2019
- [c12]João Carreira, Pedro Fonseca, Alexey Tumanov, Andrew Zhang, Randy H. Katz:
Cirrus: a Serverless Framework for End-to-end ML Workflows. SoCC 2019: 13-24 - 2018
- [c11]Pedro Fonseca, Xi Wang, Arvind Krishnamurthy:
MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. EuroSys 2018: 23:1-23:12 - [c10]Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci:
Cntr: Lightweight OS Containers. USENIX ATC 2018: 199-212 - [i1]Ignacio Cano, Lequn Chen, Pedro Fonseca, Tianqi Chen, Chern Cheah, Karan Gupta, Ramesh Chandra, Arvind Krishnamurthy:
ADARES: Adaptive Resource Management for Virtual Machines. CoRR abs/1812.01837 (2018) - 2017
- [c9]Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy:
An Empirical Study on the Correctness of Formally Verified Distributed Systems. EuroSys 2017: 328-343 - 2016
- [c8]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: 723-738 - 2015
- [b1]Pedro Fonseca:
Effective testing for concurrency bugs. Saarland University, 2015 - [c7]Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues:
iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS 2015: 645-659 - 2014
- [c6]Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg:
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. OSDI 2014: 415-431 - 2013
- [c5]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: 239-252 - 2011
- [c4]Pedro Fonseca, Cheng Li, Rodrigo Rodrigues:
Finding complex concurrency bugs in large multi-threaded applications. EuroSys 2011: 215-228 - 2010
- [c3]Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues:
A study of the internal and external effects of concurrency bugs. DSN 2010: 221-230
2000 – 2009
- 2009
- [j1]Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov:
Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distributed Syst. 20(9): 1339-1351 (2009) - [c2]Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis:
Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI 2009: 169-184 - 2008
- [c1]Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis:
Defining weakly consistent Byzantine fault-tolerant services. LADIS 2008: 11:1-11:5
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
