Biblio

Export 6 results:
Filters: Author is Pedro Fonseca  [Clear All Filters]
2023
Ahmad A, Schultz A, Lee B, Fonseca P.  2023.  An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :173--191.
2021
Abubakar M, Ahmad A, Fonseca P, Xu D.  2021.  SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. 30th USENIX Security Symposium (USENIX Security 21). :2435--2452.
2018
Thalheim J, Bhatotia P, Fonseca P, Kasikci B.  2018.  Cntr: Lightweight OS Containers. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :199--212.
2016
Zhang I, Lebeck N, Fonseca P, Holt B, Cheng R, Norberg A, Krishnamurthy A, Levy HM.  2016.  Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :723--738.
2014
Fonseca P, Rodrigues R, Brandenburg BB.  2014.  SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :415--431.
2009
Singh A, Fonseca P, Kuznetsov P, Rodrigues R.  2009.  Zeno: Eventually Consistent Byzantine-Fault Tolerance. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).