Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values. - Shuhan Ding; Soner Önder (CC, 2010)

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes. - Shuhan Ding; John Earnest; Soner Önder (CGO, 2014)

Sionnx: Automatic Unit Test Generator for ONNX Conformance. - Xinli Cai; Peng Zhou; Shuhan Ding; Guoyang Chen; Weifeng Zhang 003 (CoRR, 2019)