Pedro Fonseca
Pedro Fonseca
Assistant Professor, Department of Computer Science, Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
Zeno: Eventually Consistent Byzantine-Fault Tolerance.
A Singh, P Fonseca, P Kuznetsov, R Rodrigues, P Maniatis
NSDI 9, 169-184, 2009
1032009
A study of the internal and external effects of concurrency bugs
P Fonseca, C Li, V Singhal, R Rodrigues
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
752010
Finding complex concurrency bugs in large multi-threaded applications
P Fonseca, C Li, R Rodrigues
Proceedings of the sixth conference on Computer systems, 215-228, 2011
622011
Composing OS extensions safely and efficiently with Bascule
A Baumann, D Lee, P Fonseca, L Glendenning, JR Lorch, B Bond, ...
Proceedings of the 8th ACM European Conference on Computer Systems, 239-252, 2013
472013
Full-information lookups for peer-to-peer overlays
P Fonseca, R Rodrigues, A Gupta, B Liskov
IEEE Transactions on Parallel and Distributed Systems 20 (9), 1339-1351, 2008
472008
An empirical study on the correctness of formally verified distributed systems
P Fonseca, K Zhang, X Wang, A Krishnamurthy
Proceedings of the Twelfth European Conference on Computer Systems, 328-343, 2017
422017
iThreads: A threading library for parallel incremental computation
P Bhatotia, P Fonseca, UA Acar, BB Brandenburg, R Rodrigues
Proceedings of the Twentieth International Conference on Architectural …, 2015
362015
{SKI}: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
P Fonseca, R Rodrigues, BB Brandenburg
11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014
302014
Cntr: Lightweight OS Containers
J Thalheim, P Bhatotia, P Fonseca, B Kasikci
2018 USENIX Annual Technical Conference (ATC18), 2018
242018
Diamond: Automating data management and storage for wide-area, reactive applications
I Zhang, N Lebeck, P Fonseca, B Holt, R Cheng, A Norberg, ...
12th {USENIX} Symposium on Operating Systems Design and Implementation …, 2016
172016
A case for serverless machine learning
J Carreira, P Fonseca, A Tumanov, A Zhang, R Katz
Workshop on Systems for ML and Open Source Software at NeurIPS 2018, 2018
112018
SoK: Understanding the prevailing security vulnerabilities in TrustZone-assisted TEE systems
D Cerdeira, N Santos, P Fonseca, S Pinto
Proceedings of the IEEE Symposium on Security and Privacy (S&P), San …, 2020
82020
Fighting cybercrime with packet attestation
A Haeberlen, P Fonseca, R Rodrigues, P Druschel
72011
Cirrus: A serverless framework for end-to-end ml workflows
J Carreira, P Fonseca, A Tumanov, A Zhang, R Katz
Proceedings of the ACM Symposium on Cloud Computing, 13-24, 2019
52019
Defining weakly consistent Byzantine fault-tolerant services
A Singh, P Fonseca, P Kuznetsov, R Rodrigues, P Maniatis
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and …, 2008
32008
MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors
P Fonseca, X Wang, A Krishnamurthy
Proceedings of the Thirteenth EuroSys Conference, 1-12, 2018
22018
ADARES: Adaptive Resource Management for Virtual Machines
I Cano, L Chen, P Fonseca, T Chen, C Cheah, K Gupta, R Chandra, ...
arXiv preprint arXiv:1812.01837, 2018
12018
Effective Testing for Concurrency Bugs
PJS da Fonseca
Saarländische Universitäts-und Landesbibliothek, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–18