Pietro Ferrara

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

3 EE Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346

2 EE Pietro Ferrara: Static Analysis of the Determinism of Multithreaded Programs. SEFM 2008: 41-50

1 EE Pietro Ferrara: Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP 2008: 116-133

2008
3	EE	Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346
2	EE	Pietro Ferrara: Static Analysis of the Determinism of Multithreaded Programs. SEFM 2008: 41-50
1	EE	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]