Jeff Huang

Registered user since Thu 26 Feb 2015

Name: Jeff Huang

Bio: Jeff Huang is currently an Assistant Professor in the Department of Computer Science and Engineering at Texas A&M University. His research focuses on developing 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 Outstanding Dissertation Award, SIGPLAN PLDI Distinguished Paper Award, SIGPLAN Research Highlights, Google Faculty Research Award, and NSF CAREER Award.

Affiliation: Texas A&M University

Personal website: http://faculty.cse.tamu.edu/jeff/

Research interests: Programming Languages, Software Engineering, Concurrency, Runtime Verification

Contributions

SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
ICSE 2019Author 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 2018Committee Member in Extended Review Committee
Publicity Chair (USA) in Organizing Committee
WODA 2017Session 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 2018Author 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 2018Author of D4: Fast Concurrency Debugging with Parallel Differential Analysis within the PLDI Research Papers-track
ISSTA 2017Committee Member in Program Committee within the Demonstrations-track
PPoPP 2017Programme Committee in Program Committee
Publicity Chair (USA) in Organizing Committee
SOAP 2016Committee Member in Program Committee within the SOAP-track
PLDI 2017Session Chair of Concurrency Analysis (part of PLDI Research Papers)
Committee Member in Program Committee
ECOOP 2017Author 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! 2016Session 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 2016Session 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 2015Posters Co-Chair in Organizing Committee
Session Chair of Poster Session (part of Posters)
Posters Co-Chair in Organizing Committee within the Posters-track
PLDI 2015Author of Stateless Model Checking Concurrent Programs with Maximal Causality Reduction within the Research Papers-track
SPLASH 2014Committee Member in Program Committee within the Posters-track
SPLASH 2013Committee Member in Artifacts within the OOPSLA Artifacts-track
SPLASH 2012Author 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