Pietro Ferrara

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Manuel Fähndrich [3]

2 Francesco Logozzo [3]