Huang, Jeff individual record
Associate Professor
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
  • 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.
    doi badge
  • 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
  • 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), 280-296.
    doi badge
Conference Papers33
  • Li, Y., Liu, B., & Huang, J. (2019). SWORD: A Scalable Whole Program Race Detector for Java. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 00, 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. 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 00, 889-899.
    doi badge
  • Song, W., Zhang, J., & Huang, J. (2019). ServDroid: detecting service usage inefficiencies in Android applications. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 362-373.
    doi badge
  • Huang, J. (2018). UFO. Proceedings of the 40th International Conference on Software Engineering, ICSE '18: 40th International Conference on Software Engineering. 609-619.
    doi badge
  • Yi, Q., & Huang, J. (2018). Concurrency verification with maximal path causality. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 366-376.
    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