The Anh Pham: Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. (Exploration efficace de l'espace d'état pour les programmes distribués asynchrones: Adaptation de l'UDPOR aux programes MPI). École normale supérieure de Rennes, France 2019