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, VMware 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 reverse debugging failures in deployed systems will be presented at OSDI’18 (July 2018)
  • I will serve as the poster session chair at SoCC’18 together with Peter Alvaro. Please submit your posters! (July 2018)
  • I will serve in the EuroSYS’19 PC (May 2018)
  • Organizing the 3rd Workshop on System Software for Trusted Execution (SysTEX’18) with Mark Silberstein (May. 2018)
  • Awarded a Michigan Cambridge Research Initiative Grant, Looking forward to working with Nada Amin (May. 2018)
  • Our paper on lightweight OS containers will appear at Usenix ATC’18 (April 2018)
  • Awarded an Intel Grant for Research on Automated Performance Optimization of Emerging Apps (Sep. 2017)
  • Awarded an Azure for Research Grant (Sep. 2017)
  • Our paper on diagnosing concurrency bugs in production systems will be presented at SOSP’17 (Aug. 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…