| 2008 | ||
|---|---|---|
| 3 | Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346 | |
| 2 | Pietro Ferrara: Static Analysis of the Determinism of Multithreaded Programs. SEFM 2008: 41-50 | |
| 1 | Pietro Ferrara: Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP 2008: 116-133 | |
| 1 | Manuel Fähndrich | [3] |
| 2 | Francesco Logozzo | [3] |