Difference between revisions of "Main Page"

From WorkshopOnDeterministicMultiprocessingAndParallelProgramming
Jump to: navigation, search
(Tuesday, December 1st)
(Tuesday, December 1st)
Line 55: Line 55:
 
* [[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
 
* ''Concurrent Collections are Deterministic'', Jens Palsberg
 
* ''Concurrent Collections are Deterministic'', Jens Palsberg
* David May
+
* ''The XMOS architecture and the XC language'', David May
 
* ''Discussion time'' (30 mins)
 
* ''Discussion time'' (30 mins)
  

Revision as of 02:02, 25 November 2009

Attendees list

Schedule

Monday, November 30th

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:55: Programming Models 2: Data-parallel / Dataflow Languages

12:55-2:00:Lunch

2:00-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

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
  • Vijay Saraswat
  • Discussion time (30 mins)

10:30-11:00: Break

11:00-12:30: Compiler Techniques

12:30-1:30: Lunch

1:30- 2:30: Testing

  • Concurrency Unit Testing, Shaz Qadeer
  • Asserting and Checking Determinism for Multithreaded Programs, Koushik Sen
  • Discussion time (20 mins)

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

Directions to the Allen Center: You can find directions by car and bus here. If you park on campus and have to pay the fee, please make sure to get a parking sticker with Luis so you can get you money back.

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