Engineering Concurrent Software Guided by Statistical Performance Analysis