BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sorrentino:Francesco

Contributed to:

FSE 20122012
CAV 20102010
FSE 20102010
CAV 20092009
ASE 20082008

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.