Schedule for Sunday, March 2, 2014
8:50 am–9:00 am: Welcome
9:00 am–10:00 am: Invited Talk
- The Tension Between Evolving Programming Paradigms and Determinism: Data Triggered Threads as a Case Study. Dean Tullsen (University of California, San Diego)
10:00 am–10:30 am: Coffee Break
10:30 am–11:45 am: Session 1: Determinism
chair: Joe Devietti
- What is the Cost of Determinism? Cedomir Segulja, Tarek S. Abdelrahman (University of Toronto) [slides: pptx pdf]
- Dynamic Determinism Checking for Structured Parallelism. Edwin Westbrook (Kestrel Institute), Raghavan Raman (Oracle Labs), Jisheng Zhao, Zoran Budimlić, Vivek Sarkar (Rice University) [slides: pptx pdf]
- Graph Algorithms in a Guaranteed-Deterministic Language. Praveen Narayanan, Ryan Newton (Indiana University) [slides: key pdf]
11:45am-1:00pm: Lunch
1:00pm-2:00pm: Invited Talk
- Performance and Programmability Trade-offs in the OpenCL 2.0 SVM and Memory Model. Brian Lewis, Intel [slides: pptx pdf]
2:00pm-2:50pm: Session 2: Data Race Detection
chair: Shan Lu
- Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support. Hassan Salehe Matar, Ismail Kuru, Serdar Taşıran (Koç University), Roman Dementiev (Intel) [slides: pptx pdf]
- LDetector: A Low Overhead Race Detector For GPU Programs. Pengcheng Li, Chen Ding, Xiaoyu Hu, Tolga Soyata (University of Rochester) [slides: pdf]
2:50pm-3:20pm: Coffee Break
3:20pm-5:00pm: Session 3: Synchronization & Deadlocks
chair: Brandon Lucia
- MAMA: Mostly Automatic Management of Atomicity. Christian DeLozier, Joseph Devietti, Milo Martin (University of Pennsylvania) [slides: ppt pdf]
- Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support. Man Cao, Minjia Zhang, Michael D. Bond (Ohio State University) [slides: pptx pdf]
- Joining Forces: Toward a Unified Account of LVars and Convergent Replicated Data Types. Lindsey Kuper, Ryan R. Newton (Indiana University) [slides: pdf]
- Lockout: Efficient Testing for Deadlock Bugs. Ali Kheradmand, Baris Kasikci, George Candea (EPFL) [slides: pptx pdf]