- Associate Professor, Computer Science & Engineering
- Phone: 979-845-5485
- FAX: 979-458-0718
- Email: jeff@cse.tamu.edu
- Office: PETR 236
- Website: Personal Webpage
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.