HR job title
- Associate Professor
- Contact Info
- 1 979 845 1858
- Websites
Huang, Jeff Associate Professor
Positions
- Associate Professor, Computer Science and Engineering, College of Engineering
I enjoy doing research in software engineering and programming languages, in particular, concurrency and concurrent programming, program analysis, program verification, testing, debugging, and everything looks interesting related to software correctness, performance, reliability, and security.
- Overview
- Publications
- Research
- Teaching
- Works By Students
- Background
- Contact
- Other
- View All
Overview
Publications
selected publications
-
academic article
-
Song, W., Huang, Q., & Huang, J.
(2020).
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Transactions on Dependable and Secure Computing.
17(5), 1063-1078.
-
Liu, B., Huang, J., & Rauchwerger, L.
(2019).
Rethinking Incremental and Parallel Pointer Analysis. ACM Transactions on Programming Languages and Systems.
41(1), 6-31.
-
Wang, Z., Wu, C., Yuan, X., Wang, Z., Li, J., Yew, P., ... Guan, Y.
(2018).
Using Local Clocks to Reproduce Concurrency Bugs. IEEE Transactions on Software Engineering.
44(11), 1112-1128.
-
Huang, J., & Zhang, C.
(2016).
Debugging Concurrent Software: Advances and Challenges. Journal of Computer Science and Technology.
31(5), 861-868.
-
Shi, Q., Huang, J., Chen, Z., & Xu, B.
(2016).
Verifying Synchronization for Atomicity Violation Fixing. IEEE Transactions on Software Engineering.
42(3), 285-301.
-
Huang, J., Erdogan, C., Zhang, Y., Moore, B., Luo, Q., Sundaresan, A., & Rosu, G.
(2014).
ROSRV: Runtime verification for robots. Lecture Notes in Computer Science.
8734, 247-254.
-
Huang, J., Zhou, J., & Zhang, C.
(2013).
Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Transactions on Software Engineering and Methodology.
22(1), 8-21.
-
Song, W., Huang, Q., & Huang, J.
(2020).
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Transactions on Dependable and Secure Computing.
17(5), 1063-1078.
-
conference paper
-
Song, W., Zhang, J., & Huang, J.
(2019).
ServDroid: Detecting Service Usage Inefficiencies in Android Applications. 362-373.
-
Li, Y., Liu, B., Huang, J., & IEEE.
(2019).
SWORD: A Scalable Whole Program Race Detector for Java. 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019).
75-78.
-
Huang, S., Guo, J., Li, S., Li, X., Qi, Y., Chow, K., & Huang, J.
(2019).
SafeCheck: Safety Enhancement of Java Unsafe API. International Conference on Software Engineering.
889-899.
-
Swain, B., & Huang, J.
(2018).
Towards Incremental Static Race Detection in OpenMP Programs. 33-41.
-
Yi, Q., & Huang, J.
(2018).
Concurrency Verification with Maximal Path Causality. 366-376.
-
Zhao, G., & Huang, J.
(2018).
DeepSim: Deep Learning Code Functional Similarity. 141-151.
-
Liu, B., & Huang, J.
(2018).
D4: Fast Concurrency Debugging with Parallel Differential Analysis. ACM SIGPLAN NOTICES.
359-373.
-
Yang, G., Huang, J., Gu, G., & Mendoza, A.
(2018).
Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications. Proceedings / IEEE Symposium on Security and Privacy; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Security and Privacy in cooperation with the International Association for Cryptologic Research (IARC....
742-755.
-
Huang, J.
(2018).
UFO: Predictive Concurrency Use-After-Free Detection. 609-619.
-
Huang, S., & Huang, J.
(2017).
Speeding up maximal causality reduction with static dependency analysis. LIPIcs : Leibniz International Proceedings in Informatics.
161-1622.
-
Huang, J., & Rajagopalan, A. K.
(2017).
What's the optimal performance of precise dynamic race detection? - A redundancy perspective. LIPIcs : Leibniz International Proceedings in Informatics.
151-1522.
-
Song, W., Qian, X., & Huang, J.
(2017).
EHBDroid: Beyond GUI Testing for Android Applications. Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee....
27-37.
-
Huang, S., Cai, B., & Huang, J.
(2017).
Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. 403-415.
-
Huang, S., & Huang, J.
(2016).
Maximal Causality Reduction for TSO and PSO. ACM SIGPLAN NOTICES.
447-461.
-
Huang, J., & Rajagopalan, A. K.
(2016).
Precise and Maximal Race Detection from Incomplete Traces. ACM SIGPLAN NOTICES.
462-476.
-
Zhan, S., & Huang, J.
(2016).
ECHO: Instantaneous In Situ Race Detection in the IDE. 775-786.
-
Huang, J.
(2016).
Scalable Thread Sharing Analysis. International Conference on Software Engineering.
1097-1108.
-
Ge, C., Ma, F., Huang, J., & Zhang, J.
(2016).
SMT Solving for the Theory of Ordering Constraints. Lecture Notes in Computer Science.
287-302.
-
Huang, J.
(2015).
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction. ACM SIGPLAN NOTICES.
165-174.
-
Huang, J., & Rauchwerger, L.
(2015).
Finding Schedule-Sensitive Branches. 439-449.
-
Rajagopalan, A. K., & Huang, J.
(2015).
RDIT: Race Detection from Incomplete Traces. 914-917.
-
Huang, J., Luo, Q., & Rosu, G.
(2015).
GPredict: Generic Predictive Concurrency Analysis. International Conference on Software Engineering.
847-857.
-
Yuan, X., Wu, C., Wang, Z., Li, J., Yew, P., Huang, J., ... Guan, Y.
(2015).
ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. International Conference on Software Engineering.
824-834.
-
Huang, J., Meredith, P. O., & Rosu, G.
(2014).
Maximal sound predictive race detection with control flow abstraction. ACM Sigplan Notices.
337-348.
-
Huang, J., Zhang, C., & Dolby, J.
(2013).
CLAP: Recording local executions to reproduce concurrency failures. 141-151.
-
Huang, J., & Zhang, C.
(2012).
Execution privatization for scheduler-oblivious concurrent programs. ACM SIGPLAN NOTICES.
737-752.
-
Huang, J., & Zhang, C.
(2012).
LEAN. ACM SIGPLAN NOTICES.
451-466.
-
Huang, J., & Zhang, C.
(2012).
Execution privatization for scheduler-oblivious concurrent programs. ACM SIGPLAN NOTICES.
737-752.
-
Huang, J., & Zhang, C.
(2012).
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. ACM SIGPLAN NOTICES.
451-466.
-
Huang, J., & Zhang, C.
(2011).
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. Lecture Notes in Computer Science.
163-179.
-
Huang, J., & Zhang, C.
(2011).
Persuasive prediction of concurrency access anomalies. 144-154.
-
Huang, J., Liu, P., & Zhang, C.
(2010).
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 385-386.
-
Huang, J., Liu, P., & Zhang, C.
(2010).
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 207-216.
-
Song, W., Zhang, J., & Huang, J.
(2019).
ServDroid: Detecting Service Usage Inefficiencies in Android Applications. 362-373.
Research
principal investigator on
- SHF: Small: Pa3S: Towards Pointer Analysis as a Service awarded by Directorate for Computer & Information Science & Engineering - (Arlington, Virginia, United States) 2020 - 2023
- SaTC: CORE: Small: New Defenses for Data-Only Attacks awarded by National Science Foundation - (Arlington, Virginia, United States) 2019 - 2022
- SmartScript: A Learning-based Approach to Static Type and Semantic Inconsistency Analysis of Dynamic Scripts (and Other Semi-Structured Code) awarded by United States Department of Defense - (Washington D.C., District of Columbia, United States) 2019 - 2021
- CAREER: Scalable and Maximal Concurrency Debugging awarded by National Science Foundation - (Arlington, Virginia, United States) 2016 - 2021
- I-Corps: Smart Programming Tools for Improving Software Debugging awarded by National Science Foundation - (Arlington, Virginia, United States) 2020
co-principal investigator on
- Hyper-converged Programmable Secure Communication in the Blob Computing Era awarded by United States Department of the Navy - (Arlington, Virginia, United States) 2019 - 2022
- NeTS: Small: Detecting Races in SDN Control Plane awarded by National Science Foundation - (Arlington, Virginia, United States) 2016 - 2020
Teaching
teaching activities
- CSCE291 Hnr-research Instructor
- CSCE431 Software Engineering Instructor
- CSCE482 Hnr- Sr Capstone Design Instructor
- CSCE491 Hnr-research Instructor
- CSCE491 Hnr-research Instructor
- CSCE604 Prog Language Design Instructor
- CSCE606 Software Engineering Instructor
- CSCE684 Professional Internship Instructor
- CSCE684 Professional Internship: In-ab Instructor
- CSCE685 Directed Studies Instructor
- CSCE689 Sptp: Programming Llms Instructor
- CSCE689 Sptp:fund Of Software Anaylsis Instructor
- CSCE691 Research Instructor
- CSCE710 Fundamental Software Analysis Instructor
Works By Students
chaired theses and dissertations
-
Rajagopalan, Arun Krishnakumar (2016-05). Fast and Precise On-The-Fly Data Race Detection.
-
Singh, Pawan Kumar (2016-07). Programming Web Applications Declaratively A Qualitative Study.
Background
education and training
- Ph.D. in Computer Science, Hong Kong University of Science and Technology - (Hong Kong, Hong Kong, China) 2012
- B.E. in Electrical Engineering, National University of Defense Technology - (Changsha, China) 2008
- University of Illinois at Urbana Champaign - (Urbana, Illinois, United States) , Postdoctoral Training 2014
awards and honors
Contact
first name
- Jeff
has last name
- Huang
mailing address
-
Texas A&M University
Computer Science & Engineering
3112 TAMU
College Station, TX 77843-3112
USA
Other
- jeffhuang@tamu.edu