Testing and Verification

Transactional Memory

Concurrent Data Structures

Data Races

Power

Thread-level Speculation

Implementing Memory Models

Hardware Support for Fast Synchronization

Automatic Derivation of Concurrent Data Structures

GPGPU Programming using CUDA/OpenCL

Parallel Programming Models and Languages

Performance Analysis of Multithreaded Programs

Formal Models

Consistency Conditions

Parallel Algorithms