Huang, Jeff individual record
Assistant Professor - Term Appoint
Positions:
overview

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.

selected publications
Academic Articles7
  • Liu, B., Huang, J., & Rauchwerger, L. (2019). Rethinking Incremental and Parallel Pointer Analysis. ACM Transactions on Programming Languages and Systems. 41(1), 1-31.
    doi badge
  • Song, W., Huang, Q., & Huang, J. (2018). Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. 1-1.
    doi badge
  • 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.
    doi badge
  • Huang, J., & Zhang, C. (2016). Debugging Concurrent Software: Advances and Challenges. Journal of Computer Science and Technology. 31(5), 861-868.
    doi badge
  • Shi, Q., Huang, J., Chen, Z., & Xu, B. (2016). Verifying Synchronization for Atomicity Violation Fixing. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 42(3), 285-301.
    doi badge
  • Huang, J., Erdogan, C., Zhang, Y., Moore, B., Luo, Q., Sundaresan, A., & Rosu, G. (2014). ROSRV: Runtime verification for robots. ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS. 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), 1-21.
    doi badge
Conference Papers33
  • Li, Y., Liu, B., & Huang, J. (2019). SWORD: A scalable whole program race detector for Java. 75-78.
    doi badge
  • Huang, S., Guo, J., Li, S., Li, X., Qi, Y., Chow, K., & Huang, J. (2019). SafeCheck: Safety Enhancement of Java Unsafe API. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). 2019-May, 889-899.
    doi badge
  • Song, W., Zhang, J., & Huang, J. (2019). ServDroid: Detecting Service Usage Inefficiencies in Android Applications. 362-373.
    doi badge
  • Yi, Q., & Huang, J. (2018). Concurrency Verification with Maximal Path Causality. 366-376.
    doi badge
  • Liu, B., & Huang, J. (2018). D4: Fast Concurrency Debugging with Parallel Differential Analysis. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. 53(4), 359-373.
    doi badge
  • Zhao, G., & Huang, J. (2018). DeepSim: Deep Learning Code Functional Similarity. 141-151.
    doi badge
  • Yang, G., Huang, J., Gu, G., Mendoza, A., & IEEE, .. (2018). Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications. Proceedings - IEEE Symposium on Security and Privacy. 2018-May, 742-755.
    doi badge
  • Swain, B., Huang, J., & IEEE, .. (2018). Towards Incremental Static Race Detection in OpenMP Programs. 33-41.
    doi badge
  • Huang, J., & IEEE, .. (2018). UFO: Predictive Concurrency Use-After-Free Detection. 609-619.
    doi badge
  • Song, W., Qian, X., & Huang, J. (2017). EHBDroid: Beyond GUI Testing for Android Applications. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17). 27-37.
    doi badge
  • Huang, S., & Huang, J. (2017). Speeding up maximal causality reduction with static dependency analysis. Leibniz International Proceedings in Informatics, LIPIcs. 74, 161-1622.
    doi badge
  • Huang, S., Cai, B., Huang, J., & Assoc, U. (2017). Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. 403-415.
  • Huang, J., & Rajagopalan, A. K. (2017). What's the optimal performance of precise dynamic race detection? - A redundancy perspective. Leibniz International Proceedings in Informatics, LIPIcs. 74, 151-1522.
    doi badge
  • Zhan, S., & Huang, J. (2016). ECHO: Instantaneous In Situ Race Detection in the IDE. 13-18-November-2016, 775-786.
    doi badge
  • Huang, S., & Huang, J. (2016). Maximal Causality Reduction for TSO and PSO. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. 51(10), 447-461.
    doi badge
  • Huang, J., & Rajagopalan, A. K. (2016). Precise and Maximal Race Detection from Incomplete Traces. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. 51(10), 462-476.
    doi badge
  • Ge, C., Ma, F., Huang, J., & Zhang, J. (2016). SMT solving for the theory of ordering constraints. ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS. 9519, 287-302.
    doi badge
  • Huang, J., & IEEE, .. (2016). Scalable Thread Sharing Analysis. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). 14-22-May-2016, 1097-1108.
    doi badge
  • Huang, J., & Rauchwerger, L. (2015). Finding Schedule-Sensitive Branches. 439-449.
    doi badge
  • Huang, J., Luo, Q., Rosu, G., & IEEE, .. (2015). GPredict: Generic Predictive Concurrency Analysis. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). 1, 847-857.
    doi badge
  • Rajagopalan, A. K., & Huang, J. (2015). RDIT: Race Detection from Incomplete Traces. 914-917.
    doi badge
  • Yuan, X., Wu, C., Wang, Z., Li, J., Yew, P., Huang, J., ... IEEE, .. (2015). ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). 1, 824-834.
    doi badge
  • Huang, J. (2015). Stateless Model Checking Concurrent Programs with Maximal Causality Reduction. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. 50(6), 165-174.
    doi badge
  • Huang, J., Meredith, P., & Rosu, G. (2014). Maximal sound predictive race detection with control flow abstraction. ACM SIGPLAN Notices. 49(6), 337-348.
    doi badge
  • Huang, J., Zhang, C., & Dolby, J. (2013). CLAP: Recording local executions to reproduce concurrency failures. 141-151.
    doi badge
chaired theses and dissertations
Email
jeffhuang@tamu.edu
First Name
Jeff
Last Name
Huang
mailing address
Texas A&M University; Computer Science & Engineering; 3112 TAMU
College Station, TX 77843-3112
USA