Principles and Practice of Parallel Programming

• Author of POSTER: Automatic Differentiation of Parallel Loops with Formal Methods within the Main Conference-track