• Associate Professor, Computer Science & Engineering
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

  • 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

  • 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.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.