-
Professor, School Of Computing
Professional Service
- IPDPS.
Role: Member.
Program Committee.
09/01/2022 - 11/30/2022
- Supercomputing .
Role: Member.
Program Committee.
03/01/2022 - 10/31/2022
- ASPLOS.
Role: Member.
Program Committee Member for their Spring, Summer and Fall submission cycles.
02/01/2022 - 12/31/2023
- EuroMPI.
Program Committee.
07/01/2015 - present
- ASPLOS.
Role: ERC Member.
PC Member (ERC), Architectural Support for
Programming Languages and Systems (ASPLOS), 2015.
07/01/2015 - present
- Micro.
Role: ERC Member.
External Review Committee (ERC) Member, Micro 2015 (The 48th Annual IEEE/ACM International Symposium on Microarchitecture).
06/01/2015 - present
- PLDI.
Role: ERC Member.
PC Member (ERC), Progr. Lang. Design and Implementation (PLDI), 2015.
05/01/2015 - present
- PC of PLDI 2014.
Role: PC member.
PC Member, Progr. Lang. Design and Implementation (PLDI), Edinburgh, UK, 2014.
11/01/2014 - present
- PC of RV 2014.
Role: PC Member.
PC Member, 14th Intl. Conf. on Runtime Verification, September 2014, Toronto, Canada.
09/01/2014 - present
- PC of EuroMPI, 2014.
Role: PC Member.
PC Member, EuroMPI/ASIA 2014, Kyoto, Japan, 9-12 September, 2014.
09/01/2014 - present
- PPoPP 2014 PC.
Role: PC member.
PC Member, Princ. and Pract. of Parallel Programming (PPoPP), Orlando, Florida, 2014.
02/01/2014 - present
- PC member, Principles and Practices of Parallel Programming (PPoPP), 2013.
PC member.
11/2013 - present
- PC member, Supercomputing (SC) 2013.
PC member.
06/2013 - present
- PC member, EuroMPI 2013.
PC member.
06/2013 - present
- PC member, FMCAD 2013.
PC member.
04/2013 - present
- PC member, Intl. Supercomputing Conference 2013 (Tutorials).
PC member.
03/2013 - present
- FMCAD Inc (conference series).
PC Member, FMCAD 2010, Formal Methods in Computer Aided Design, Lugano, Switzerland, October 20-23.
10/2010 - present
- EuroMPI.
PC Member, EuroMPI 2010, The 17th EuroMPI Conference, Stuttgart, Germany, 12-15 September, 2010.
09/2010 - present
- IEEE.
PC Member: PSTI 2010, Parallel Software Tools and Tool Infrastructures, September 13-16, San Diego (part of ICPP 2010).
08/2010 - present
- MEMOCODE Conference.
PC Member, MEMOCODE 2010, Methods and Models for Co-Design, Grenoble, France, July 26-28, 2010.
07/2010 - present
- SPIN workshop.
PC Member, SPIN 2010, 17th Spin Workshop, Twente University, 27-29 September 2010.
07/2010 - present
- PDMC Workshop.
PC Member, PDMC 2010, 9th International Workshop on Parallel and Distributed Methods in Verification.
07/2010 - present
- ACM.
PC Member, PADTAD 2010, Workshop on Parallel and Distributed Systems: Testing, Anal- ysis, and Debugging (PADTAD - VIII), July 12-13, Trento, Italy.
07/01/2010 - present
- CAV Inc.
PC Member, CAV 2010, Edinburgh, UK, July 15-19, 2010 (Formal Methods in Computer Aided Design).
07/01/2010 - present
Honors & Awards
- Senior Member.
IEEE,
05/01/2015
- ACM Distinguished Scientist.
ACM,
08/01/2014
- Beacons of Excellence Award (one of six recipients), awarded October 31, 2012.
University of Utah, Division of Undergraduate Studies,
10/31/2012
Internal Service
- Help run the first REU Site of the KSoC in 25 years.
PI and Organizer of an REU Site,
03/01/2023 - 08/07/2023.
Department service.
- Computer Science Track.
Chair,
07/01/2022 - 06/30/2023.
Department service.
- Senate.
Senator,
01/01/2022 - 06/01/2022.
University service.
- Senate.
Member,
09/01/2020 - 08/31/2023.
University service.
- Director of Graduate Studies.
Directing our Graduate Program,
07/01/2018 - 06/30/2020.
Department service.
- RPT Chair.
05/2013 - present.
Department service.
Outreach
- SIGPLAN mentor.
01/01/2021 - present
In the Media