Preemptible Atomic Regions for Real-Time Java. - Jeremy Manson; Jason Baker; Antonio Cunei; Suresh Jagannathan; Marek Prochazka; Bin Xin 001; Jan Vitek (RTSS, 2005)

Efficient online detection of dynamic control dependence. - Bin Xin 001; Xiangyu Zhang 001 (ISSTA, 2007)

Efficient program execution indexing. - Bin Xin 001; William N. Sumner; Xiangyu Zhang 001 (PLDI, 2008)

Memory slicing. - Bin Xin 001; Xiangyu Zhang 001 (ISSTA, 2009)

Lightweight Task Graph Inference for Distributed Applications. - Bin Xin 001; Patrick Th. Eugster; Xiangyu Zhang 001; Jinlin Yang (SRDS, 2010)