Julian Miller: Pattern-based abstractions for parallel programs. RWTH Aachen University, Germany 2023