Travelled to:1 × France
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:A.Farzan P.Madhusudan J.Fischer R.Majumdar N.Razavi A.Ferrante M.Memoli M.Napoli M.Parente
Talks about:violat (2) atom (2) program (1) predict (1) pointer (1) penelop (1) derefer (1) convers (1) consist (1) concurr (1)
Person: Francesco Sorrentino
DBLP: Sorrentino:Francesco
Contributed to:
2012
201020102009
2008Wrote 5 papers:
- FSE-2012-FarzanMRS #concurrent #predict #source code
- Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.
- CAV-2010-FerranteMNPS #model checking
- A NuSMV Extension for Graded-CTL Model Checking (AF, MM, MN, MP, FS), pp. 670–673.
- FSE-2010-SorrentinoFM #named #thread #weaving
- PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.
- CAV-2009-FarzanMS
- Meta-analysis for Atomicity Violations under Nested Locking (AF, PM, FS), pp. 248–262.
- ASE-2008-FischerMS #consistency #web
- The Consistency of Web Conversations (JF, RM, FS), pp. 415–418.