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 | 269 | 2020 |
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 | 249 | 2019 |
Zeno: Eventually Consistent Byzantine-Fault Tolerance. A Singh, P Fonseca, P Kuznetsov, R Rodrigues, P Maniatis NSDI 9, 169-184, 2009 | 142 | 2009 |
Cntr: Lightweight OS Containers J Thalheim, P Bhatotia, P Fonseca, B Kasikci 2018 USENIX Annual Technical Conference (USENIX ATC' 18), 199-212, 2018 | 111 | 2018 |
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 | 103 | 2017 |
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 | 103 | 2010 |
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 | 88 | 2018 |
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 | 87 | 2011 |
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 | 67 | 2013 |
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 | 65 | 2014 |
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 | 52 | 2008 |
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 | 47 | 2015 |
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 | 42 | 2021 |
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 | 37 | 2021 |
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. A Ahmad, J Kim, J Seo, I Shin, P Fonseca, B Lee NDSS, 2021 | 33 | 2021 |
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 | 32 | 2021 |
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 | 29 | 2021 |
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 | 26 | 2016 |
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 | 25 | 2021 |
Kard: Lightweight data race detection with per-thread memory protection A Ahmad, S Lee, P Fonseca, B Lee Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 23 | 2021 |