Huang, Jeff individual record
Assistant Professor - Term Appoint

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
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
chaired theses and dissertations
First Name
Last Name
mailing address
Texas A&M University; Computer Science & Engineering; 3112 TAMU
College Station, TX 77843-3112