Follow
Francesco Sorrentino
Francesco Sorrentino
Unknown affiliation
Verified email at uiuc.edu - Homepage
Title
Cited by
Cited by
Year
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1382010
Meta-analysis for atomicity violations under nested locking
A Farzan, P Madhusudan, F Sorrentino
International Conference on Computer Aided Verification, 248-262, 2009
492009
Predicting null-pointer dereferences in concurrent programs
A Farzan, P Madhusudan, N Razavi, F Sorrentino
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
422012
PickLock: A Deadlock Prediction Approach under Nested Locking
F Sorrentino
International SPIN Workshop on Model Checking of Software, 179-199, 2015
122015
Fast payment schemes for truthful mechanisms with verification
A Ferrante, G Parlato, F Sorrentino, C Ventre
Theoretical computer science 410 (8-10), 886-899, 2009
92009
A NuSMV extension for graded-CTL model checking
A Ferrante, M Memoli, M Napoli, M Parente, F Sorrentino
International Conference on Computer Aided Verification, 670-673, 2010
52010
The consistency of web conversations
J Fischer, R Majumdar, F Sorrentino
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
52008
Improvements for truthful mechanisms with verifiable one-parameter selfish agents
A Ferrante, G Parlato, F Sorrentino, C Ventre
International Workshop on Approximation and Online Algorithms, 147-160, 2005
52005
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
F Sorrentino
University of Illinois at Urbana-Champaign, 2014
2014
Project Proposal
F Sorrentino
2008
Predicting Null-Pointer Dereferences in Concurrent Programs
P Madhusudan, N Razavi, F Sorrentino
Meta-analysis of Concurrent Program Runs with Nested Locking for Atomicity Violations
A Farzan, P Madhusudan, F Sorrentino
PENELOPE: Weaving Threads to Violate Atomicity
A Farzan, P Madhusudan, F Sorrentino
The system can't perform the operation now. Try again later.
Articles 1–13