Home research People General Info Seminars Resources Intranet
| Software Engineering Group | Home | Research | Publications | People | News
Home Page for Jeff Huang | Parasol Laboratory


Picture Jeff Huang
Associate Professor
Software Engineering Group

Parasol Laboratory url: http://parasol.tamu.edu/~jeff/
Department of Computer Science and Engineering email:
Texas A&M University office: 416 HRBB
College Station, TX 77843-3112 tel: 979-845-5485
USA fax: (979) 458-0718


Recent awards (older news):

Recent work on continuous reasoning of concurrency:




            Origin-Oriented Programming (O2) Lab



           To prospective PhD students: Drop an email with your CV to jeff@cse.tamu.edu if interested.

Open Source Tools

Maximal Causality Reduction for Java is open source!

Our UFO tool for detecting concurrency UAF vulnerabilities is open source!

Our D4 tool for IDE-speed concurrency debugging is open source!

Our DeepSim tool for deep learning code functional similarity is open source!

Our TSA tool for thread sharing analysis is open source!

Five Representative Papers

Teaching

Professional Activities

OC Member:

Panel:

PC/ERC Member:

Journal Reviewer:


Parasol Home | Research | People | General info | Seminars | Resources  

Parasol Laboratory, 425 Harvey R. Bright Bldg, 3112 TAMU, College Station, TX 77843-3112 
parasol-admin@cse.tamu.edu      Phone 979.458.0722     Fax 979.458.0718 

Department of Computer Science and Engineering | Dwight Look College of Engineering Dwight Look College of Engineering | Texas A&M University
    
Privacy statement: Computer Science and Engineering Engineering TAMU
Web Accessibility Policy and Law - Web Accessibility and Usability Standards  -   Contact Webmaster