EVL PhD candidate Venkatraman Vishwanath and UIC Computer Science Associate Professor, Lenore Zuck present their position paper "Verification of Data Intensive High Performance Computing Middleware" at the Exploiting Concurrency Efficiently and Correctly -- (EC)2 Workshop. The workshop is being held in conjunction with the 20th International Conference on Computer Aided Verification (CAV 2008) Conference in Princeton, NJ.

The two-day workshop will include six invited talks and several panel sessions. Authors of position papers will be given an opportunity to present their ideas either as a short presentation or as a poster. This position paper is scheduled for presentation, July 8th, Session 8, 2:00-3:30pm