News

• NDA, our system that stops speculative execution attacks at their source is accepted to appear at MICRO 2019 (Jul 2019)
• I4, our work on fully-automatic verification of distributed systems protocols is accepted to appear at SOSP 2019 (Jul 2019)
• I and Andrew Baumann will co-chair VEE 2020. VEE is a great interdisciplinary conference. Please submit!
• I, Vijay Chidambaram, and Supreeth Shastri will organize the first artifact evaluation track at SOSP 2019. This is a first for a major systems venue, and we are very excited.
• I will serve in the extended review committee (ERC) of ASPLOS 2020.
• Huron, our system for automatically detecting and eliminating false sharing will be presented at PLDI’19 (Jul 2019).
• Foreshadow was chosen as an IEEE Micro Top Pick (Jan 2019)
• Our work REPT: Reverse Debugging of Failures in Deployed Software won a best paper at OSDI’18 (Oct 2018)
• I will serve in the SOSP’19 PC (Oct 2018)
• Awarded an Intel Faculty Grant for Research on automated performance optimization techniques (Sep. 2018)
• Our paper on Foreshadow appeared at Usenix Security. Please read our tech report on the impacts of Foreshadow (Aug 2018)
• I will serve in the VEE’19 and ICDCS’19 program committees (Aug 2018)
• 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)
• I will serve as the PC chair 3rd Workshop on System Software for Trusted Execution (SysTEX 2018) 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 Faculty 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 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)
• I will serve as a reviewer for ACM Transactions on Software Engineering and Methodology TOSEM. (Aug. 2015)
• I will serve as a reviewer for ACM Transactions on Software Engineering TSE. (Jul. 2015)
• Our paper on failure sketches will be presented at HotOS’15. (May 2015)
• I will be spending the summer at Intel working together with Cristiano Pereira and Gilles Pokam on new techniques for automated debugging and security applications of hardware tracing. (Apr. 2015)
• Our paper on automated root cause diagnosis will be presented at SOSP’15 (Oct. 2015)