JOHN REGEHR portrait
  • Professor, School Of Computing
please email instead

Professional Service

  • ACM. Role: PC Chair. Program Committee Chair, PLDI. 06/2023 - 06/2024
  • ACM. Program Committee Member, ASPLOS 2019. 08/2018 - 09/2018
  • ACM. Program committee member, Compiler Construction (CC) 2018. 10/2017 - 11/2017
  • National Science Foundation. Panelist. 12/2016 - present
  • LLVM Foundation. member of the board of directors. 09/2016 - present
  • ACM. Role: program committee member. New Ideas and Emerging Results at the International Conference on Software Engineering (NIER-ICSE) 2017. 01/2016 - present
  • ACM/LLVM. Role: program committee member. LLVM Performance Workshop at CGO . 01/2016 - present
  • ACM. Role: program committee member. 38th International Conference on Software Engineering (ICSE). 01/2016 - present
  • ACM. Role: program committee member. Compiler Construction (CC) 2017. 01/2016 - present
  • ACM. Artifact evaluation co-chair, PLDI 2016. 01/2016 - 06/2016
  • ACM/IEEE. Role: program committee co-chair. International Conference on Embedded Software (EMSOFT) 2012. 10/2011 - 10/2012
  • ? Role: Program committee member. Computer Aided Verification (CAV) 2011. 07/2011 - present
  • USENIX. Role: program committee member. USENIX Annual Technical Conference 2012. 07/2011 - 06/2012
  • IEEE. Role: Program committee member. International Conference on Distributed Computing Systems (ICDCS) 2011, Sensor Network track. 06/2011 - present
  • ACM. Role: External review committee. ACM International Symposium on Memory Management (ISMM) 2011. 06/2011 - present
  • ACM. Role: program committee member. ACM International Symposium on Memory Management (ISMM) 2012. 06/2011 - 06/2012
  • IEEE. Role: program committee member. Real-Time and Embedded Technology and Applications Symposium (RTAS) 2012, Applications, Systems, RTOS and Tools track. 05/2011 - 04/2012
  • IEEE. Role: Program committee member. Real-Time and Embedded Technology and Applications Symposium (RTAS) 2011, Sensor Network track. 04/2011 - present
  • ACM. Role: Program committee member. International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES) 2010. 11/2010 - present
  • ACM. Role: Program committee member. ACM SIGPLAN/SIGBED 2011 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). 10/2010 - present
  • ACM. Role: Associate Editor. ACM Transactions on Sensor Networks. 10/2010 - present
  • USENIX. Role: Program committee member. USENIX Annual Technical Conference 2010. 06/2010 - present
  • ACM. Role: Program committee member. European Conference on Computer Systems (EuroSys) 2010. 04/2010 - present

Honors & Awards

  • Distinguished paper award at PLDI 2021 for "Alive2: Bounded Translation Validation for LLVM". ACM, 06/2021
  • Most Influential PLDI Paper Award for our 2011 PLDI paper "Finding and understanding bugs in C compilers". ACM, 06/2021
  • Google Open Source Award for C-Reduce, a piece of software that I wrote along with my colleagues Eric Eide and Yang Chen. Google, 03/13/2018
  • Faculty Early Career Development (CAREER) Program. National Science Foundation, 2005

Internal Service

  • Associate Director. Associate Direector, 07/2023 - 06/2025. Department service.
  • gemstone hiring committee. member, 11/2017 - 05/2018. Department service.
  • Chair, Retention, Promotion, and Tenure committee. chair, 05/2017 - 05/2019. Department service.
  • database hiring committee. member, 01/2017 - present. Department service.
  • academic senate. representative, 01/2017 - present. University service.
  • graduate admissions committee. member, 12/2010 - 05/2013. Department service.
  • Formal Methods Search Committee. member, 09/2010 - 05/2011. Department service.
  • Facility oversight. 01/2007 - present. Department service.

Outreach

  • Python Coding Club at Whittier Elementary School -- teaching Python to 6th graders once a week. 11/2016 - 04/2017