
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, and Google Faculty Research Award.
Affiliation:Texas A&M University
Personal website:http://faculty.cse.tamu.edu/jeff/
Research interests:Programming Languages, Software Engineering, Concurrency, Runtime Verification
Contributions
PLDI 2015 | Stateless Model Checking Concurrent Programs with Maximal Causality Reduction | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2015-profile
View general profile
View general profile