On this website, we present ESyS, a tool to extract synchronization-free slices that implements our algorithms [1] [2], and uses the Omega Calculator Library and Petit. It was created in Visual C++ 6.0 with Boost library. The tool firstly extracts sources of synchronization-free slices and then generates parallel code to scan sources of slices and elements of each slice in lexicographcal order.

Faculty of Computer Science, Technical University of Szczecin