Architecture-aware Analysis of Concurrent Software Rajeev Alur University of Pennsylvania Amir Pnueli Memorial Symposium New York University, May 2010 Joint work with Sebastian Burckhardt Sela Mador-Haim Milo Martin.

Download Report

Transcript Architecture-aware Analysis of Concurrent Software Rajeev Alur University of Pennsylvania Amir Pnueli Memorial Symposium New York University, May 2010 Joint work with Sebastian Burckhardt Sela Mador-Haim Milo Martin.