Follow
Pedro Fonseca
Pedro Fonseca
Assistant Professor, Department of Computer Science, Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
Sok: Understanding the prevailing security vulnerabilities in trustzone-assisted tee systems
D Cerdeira, N Santos, P Fonseca, S Pinto
2020 IEEE Symposium on Security and Privacy (SP), 1416-1432, 2020
2092020
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
1932019
Zeno: Eventually Consistent Byzantine-Fault Tolerance.
A Singh, P Fonseca, P Kuznetsov, R Rodrigues, P Maniatis
NSDI 9, 169-184, 2009
1382009
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
1022010
Cntr: Lightweight OS Containers
J Thalheim, P Bhatotia, P Fonseca, B Kasikci
2018 USENIX Annual Technical Conference (USENIX ATC' 18), 199-212, 2018
982018
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
952017
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
842011
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, 2-8, 2018
792018
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
652013
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
P Fonseca, R Rodrigues, BB Brandenburg
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
612014
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
512008
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
452015
Genomic disorders: genome architecture results in susceptibility to DNA rearrangements causing common human traits
P Stankiewicz, K Inoue, W Bi, K Walz, SS Park, N Kurotaki, CJ Shaw, ...
Cold Spring Harbor symposia on quantitative biology 68, 445-454, 2003
392003
{SHARD}:{Fine-Grained} Kernel Specialization with {Context-Aware} Hardening
M Abubakar, A Ahmad, P Fonseca, D Xu
30th USENIX Security Symposium (USENIX Security 21), 2435-2452, 2021
342021
Snowboard: Finding kernel concurrency bugs through systematic inter-thread communication analysis
S Gong, D Altinbüken, P Fonseca, P Maniatis
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
252021
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs.
A Ahmad, J Kim, J Seo, I Shin, P Fonseca, B Lee
NDSS, 2021
242021
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 (OSDI …, 2016
242016
On-demand-fork: A microsecond fork for memory-intensive and latency-sensitive applications
K Zhao, S Gong, P Fonseca
Proceedings of the Sixteenth European Conference on Computer Systems, 540-555, 2021
232021
From warm to hot starts: Leveraging runtimes for the serverless era
J Carreira, S Kohli, R Bruno, P Fonseca
Proceedings of the workshop on hot topics in operating systems, 58-64, 2021
212021
Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
G Zuo, J Ma, A Quinn, P Bhatotia, P Fonseca, B Kasikci
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
192021
The system can't perform the operation now. Try again later.
Articles 1–20