Shimin Cui

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Statistical Analysis

Top Venues

Softw. Pract. Exp.

Publications

Iain Ireland, José Nelson Amaral, Raúl Silvera, Shimin Cui
SafeType: detecting type violations for type-basedalias analysis of C. Softw. Pract. Exp. 46 (11) (2016)
Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raúl Silvera, Roch Archambault
MPADS: memory-pooling-assisted data splitting. ISMM (2008)
Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral
: A framework for safe automatic array reshaping. ACM Trans. Program. Lang. Syst. 30 (1) (2007)