Assistant Professor of Computer Science
Joined department: Fall 2018
Pedro Fonseca's research focuses on building systems that are both reliable and secure. During the last years, he has developed techniques and methodologies that are particularly suited to address this problem in the context of core software systems - the building blocks in modern computing that other software layers critically rely upon, such as operating systems, hypervisors and distributed systems. He tackles this problem from three directions:
- Gathering insights about the impact of emerging trends on reliability and security, by conducting real-world, empirical studies
- Building systematic testing tools that scale to modern, complex systems
- Designing and redesigning systems for reliability and security
MultiNyx: A Multi-level Abstraction Framework for Systematic Analysis of Hypervisors [pdf]. Pedro Fonseca, Xi Wang, Arvind Krishnamurthy. In the 13th USENIX EuroSys Conference (EuroSys 2018).
An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf]. Pedro Fonseca, Kaiyuan Zhang, Xi Wang, and Arvind Krishnamurthy. In the 12th USENIX EuroSys Conference (EuroSys 2017).
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration [pdf]. Pedro Fonseca, Rodrigo Rodrigues, and Bjoern Brandenburg. In the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2014)