Seungmin Cha (차승민) is a researcher at System Software Lab, Department of Computer Science and Engineering, Korea University. Research interests: .