SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator. - Zhongda Yuan; Yuchun Ma; Jinian Bian (IPDPS Workshops, 2012)

Automatic enhanced CDFG generation based on runtime instrumentation. - Zhongda Yuan; Yuchun Ma; Jinian Bian; Kang Zhao (CSCWD, 2013)