Difference between revisions of "Main Page"

From WorkshopOnDeterministicMultiprocessingAndParallelProgramming
Jump to: navigation, search
(Monday, November 30th)
(Tuesday, December 1st)
Line 57: Line 57:
 
'''11:00-12:00''': ''Compiler Techniques''
 
'''11:00-12:00''': ''Compiler Techniques''
 
* [[MainPage:abstract#CoreDet:_A_Compiler_and_Runtime_System_for_Deterministic_Multithreaded_Execution | ''CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution'']], Tom Bergan
 
* [[MainPage:abstract#CoreDet:_A_Compiler_and_Runtime_System_for_Deterministic_Multithreaded_Execution | ''CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution'']], Tom Bergan
* [[MainPage:abstract#The_XMOS_architecture_and_the_XC_language | ''The XMOS architecture and the XC language'']], David May
+
* [[MainPage:abstract#The_XMOS_architecture_and_the_XC_language | ''The XMOS architecture and the XC language'']], David May [[Media:WoDet09-may.pdf | presentation]]
 
* ''Discussion time'' (20 mins)
 
* ''Discussion time'' (20 mins)
  

Revision as of 02:57, 5 January 2010

Attendees list

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

10:50-11:05: Break

11:05- 12:30: Programming Models 2: Data-parallel / Dataflow Languages

12:30-1:45:Lunch

1:45-3:40: Execution-level Determinism

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
  • Axum: Getting the Genie Back Into the Lamp, Niklas Gustafson presentation
  • Concurrent Collections are Deterministic, Jens Palsberg
  • Discussion time (30 mins)

10:30-11:00: Break

11:00-12:00: Compiler Techniques

12:00-1:00: Lunch

1:00- 2:10: Testing

* 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].