Francesco Sorrentino

About me

Francesco is currently a graduate student in the Department of Computer Science at the University of Illinois, Urbana-Champaign under Prof. Madhusudan Parthasarathy. Francesco's research interests lie in software verification, static and dynamic program analyses, testing concurrent programs (PENELOPE). Francesco is a member of UPCRC (MS-Intel supported research team to make parallel programming easy). You can find my CV here.

Software/tools
PENELOPE - A testing tool for concurrent programs.

Publications*

Francesco Sorrentino, Azadeh Farzan and Madhusudan Parthasarathy. PENELOPE: Weaving Threads to Expose Atomicity Violations, Proc. of ACM SIGSOFT Int'l Symp. on the Foundations of Software Engineering (FSE), Santa Fe, New Mexico, USA, November 2010. pdf

Azadeh Farzan, Madhusudan Parthasarathy and Francesco Sorrentino. PENELOPE: Weaving Threads to Violate Atomicity, EC2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), Edinburgh, UK, 2010.

Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente and Francesco Sorrentino. A NuSMV Integration for Graded-CTL Model Checking, Computer Aided Verification (CAV), Edinburgh, UK, 2010. pdf

Azadeh Farzan, Madhusudan Parthasarathy and Francesco Sorrentino. Meta-analysis for Atomicity Violations under Nested Locking, Computer Aided Verification (CAV), Grenoble, France, 2009. pdf

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, and Carmine Ventre. Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents, Theoretical Computer Science (TCS ) 2009. pdf

Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino. The Consistency of Web Conversations, Automated Software Engineering (ASE), September 2008. pdf

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, and Carmine Ventre. Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents, 3rd Workshop on Approximation and Online Algorithms (WAOA). Palma de Mallorca, Mallorca, Balear Islands, Spain, 2005. pdf

Technical Reports

Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino. The Consistency of Web Conversations, UCLA CSD Techical Report TR080018, July 1, 2008. pdf

* The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons downloading these documents will adhere to the terms and constraints invoked by each author's copyright.