News

• I and Eddie Kohler will co-chair HotOS’21. HotOS is awesome! Here is the CFP (Dec 2020)
• Our work on rethinking indexing structures for persistent memory systems has been accepted to FAST’21 (Dec 2020)!
• Hippocrates is accepted to appear at ASPLOS’21! (Nov 2020)
• I was awarded an Intel Rising Star Faculty Award, Thanks Intel! (Oct 2020)
• DOLMA is accepted to appear at USENIX Security’21 (Sep 2020)
• Agamotto is accepted to appear at OSDI’20! (Sep 2020)
• I, Manos Kapritsos, Kevin Leach, and Westley Weimer were awarded a DARPA grant for assured patch generation. Thanks DARPA! (Jul 2020)
• I and Joe Devietti were awarded an NSF/Intel joint grant. Thanks NSF and Intel! (Jul 2020)
• I will serve in the OSDI’21, ASPLOS’21 and EuroSys’21 PCs. (Jul 2020)
• I will serve in the ASPLOS’21 and EuroSys’21 PCs. (Jul 2020)
• I and Manos Kapritsos were awarded an NSF FMitF grant. Thanks NSF! (Jun 2020)
• I was awarded an NSF CAREER award. Thanks NSF! (Jun 2020)
• Andrew Loveless and Kevin Loughlin won NSF Graduate Research Fellowships! Congrats Andrew and Kevin! (March 2020)
• Undergraduate researcher Nathan Brown wins first place in ACM Student Research Competition. Congrats Nathan! (March 2020)
• I was awarded a Google Faculty Research Award. (March 2020)
• NDA is recognized with a IEEE Micro Top Pick Honorable Mention. (Jan 2020)
• I was awarded an SRC grant for designing a new Web Benchmarking Suite with David Brooks and Tim Rogers. Thanks SRC!
• I will serve in the OSDI’20 and USENIX ATC’20 PCs. (Jul 2019)
• I and Irene Zhang will organize the EuroSys’21 Doctoral Workshop (Jul 2019).
• 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 REPT paper 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 (Sep. 2018)
• Our paper on Foreshadow is accepted tp appear 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 of the 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 appear 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 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 appear at SOSP’15 (Oct 2015)