Petro Mozil

Google Summer of Code 2025 Contributor

email: mozil.petryk@gmail.com

Education: Bachelor of Computer Science, Ukrainian Catholic University, Ukraine

Ongoing project: Enabling support for STL concurrency primitives in CLAD
Clad recursively iterates over the syntax tree to check whether a given statement should be differentiated. Each function that is called from inside of a differentiated function should be differentiated as well, and so should any object method. The main issue for clad is that std::thread is an object, and thus as a type that should be differentiated However, std::thread shouldn’t be differentiated, the function inside of it should. Some of STL’s concurrency primitives face the same problem - the methods in them should not be differentiated, and only the location of where they were called should be preserved.

Project Proposal: URL

Mentors: Martin Vassilev, David Lange

Presentations