Research Track Session

June 4th, Wednesday, 4:30 - 6:30 pm
Session Chair: Henry Muccini
Room: MR 1.01 & MR 1.02

4:30 - 5:00 CARE: Cache Guided Deterministic Replay for Concurrent Java Programs
Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu
Nanjing University, China
5:00 - 5:30 Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, and Arvind Krishnamurthy
University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA
5:30 - 6:00 Unleashing Concurrency for Irregular Data Structures
Peng Liu and Charles Zhang
Wuhan University, China; Hong Kong University of Science and Technology, China
6:00 - 6:30 ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs
Yan Cai, Shangru Wu, and W. K. Chan
City University of Hong Kong, China