Senior Principal Applied Scientist, Amazon Web Services |
2021– |
Associate Professor, Allen School, University of Washington |
2018–2023 |
Assistant Professor, Allen School, University of Washington |
2014–2018 |
Research Engineer, EECS, University of California Berkeley |
2012–2014 |
Senior Computer Scientist, LogicBlox, Inc. |
2011 |
Research Staff Member, IBM Research |
2008–2010 |
PLDI, Area Chair |
2024 |
The Dahl–Nygaard Prize Committee, Member |
2024 |
POPL, Associate Chair |
2024 |
PLDI, Steering Committee |
2018–2023 |
PLDI, Program Chair |
2020 |
SPLASH, Steering Committee |
2018–2020 |
PLDI, Program Committee |
2019 |
OOPSLA, Review Committee |
2019 |
The Future of Alloy Workshop, Program Co-Chair |
2018 |
PLDI, Program Committee |
2018 |
Onward!, Program Chair |
2017 |
CAV, Program Committee |
2017 |
ICSE Visions of 2025 and Beyond, Program Committee |
2016 |
SYNT, Program Committee |
2016 |
Onward!, Program Committee |
2016 |
POPL, Program Committee |
2016 |
CAV, Program Committee |
2015 |
RV, Program Committee |
2015 |
SNAPL, Program Committee |
2015 |
POPL, External Review Committee |
2015 |
ICSE, Review Committee |
2015 |
GPCE, Program Committee |
2014 |
DSLDI, Program Committee |
2014 |
SYNT, Program Committee |
2014 |
CSTVA, Program Committee |
2014 |
POPL OBT, Program Committee |
2014 |
OOPSLA, External Review Committee |
2014 |
PLDI, External Review Committee |
2013 |
PLDI Student Research Competition, Program Committee |
2013 |
SPLASH Posters, Program Co-Chair |
2013 |
PLDI, Program Committee |
2012 |
OOPSLA, Program Committee |
2012 |
LaSh, Program Committee |
2010 |
IBM Programming Languages Day, Program Chair |
2010 |