The University of Utah UCV and Faculty Profile systems are under development and may not display the full or correct information for our faculty. Any incorrect or incomplete information shown here while we are working on the system should not be seen as a reflection of the University of Utah faculty members.
-
Director, Center for Parallel Computing at Utah (CPU)
-
Professor, School Of Computing
Professional Service
-
Role: Erc Member.
Entity: ASPLOS PC Member (ERC), Architectural Support for Programming Languages and Systems (ASPLOS), 2015.
2015 - present
-
Entity: EuroMPI Program Committee.
2015 - present
-
Role: Erc Member.
Entity: Micro External Review Committee (ERC) Member, Micro 2015 (The 48th Annual IEEE/ACM International Symposium on Microarchitecture).
2015 - present
-
Role: Erc Member.
Entity: PLDI PC Member (ERC), Progr. Lang. Design and Implementation (PLDI), 2015.
2015 - present
-
Role: Pc Member.
Entity: PC of PLDI 2014 PC Member, Progr. Lang. Design and Implementation (PLDI), Edinburgh, UK, 2014.
2014 - present
-
Role: Pc Member.
Entity: PC of EuroMPI, 2014 PC Member, EuroMPI/ASIA 2014, Kyoto, Japan, 9-12 September, 2014.
2014 - present
-
Role: Pc Member.
Entity: PC of RV 2014 PC Member, 14th Intl. Conf. on Runtime Verification, September 2014, Toronto, Canada.
2014 - present
-
Role: Pc Member.
Entity: PPoPP 2014 PC PC Member, Princ. and Pract. of Parallel Programming (PPoPP), Orlando, Florida, 2014.
2014 - present
-
Entity: PC member, Principles and Practices of Parallel Programming (PPoPP), 2013 PC member.
2013 - present
-
Entity: PC member, Supercomputing (SC) 2013 PC member.
2013 - present
-
Entity: PC member, EuroMPI 2013 PC member.
2013 - present
-
Entity: PC member, FMCAD 2013 PC member.
2013 - present
-
Entity: PC member, Intl. Supercomputing Conference 2013 (Tutorials) PC member.
2013 - present
-
Entity: FMCAD Inc (conference series) PC Member, FMCAD 2010, Formal Methods in Computer Aided Design, Lugano, Switzerland, October 20-23.
2010 - present
-
Entity: EuroMPI PC Member, EuroMPI 2010, The 17th EuroMPI Conference, Stuttgart, Germany, 12-15 September, 2010.
2010 - present
- IEEE.
PC Member: PSTI 2010, Parallel Software Tools and Tool Infrastructures, September 13-16, San Diego (part of ICPP 2010).
2010 - present
-
Entity: SPIN workshop PC Member, SPIN 2010, 17th Spin Workshop, Twente University, 27-29 September 2010.
2010 - present
-
Entity: PDMC Workshop PC Member, PDMC 2010, 9th International Workshop on Parallel and Distributed Methods in Verification.
2010 - present
-
Entity: MEMOCODE Conference PC Member, MEMOCODE 2010, Methods and Models for Co-Design, Grenoble, France, July 26-28, 2010.
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.
2010 - present
-
Entity: CAV Inc PC Member, CAV 2010, Edinburgh, UK, July 15-19, 2010 (Formal Methods in Computer Aided Design).
2010 - present
Honors & Awards
- Senior Member.
IEEE,
2015
- ACM Distinguished Scientist.
ACM,
2014
- Beacons of Excellence Award (one of six recipients), awarded October 31, 2012.
University of Utah, Division of Undergraduate Studies,
2012
Internal Service
- Senate.
Member,
2020 - 2023.
service.
- Director of Graduate Studies.
Directing Our Graduate Program,
2018 - 2020.
service.
- RPT Chair.
2013 - present.
service.
In the Media