SCS Recruiting Seminar: Pedro Fonseca

Event Details
  • Date/Time:
    • Tuesday April 3, 2018
      11:00 am - 12:00 pm
  • Location: KACB 1116W
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    N/A
  • Extras:
Contact

Tess Malone, Communications Officer

tess.malone@cc.gatech.edu

Summaries

Summary Sentence: Building Reliable Software Systems

Full Summary: No summary paragraph submitted.

Media
  • Pedro Fonseca Pedro Fonseca
    (image/jpeg)

TITLE: Building Reliable Software Systems

ABSTRACT:

Applications critically depend on the reliability of underlying software layers, such as distributed systems, operating systems, and hypervisors. Building reliable systems is a challenging task in this context, not only because of their large scale but also because their development often requires correctly reasoning about concurrency, complex hardware semantics, and non-intuitive fault models. Combined, these hurdles make the already challenging task of developing software significantly more difficult.

In this talk, I will discuss systematic and principled approaches to help developers build correct systems. First, I will present a technique for testing operating system kernels that systematically explores their thread interleaving space, thereby effectively exposing hard-to-find kernel concurrency bugs. Next, I will introduce a systematic testing technique for modern, hardware-accelerated hypervisors that leverages symbolic execution to automatically construct effective hypervisor test cases. Finally, I will show how to complement formal verification techniques with testing approaches to bridge the gap between the two fields and help developers build reliable systems.


BIO:

Pedro Fonseca is a postdoctoral researcher in the systems lab at the Paul G. Allen School of Computer Science and Engineering of the University of Washington, where he works with Arvind Krishnamurthy, Hank Levy, and Xi Wang. He completed his Ph.D. in 2015 at the Max Planck Institute and the University of Saarland, where he worked with Rodrigo Rodrigues. He is interested in principled and systematic approaches to build reliable software systems, and he tackles this research problem by gathering insights about emerging trends, building systematic testing tools, and designing and redesigning software systems.

 

 

Additional Information

In Campus Calendar
No
Groups

College of Computing, School of Computer Science

Invited Audience
Faculty/Staff, Public, Graduate students, Undergraduate students
Categories
Seminar/Lecture/Colloquium
Keywords
No keywords were submitted.
Status
  • Created By: Tess Malone
  • Workflow Status: Published
  • Created On: Mar 28, 2018 - 12:58pm
  • Last Updated: Mar 28, 2018 - 12:59pm