Jeff Huang

Assistant Professor

Image Of Jeff Huang

Office: 416 HRBB
Phone: 979.845.5485
Fax: 979.458.0718
Email: jeff@cse.tamu.edu

Personal Webpage
Curriculum Vitae
Google Scholar Profile

Research Interests

  • Software Engineering
  • Programming Languages
  • Concurrency
  • Runtime Verification

Awards & Honors

  • 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

Education

  • 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

Selected Publications

Wei Song, Xiangxing Qian and Jeff Huang. EHBDroid: Beyond GUI Testing for Android Applications, In Proc. of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Urbana, IL, USA, 2017.

Shiyou Huang, Bowen Cai and Jeff Huang. Towards Production-Run Heisenbugs Reproduction on Commercial Hardware, In Proc. of the USENIX Annual Technical Conference (USENIX ATC 2017), pages 403–415, 2017.

Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang and Guofei Gu. Attacking the Brain: Races in the SDN Control Plane, In Proc. of the USENIX Security Symposium (USENIX SECURITY 2017), pages 451–468, 2017.

Jeff Huang and Arun Rajagopalan, What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective, In Proc. of the European Conference on Object-Oriented Programming (ECOOP 2017), pages 15:1–15:22, 2017.

Shiyou Huang and Jeff Huang. Speeding Up Maximal Causality Reduction with Static Dependency Analysis, In Proc. of the European Conference on Object-Oriented Programming (ECOOP 2017), pages 16:1–16:22, 2017.

Jeff Huang and Arun Rajagopalan. "Maximal Causality Reduction for TSO and PSO". In Proc. of the ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016), Amsterdam, The Netherlands, 2016.

Shiyou Huang and Jeff Huang. "Maximal Causality Reduction for TSO and PSO". In Proc. of the ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016), Amsterdam, The Netherlands, 2016.

Sheng Zhan and Jeff Huang. "ECHO: Instantaneous In Situ Race Detection in the IDE". In Proc. the 24th of ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle, WA, USA, 2016.

Jeff Huang. "Scalable Thread Sharing Analysis". In Proc. of the 38th International Conference on Software Engineering (ICSE 2016), Austin, Texas, USA, 2016.

Jeff Huang and Lawrence Rauchwerger. "Finding Schedule-Sensitive Branches". In Proc. of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, 2015.

Jeff Huang. "Maximal Dynamic Race Detection with Control Flow". In Proc. of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2015), Portland, OR, 2015.

Jeff Huang, Patrick Meredith, and Grigore Rosu. "Maximal Dynamic Race Detection with Control Flow". In Proc. of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2014), Edinburgh, UK, 2014.

Jeff Huang, Charles Zhang and Julian Dolby. "CLAP: Recording Local Executions to Reproduce Concurrency Failures". In Proc. of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), Seattle, Washington, USA, 2013.

Jeff Huang, Jinguo Zhou, and Charles Zhang. "Scaling predictive analysis of concurrent programs by removing trace redundancy". ACM Transactions on Software Engineering and Methodology (TOSEM), 22(1), 2013.

Jeff Huang and Charles Zhang. "Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction". In Proc. of the ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012), Tucson, Arizona, USA, 2012.

Jeff Huang and Charles Zhang. "Execution Privatization for Scheduler-Oblivious Concurrent Programs". In Proc. of the ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012), Tucson, Arizona, USA, 2012.

Jeff Huang and Charles Zhang. "An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs". In Proc. of International Static Analysis Symposium (SAS 2011), Venice, Italy, 2011.

Jeff Huang and Charles Zhang. "Persuasive Prediction of Concurrency Access Anomalies". In Proc. of International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, Canada, 2011.

Jeff Huang, Peng Liu, and Charles Zhang. "LEAP: Lightweight Deterministic Multiprocessor Replay for Concurrent Java Programs". In Proc. of ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2010), Santa Fe, New Mexico, USA, 2010.