Professional Activities

• Program Committee, Eurosys 2024 (opens in new tab)
• Program Committee, CSF 2024 (opens in new tab)
• Program Committee, PLOS 2023 (opens in new tab)
• Program Committee, USENIX ATC 2023 (opens in new tab)
• Program Committee, PRiSC 2023 (opens in new tab)
• Program Committee, CPP 2023 (opens in new tab)
• Program Committee, SOSP 2021 (opens in new tab)
• Program Committee, CCS 2021 (opens in new tab)
• Program Committee, OSDI 2021 (opens in new tab)
• Program Committee, OSDI 2020 (opens in new tab)
• Program Committee, CSF 2020 (opens in new tab)
• Organizing Committee, PLOS 2019 (opens in new tab)
• Program Committee, CSF 2019 (opens in new tab)
• Organizing Committee, PLOS 2017 (opens in new tab)
• Program Committee, CPP 2016 (opens in new tab)
• Organizing Committee, PLOS 2015 (opens in new tab)
• Program Committee, SSV 2015 (opens in new tab)
• Program Committee, VSTTE 2015 (opens in new tab)
• Organizing Committee, PLOS 2013 (opens in new tab)
• External Review Committee, POPL 2013 (opens in new tab)
• Program Committee Co-chair, CPP 2012 (opens in new tab)
• External Review Committee, PLDI 2012 (opens in new tab)
• Program Committee, RESoLVE 2012 (opens in new tab)
• Program Committee, POPL 2012 (opens in new tab)
• Program Committee, TLDI 2012 (opens in new tab)
• Program Committee, CPP 2011 (opens in new tab)
• Program Committee, PLPV 2011 (opens in new tab)
• Program Committee, SSV 2011 (opens in new tab)
• Program Committee, SAVCBS 2010 (opens in new tab)
• Program Committee, SSV 2010 (opens in new tab)