Semantics Driven Dynamic Partial-order Reduction of MPI-based Parallel Programs
https://www.powershow.com/view1/6eefe-ZDc1Z/Semantics_Driven_Dynamic_Partial-order_Reduction_of_MPI-based_Parallel_Programs_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
