P. Ferrara, Static analysis via abstract interpretation of multithreaded programs PhD Defense, École Normale Supérieure, InitToZero unsafe void InitToZero(int* ptr, uint len) { Contract.Requires(Contract.WB(ptr) ? len*4)

P. Ferrara, Static analysis via abstract interpretation of multithreaded programs PhD Defense, École Normale Supérieure, unsafe void InitToZero(int* ptr, uint len) { Contract.Requires(Contract.WB(ptr) ? len*4)

P. Ferrara, Static analysis via abstract interpretation of multithreaded programs PhD Defense, École Normale Supérieure for (int i=0; i<len; i++) *(ptr + i) = 0

P. Ferrara, Static analysis via abstract interpretation of multithreaded programs " PhD Defense, École Normale Supérieure

P. Ferraraferr08, ]. P. Ferraraferr08b, and ]. Ferrara, Static analysis via abstract interpretation of multithreaded programs PhD Defense, École Normale SupérieureStatic analysis via abstract interpretation of the happens-before memory modelStatic analysis of the determinism of multithreaded programsA fast and precise analysis for data race detection, Proceedings of TAP 2008 Proceedings of SEFM 2008 Proceedings of Bytecode'08, 2008.

P. Ferrara, F. Logozzo, and M. Fähndrich, Safer unsafe code for .NET, Proceedings of OOPSLA 2008, 2008.
DOI : 10.1145/1449764.1449791
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5101

P. Ferrara, Static analysis via abstract interpretation of multithreaded programs
URL : https://hal.archives-ouvertes.fr/tel-00417502