EECS 582: Advanced Operating Systems. Preliminary schedule is online. Please read/watch the first week's required material before the lecture.

Bio

I am an assistant professor in the Electrical Engineering and Computer Science Department at the University of Michigan. My research is centered around developing techniques, tools, and environments that help developers build more reliable, secure, and efficient software. I am interested in developing techniques and building systems that allow programmers to better reason about their code. I am also interested in system support for emerging hardware platforms, efficient runtime instrumentation, hardware and runtime support for enhancing system security, and program analysis.

Previously, I was a researcher in the Systems and Networking Group at Microsoft Research Cambridge. I completed my PhD in the Dependable Systems Laboratory (DSLAB) at EPFL, advised by George Candea. I also held roles at Intel, WMware and Siemens.

I am the recipient of the 2016 Roger Needham PhD Award for the best PhD thesis in computer systems in Europe and the 2016 Patrick Denantes Memorial Prize for best PhD thesis in the Department of Information and Communication Sciences at EPFL. I am one of the recipients of the VMware 2014-2015 Graduate Fellowship. More details can be found in my CV.

News

  • Our paper on diagnosing concurrency bugs in production systems will be presented at SOSP’17 (Aug. 2017)
  • I will serve as a reviewer in the program committee of ICDCS (Aug. 2017)
  • I will serve as a reviewer in the Extended Review Committee of ASPLOS 2018 (Jul. 2017)
  • I received an outstanding reviewer award for serving in the PC of WWW’17 (Jul. 2017)
  • I will give a keynote speech at the Workshop on Resilient Systems at the Center for Advancing Electronics at TU Dresden (Apr. 2017)
  • I received the Patrick Denantes Memorial Prize for the best PhD thesis in the Department of Information and Communication Sciences at EPFL (Dec. 2016)
  • I received the Roger Needham PhD Award for the best PhD thesis in computer systems in Europe (Apr. 2016)
  • Our paper on automated root cause diagnosis will be presented at SOSP’15 (Oct. 2015)

more…