Safer unsafe code for .NET.

Pietro Ferrara, Francesco Logozzo, Manuel Fhndrich

Browse the full OOPSLA paper archive.