| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 150 | 2010 |
| Meta-analysis for atomicity violations under nested locking A Farzan, P Madhusudan, F Sorrentino Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 57 | 2009 |
| 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 | 52 | 2012 |
| PickLock: A Deadlock Prediction Approach under Nested Locking F Sorrentino International SPIN Workshop on Model Checking of Software, 179-199, 2015 | 14 | 2015 |
| 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 | 10 | 2009 |
| 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 | 5 | 2010 |
| The consistency of web conversations J Fischer, R Majumdar, F Sorrentino 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 5 | 2008 |
| 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 | 5 | 2006 |
| 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 | | |
