WoDet 2013 Workshop Program

Schedule for Sunday, 17 March

8:50 am–9:00 am:  Welcome

9:00 am–10:00 am:  Invited Talk

  • The Imperative of Disciplined Parallelism: A Hardware Architect’s Perspective.  Sarita Adve (University of Illinois at Urbana-Champaign)

10:00 am–10:30 am:  Coffee Break

10:30 am–11:20 am:  Session 1:  Type Systems and Verification
Session Chair: Edwin Westbrook

11:20am–12:10pm:  Session 2:  Task Parallelism
Session Chair: Robert Bocchino

12:10pm-1:30pm: Lunch

1:30pm-2:30pm: Invited Talk

  • Internally Deterministic Parallel Algorithms. Guy Blelloch (Carnegie Mellon University)

2:35pm-3:00pm: Session 3:  Execution-Level Determinism
Session Chair: Luis Ceze

3:00pm-3:30pm: Coffee Break

3:30pm-4:20pm: Session 3 (continued)

4:20pm-5:10pm: Session 4:  Controlling Nondeterminism
Session Chair: Joseph Devietti