Shimin Cui

According to our database, Shimin Cui authored at least 3 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

SafeType: detecting type violations for type-basedalias analysis of C.

Iain Ireland, José Nelson Amaral, Raúl Silvera, Shimin Cui

Softw. Pract. Exp., 2016

2008

MPADS: memory-pooling-assisted data splitting.

Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raúl Silvera, Roch Archambault

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

<i>Forma</i>: 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