default search action

combined dblp search
author search
venue search
publication search

ask others

Pedro Fonseca 0001

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Fonseca15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Fonseca15
Pedro Fonseca:
Effective testing for concurrency bugs. Saarland University, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/FonsecaRGL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/FonsecaRGL09
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/Palit024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/Palit024
Tapti Palit, Pedro Fonseca:
Kaleidoscope: Precise Invariant-Guided Pointer Analysis. ASPLOS (3) 2024: 561-576
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/KohliKBC024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/KohliKBC024
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/AhmadOLZ023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/AhmadOLZ023
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LiuG023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LiuG023
Congyu Liu, Sishuai Gong, Pedro Fonseca:
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. ASPLOS (2) 2023: 427-441
[c24]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/osdi/AhmadSL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/AhmadSL023
Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca:
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. OSDI 2023: 173-191
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sesame/KharbandaF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sesame/KharbandaF23
Shreyas Kharbanda, Pedro Fonseca:
Always-On Recording Framework for Serverless Computations: Opportunities and Challenges. SESAME@EuroSys 2023: 41-49
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/GongPA0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/GongPA0M23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/PengLPFVV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/PengLPFVV23
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
2021
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/Ahmad0FL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/Ahmad0FL21
Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee:
Kard: lightweight data race detection with per-thread memory protection. ASPLOS 2021: 647-660
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/ZhaoGF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/ZhaoGF21
Kaiyang Zhao, Sishuai Gong, Pedro Fonseca:
On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications. EuroSys 2021: 540-555
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/CarreiraKBF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/CarreiraKBF21
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]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/AhmadKSSFL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/AhmadKSSFL21
Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee:
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. NDSS 2021
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZuoM0B0K21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZuoM0B0K21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/GongAFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/GongAFM21
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]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/AbubakarAFX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/AbubakarAFX21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Cerdeira0FP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Cerdeira0FP20
David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto:
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. SP 2020: 1416-1432
2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/CarreiraFTZK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/CarreiraFTZK19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/0001WK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/0001WK18
Pedro Fonseca, Xi Wang, Arvind Krishnamurthy:
MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. EuroSys 2018: 23:1-23:12
[c10]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/ThalheimBFK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/ThalheimBFK18
Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci:
Cntr: Lightweight OS Containers. USENIX ATC 2018: 199-212
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/FonsecaZWK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/FonsecaZWK17
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]
- view
- export record
  dblp key:
  - conf/osdi/ZhangLFHCNKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/ZhangLFHCNKL16
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/Bhatotia0ABR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/Bhatotia0ABR15
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]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/osdi/0001RB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/0001RB14
Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg:
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. OSDI 2014: 415-431
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/BaumannLFGLBOH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/BaumannLFGLBOH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/FonsecaLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/FonsecaLR11
Pedro Fonseca, Cheng Li, Rodrigo Rodrigues:
Finding complex concurrency bugs in large multi-threaded applications. EuroSys 2011: 215-228
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/FonsecaLSR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/FonsecaLSR10
Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues:
A study of the internal and external effects of concurrency bugs. DSN 2010: 221-230
2009
[c2]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nsdi/SinghFKRM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/SinghFKRM09
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis:
Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI 2009: 169-184
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ladis/Singh0K0M08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladis/Singh0K0M08
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis:
Defining weakly consistent Byzantine fault-tolerant services. LADIS 2008: 11:1-11:5

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sesame/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sesame/2023
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-01837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-01837
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)

Coauthor Index

see FAQ

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.