Jeff Huangمشاهده پروفایل
دانشیار
Jeff Huang is an Associate Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on software engineering, programming languages, concurrency, and runtime verification, with notable contributions to static analysis, race detection, and vulnerability mitigation in concurrent systems. Education: Postdoc, Computer Science, University of Illinois at Urbana-Champaign (2013-2014) Ph.D., Computer Science, Hong Kong University of Science and Technology (2012) B.E., Electrical Engineering, National University of Defense Technology, China (2008) Research Interests: Huang's work bridges theoretical foundations and practical applications in concurrency debugging, static analysis tools, and cybersecurity for smart contracts. He emphasizes scalable solutions for pointer analysis, race detection, and vulnerability detection in distributed systems and blockchain technologies. Recent Trends in Publications: His recent work explores AI-driven program execution (e.g., SGLang), blockchain security (e.g., Smart Contract analysis), and dynamic/static analysis techniques for memory safety. These studies underscore advancements in automated tools for securing concurrent and distributed systems. Awards: 2023 ACM SIGSOFT Distinguished Paper Award 2019 DARPA Young Faculty Award 2016 NSF CAREER Award 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award Advising & Grants: Huang has advised PhD students including Bozhen Liu and Peiming Liu, who have contributed to OpenMP race detection and pointer analysis tools. His grants include NSF awards for pointer analysis as a service and DARPA funding for young faculty research. Labs & Teams: He leads the O2 Lab, focused on concurrency verification and cybersecurity, collaborating with industry partners like Coderrect Inc. and DOE on scalable static analysis frameworks.







