Jeff Huang

Registered user since Thu 26 Feb 2015

Name:Jeff Huang
Bio:

Jeff Huang is currently an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University. His research focuses on developing intelligent techniques and tools for improving software performance and reliability based on fundamental program analyses and programming language theory. His research has won awards including ACM SIGSOFT Early Career Researcher Award, ACM SIGSOFT Outstanding Dissertation Award, ACM SIGPLAN PLDI Distinguished Paper Award, SIGPLAN Research Highlights, Google Faculty Research Award, Mozilla Research Award, Facebook Research Award, NSF CAREER Award and DARPA Young Faculty Award.

Country:United States
Affiliation:Texas A&M University
Research interests:Programming Languages, Software Engineering, Concurrency, Runtime Verification

Contributions

SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2021 Author of When Threads Meet Events: Efficient and Precise Static Race Detection with Origins within the PLDI-track
ISSTA 2021 Author of UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities within the Technical Papers-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ISSTA 2020 Author of Functional Code Clone Detection with Syntax and Semantics Fusion Learning within the Technical Papers-track
ESEC/FSE 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
ICSE 2021 Author of IMGDroid: Detecting Image Loading Defects in Android Applications within the AE - Artifact Evaluation-track
Committee Member in Program Committee within the Technical Track-track
Author of IMGDroid: Detecting Image Loading Defects in Android Applications within the Technical Track-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
ICSE 2020 Author of Securing UnSafe Rust Programs with XRust within the Technical Papers-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
ICSE 2019 Author of SafeCheck: Safety Enhancement of Java Unsafe API within the Technical Track-track
Author of SWORD: A Scalable Whole Program Race Detector for Java within the Demonstrations-track
Committee Member in Program Committee within the Technical Track-track
PPoPP 2018 Committee Member in Extended Review Committee
Publicity Chair (USA) in Organizing Committee
WODA 2017 Session Chair of WODA (part of WODA 2017)
Session Chair of WODA (part of WODA 2017)
Session Chair of WODA (part of WODA 2017)
Co-chair in Organizing Committee within the WODA 2017-track
Session Chair of WODA (part of WODA 2017)
Author of Model Checking with Maximal Causality Reduction within the WODA 2017-track
ESEC/FSE 2018 Author of Concurrency Verification with Maximal Path Causality within the Research Papers-track
Author of DeepSim: Deep Learning Code Functional Similarity within the Research Papers-track
PLDI 2018 Author of D4: Fast Concurrency Debugging with Parallel Differential Analysis within the PLDI Research Papers-track
ISSTA 2017 Committee Member in Program Committee within the Demonstrations-track
PPoPP 2017 Programme Committee in Program Committee
Publicity Chair (USA) in Organizing Committee
SOAP 2016 Committee Member in Program Committee within the SOAP-track
PLDI 2017 Session Chair of Concurrency Analysis (part of PLDI Research Papers)
Committee Member in Program Committee
ECOOP 2017 Author of What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective within the ECOOP Research Papers-track
Author of Speeding Up Maximal Causality Reduction with Static Dependency Analysis within the ECOOP Research Papers-track
Onward! 2016 Session Chair of Session 2 (part of Onward! Papers)
* ICSE 2018 * Author of UFO: Predictive Concurrency Use-After-Free Detection within the Technical Papers -track
SPLASH 2016 Session Chair of Poster Reception Monday (part of Posters)
Author of Maximal Causality Reduction for TSO and PSO within the OOPSLA-track
Posters Co-Chair in Organizing Committee
Session Chair of Poster Reception Wednesday (part of Posters)
Posters Co-Chair in Organizing Committee within the Posters-track
Author of Precise and Maximal Race Detection from Incomplete Traces within the OOPSLA-track
SPLASH 2015 Posters Co-Chair in Organizing Committee
Session Chair of Poster Session (part of Posters)
Posters Co-Chair in Organizing Committee within the Posters-track
PLDI 2015 Author of Stateless Model Checking Concurrent Programs with Maximal Causality Reduction within the Research Papers-track
SPLASH 2014 Committee Member in Program Committee within the Posters-track
SPLASH 2013 Committee Member in Artifacts within the OOPSLA Artifacts-track
SPLASH 2012 Author of LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction within the OOPSLA Research Papers-track
Author of Execution privatization for scheduler-oblivious concurrent programs within the OOPSLA Research Papers-track