Refactoring sequential Java code for concurrency via concurrent libraries | IEEE Conference Publication | IEEE Xplore