Xi Wang

My research interests are in building secure and reliable systems. See the Computer Systems Lab and PLSE pages for current projects.

Before moving to Seattle, I was a troublemaker in the PDOS group at MIT. Past projects include the Jitk verified in-kernel interpreter, the Stack undefined behavior checker, the Retro intrusion recovery system, and the Resin language runtime for securing web applications.

For further information, please see my personal homepage.