Main Page
Schedule
Monday, November 30th
8:00am : Breakfast
8:45-9am: Opening Remarks - Luis and Vikram
9:00-10:50: Programming Models 1: General Imperative Languages
- Rethinking Parallel Execution for Multicore Processors, Guri Sohi. presentation
- Commuting Operations and Deterministic Execution in Parallel Programs, Martin Rinard presentation
- Simple Read/Write Effect Typing in C#, Joe Duffy
- Disciplined Support for Deterministic and Non-deterministic Parallelism, Vikram Adve presentation
- Discussion time (30 mins)
10:50-11:05: Break
11:05- 12:30: Programming Models 2: Data-parallel / Dataflow Languages
- Functional Collection-Oriented Programming, Guy Blelloch presentation
- Ct: Supporting Safe, Modular, and Portable Data Parallel Programming, Anwar Ghuloum presentation
- Concurrent Collections (CnC): a deterministic parallel language, Kath Knobe presentation
- Discussion time (25 mins)
12:30-1:45:Lunch
1:45-3:40: Execution-level Determinism
- Grace: Safe Multithreaded Programming for C/C++, Emery Berger
- Deterministic Multithreading, Saman Amarasinghe presentation
- Deterministic Shared Memory Multiprocessing, Joe Devietti presentation
- Simple Architectural Support for Determinism, Josep Torrellas
- Discussion time (35 mins)
3:40-4:00: Break
4:00- 5:30: Debate 1: Parallel programs without deterministic semantics are insane!
- For: Shaz Qadeer, Marc Snir
- Against: Hans Boehm, Keshav Pingali
6:00pm: Reception / Cocktails / Dinner
Tuesday, December 1st
8:00am : Breakfast
9:00-10:30:Programming Models 3: Other disciplined languages
- Operator Formulation of Irregular Algorithms, Keshav Pingali presentation
- Axum: Getting the Genie Back Into the Lamp, Niklas Gustafson presentation
- Concurrent Collections are Deterministic, Jens Palsberg presentation
- Discussion time (30 mins)
10:30-11:00: Break
11:00-12:00: Compiler Techniques
- CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution, Tom Bergan presentation
- The XMOS architecture and the XC language, David May presentation
- Discussion time (20 mins)
12:00-1:00: Lunch
1:00- 2:10: Testing
- Concurrency Unit Testing, Shaz Qadeer presentation
- Asserting and Checking Determinism for Multithreaded Programs, Koushik Sen presentation
* Safe Parallel Programming in a Sequential Language, Vijay Saraswat
- Discussion time (30 mins)
2:10-2:30: Break
2:30- 4:00: Debate 2: There is a free lunch: you can have strong safety guarantees with little programmer effort.
- For: Guy Blelloch, Guri Sohi
- Against: Jim Larus, David May
4:00- 4:15: Break
4:15- 5:30:Wrap up: What have we learned ? What should we do next ?
Note: Each speaker gets 20 minutes. There is a shared discussion time at the end of each session.
Travel Information
Location : Gates Commons, Paul Allen Center for Computer Science and Engineering, University of Washington. You can find directions by car and bus here.
Parking : We have arranged pre-paid parking for everyone. Please let Luis know if you have not received instructions yet.
Hotel Transportation : Monday & Tuesday morning – Shuttles will leave the hotel for the Paul Allen Center every 15 min between 7:45am-8:45am. Monday evening – Shuttles will leave the Paul Allen Center for the hotel every 15 min between 8pm-9pm.
Air Ticket: Please book your ticket directly. The workshop starts at 8:45am on Monday, November 30th and ends at 5:30pm on Tuesday, December 1st.
Hotel: There is a block of rooms for WoDet participants at the Watertown Inn, Seattle. We will pay for your room directly **for two nights** -- check-in 11/29/09 and checkout 12/1/09. (Extra nights are the responsibility of the traveler at a rate of $159/night +tax.) There are several ways to reserve your room:
- Call 866.944.4242
- Fax 206.315.4242
- Email reservations@watertownseattle.com
You must mention "WoDet Meeting" to get the block of rooms. If "WoDet Meeting" doesn't work, then also mention "University of Washington, Computer Science & Engineering, Melody Kadenko". Reservations must be made by October 30, 2009.
Meals: We are providing breakfast/lunch/dinner on Monday and breakfast/lunch on Tuesday. Please inform Melody Kadenko of any dietary restrictions.
Extra travel assistance: We have obtained some NSF funds for travel in addition to the meals and two nights of hotel (paid directly by us). Since the funds are limited, we ask you to use it only if really necessary. The ceiling amount that we can cover will depend on how many people ask for assistance. Please let us know if you will need financial assistance as soon as possible.
If you have trouble with the hotel name list or need any other assistance related to travel or reimbursements, please contact [mailto: melody@cs.washington.edu Melody Kadenko].