A method includes implementing a collection for a single thread and a sequential data structure. The single thread includes functionality to execute on a parallel processor. The method further includes detecting whether the collection is shared by multiple threads by tracking reachability of the collection, and modifying the data representation and the implementation of the shared collection for synchronization of the multiple threads. The method may also include testing whether the multiple threads are synchronized on the shared collection.