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
1462010
Meta-analysis for atomicity violations under nested locking
A Farzan, P Madhusudan, F Sorrentino
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
552009
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
502012
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
102009
A NuSMV extension for graded-CTL model checking
A Ferrante, M Memoli, M Napoli, M Parente, F Sorrentino
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 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
Approximation and Online Algorithms: Third International Workshop, WAOA 2005 …, 2006
52006
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
F Sorrentino
University of Illinois at Urbana-Champaign, 2014
2014
PENELOPE
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
2010
Project Proposal
F Sorrentino
2008
Improvements for Truthful Mechanisms with Verifiable One-Parameter Agents
A Ferrante, G Parlato, F Sorrentino, C Ventre
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–15