logo

Latest Publications (All)

FSE 2023

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts

ACM SIGSOFT Distinguished Paper Award
Chenyang Ma, Wei Song, and Jeff Huang
ICSE 2023

SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk

Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, and Jeff Huang
CCS 2022

VRust: Automated Vulnerability Detection for Solana Smart Contracts

Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, and Jeff Huang
OOPSLA 2022
ICSE 2022

PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis

ACM SIGSOFT Distinguished Paper Award
Peiming Liu, Yanze Li, Brad Swain and Jeff Huang
PLDI 2021

When Threads Meet Events: Efficient and Precise Static Race Detection with Origins

Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva and Jeff Huang
ISSTA 2021
ICSE 2021
TCNS 2020

Distributed Networked Real-time Learning

Alfredo Garcia, Luochao Wang, Jeff Huang and Lingzhou Hong
SC 2020

OMPRacer: A Scalable and Precise Static RaceDetector for OpenMP Programs

Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis and Jeff Huang
ISSTA 2020

Functional Code Clone Detection with Syntax and Semantics Fusion Learning

Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang and Qingkai Shi
ICSE 2020

Securing UnSafe Rust Programs with XRust

Peiming Liu, Gang Zhao and Jeff Huang