Technical Research: Concurrency
Friday May 20, 2:00 pm - 3:30 pm
Session Chair: Arie van Deursen
Room: Trinity
02:00 - 02:20 PM ― Scalable Thread Sharing Analysis
- Jeff Huang, Texas A&M University, United States
02:20 - 02:40 PM ― Fixing Deadlocks via Lock Pre-Acquisitions
- Yan Cai, State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
- Lingwei Cao, State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China
02:40 - 03:00 PM ― Coverage-Driven Test Code Generation for Concurrent Classes
- Valerio Terragni, The Hong Kong University of Science and Technology, Hong Kong
- Shing-Chi Cheung, The Hong Kong University of Science and Technology, Hong Kong
03:00 - 03:20 PM ― Locking Discipline Inference and Checking
- Michael Ernst, University of Washington, United States
- Alberto Lovato, University of Verona, Italy
- Damiano Macedonio, JuliaSoft, Italy
- Fausto Spoto, University of Verona, Italy
- Javier Thaine, University of Washington, United States