Analysis and optimization of explicitly parallel programs

Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note)

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing

Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs

LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers

Choosing among alternative futures

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing