Algorithm Program Verification.. Techniques for infinite-state model checking with applications to (among others) weak memory models.
Concurrent Algorithms and Data Structures.. The design and correctness of concurrent data structures such as sets, stacks, and queues.