• 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

  • DARPA AI Cyber Challenge (AIxCC) finalist (4th place) – 2025
  • ACM SIGSOFT Distinguished Paper Award – 2022, 2023
  • ACM SIGSOFT Early Career Researcher – 2019
  • DARPA Young Faculty Award – 2019
  • Google Faculty Research Award – 2015, 2018
  • Facebook Research Award – 2018
  • Mozilla Research Award – 2018
  • NSF CAREER Award – 2016
  • ACM SIGPLAN PLDI Distinguished Paper Award – 2013
  • ACM SIGSOFT Outstanding Doctoral Dissertation Award – 2013

Selected Publications

  • 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.
  • Bozhen Liu and Jeff Huang. “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