University of Illinois Urbana-Champaign

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Content Files
Haohui_Mai.pdf

Permalink

https://hdl.handle.net/2142/45526

Description

Title
Building abstractions for fast, secure, reliable computer systems
Author(s)
Mai, Haohui
Issue Date
2013-08-22T16:43:11Z
Director of Research (if dissertation) or Advisor (if thesis)
King, Samuel T.
Doctoral Committee Chair(s)
King, Samuel T.
Committee Member(s)
  • Godfrey, Philip B.
  • Caesar, Matthew C.
  • Zeldovich, Nickolai
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Date of Ingest
2013-08-22T16:43:11Z
Keyword(s)
  • computer system
  • data plane analysis
  • network troubleshooting
  • Boolean satisfiability
  • parallel Web browser
  • Web page decomposition
  • multi core
  • mobile security
  • microkernel
  • programming by contracts
  • automatic theorem proving
Abstract
Modern computer systems play important roles in our society and everyday lives. Their performance, security and reliability are of critical importance. Real-world computer systems, however, occasionally suffer from performance degradation, security exploits, and poor reliability, because of the lack of efficient automatic analyses. This dissertation introduces a new methodology for building efficient automatic analyses for real-world computer systems through identifying and designing proper abstractions. It demonstrates the methodology within the context of three real-world computer systems: detecting net- work defects at the data plane level, exploiting data parallelism in web pages, and formally verifying security invariants in operating system kernels. This dissertation presents the design, implementation, and evaluation of the above systems, and shows that choosing the proper set of abstractions is an essential step to constructing efficient automatic analyses for real-world computer systems. Moreover, these analyses can become valuable tools to improve the performance, security and reliability of computer systems.
Graduation Semester
2013-08
Permalink
http://hdl.handle.net/2142/45526
Copyright and License Information
Copyright 2013 Haohui Mai

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Siebel School of Computer Science