Purdue University - Department of Computer Science -

Pedro Fonseca

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

Selected Publications

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)

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Phone:(765) 494-6010 • Fax: (765) 494-0739

Copyright © 2016 Purdue University | An equal access/equal opportunity university | Copyright Complaints

Trouble with this page? Disability-related accessibility issue? Please contact the College of Science.