- Associate Professor, Computer Science & Engineering
- Joint Faculty in: Computer 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
- 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.