• Associate Professor, Computer Science & Engineering
Google Scholar Profile
Jeff Huang

Educational Background

  • Postdoc. Computer Science, University of Illinois at Urbana-Champaign, 2013-2014
  • Ph.D. Computer Science, Hong Kong University of Science and Technology, 2012
  • B.E. Electrical Engineering, National University of Defense Technology, China, 2008

Research Interests

    • Software Engineering
    • Programming Languages
    • Concurrency
    • Runtime Verification

Awards & Honors

  • 2023 ACM SIGSOFT Distinguished Paper Award
  • 2022 ACM SIGSOFT Distinguished Paper Award
  • 2019-2021 Lynn ’84 and Bill Crane ’83 Faculty Fellow
  • 2019 ACM SIGSOFT Early Career Researcher
  • 2019 DARPA Young Faculty Award
  • 2018 Google Research Award
  • 2018 Facebook Research Award
  • 2018 Mozilla Research Award
  • 2017 TEES Young Faculty Fellow
  • 2016 NSF CAREER Award
  • 2015 Google Faculty Research Award
  • 2015 The 3rd Heidelberg Laureate Forum
  • 2013 ACM SIGPLAN PLDI Distinguished Paper Award
  • 2013 ACM SIGPLAN Research Highlights
  • 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award

Selected Publications

  • Peiming Liu, Yanze Li, Bradley Swain, and Jeff Huang, PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis, Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 1781–1792, 2022.
  • Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva and Jeff Huang, When Threads Meet Events: Efficient and Precise Static Race Detection with Origins, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 725–739, 2021.
  • Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis and Jeff Huang, OMPRacer: A Scalable and Precise Static RaceDetector for OpenMP Programs, Proceedings of the The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC20), Article No.: 54, Pages 1–14, 2020.
  • Bozhen Liu, Jeff Huang, and Lawrence Rauchwerger. Rethinking Incremental and Parallel Pointer Analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 41, no. 1, pages 6:1–6:31, 2019.
  • Bozhen Liu and Jeff Huang. D4: Fast Concurrency Debugging with Parallel Differential Analysis, D4: Fast Concurrency Debugging with Parallel Differential Analysis, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 359–373, 2018.
  • Jeff Huang, Stateless Model Checking Concurrent Programs with Maximal Causality Reduction, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 165–174, 2015.
  • Jeff Huang, Patrick Meredith and Grigore Rosu, Maximal Sound Predictive Race Detection with Control Flow Abstraction, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 337-348, 2014.
  • Jeff Huang, Charles Zhang and Julian Dolby, CLAP: Recording Local Executions to Reproduce Concurrency Failures, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 141-152. 2013.
Google Scholar Profile