Forma: A framework for safe automatic array reshaping. - Peng Zhao; Shimin Cui; Yaoqing Gao; Raúl Silvera; José Nelson Amaral (ACM Trans. Program. Lang. Syst., 2007)

MPADS: memory-pooling-assisted data splitting. - Stephen Curial; Peng Zhao; José Nelson Amaral; Yaoqing Gao; Shimin Cui; Raúl Silvera; Roch Archambault (ISMM, 2008)

SafeType: detecting type violations for type-basedalias analysis of C. - Iain Ireland; José Nelson Amaral; Raúl Silvera; Shimin Cui (Softw. Pract. Exp., 2016)