Difference between revisions of "Main Page"

From WorkshopOnDeterministicMultiprocessingAndParallelProgramming
Jump to: navigation, search
(Monday, November 30th)
 
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
[[Main_Page:attendees | Attendees list]]
 
[[Main_Page:attendees | Attendees list]]
 +
 +
 +
[[File:IMG_7875.JPG|200px|thumb|Brrr]]
 +
[[File:IMG_7878.JPG|200px|thumb|Brrr]]
  
 
= Schedule =
 
= Schedule =
Line 12: Line 16:
  
 
* [[MainPage:abstract#Rethinking_Parallel_Execution_for_Multicore_Processors | ''Rethinking Parallel Execution for Multicore Processors'']], Guri Sohi. [[Media:Sohi-Wodet.ppt | presentation]]
 
* [[MainPage:abstract#Rethinking_Parallel_Execution_for_Multicore_Processors | ''Rethinking Parallel Execution for Multicore Processors'']], Guri Sohi. [[Media:Sohi-Wodet.ppt | presentation]]
* ''Commuting Operations and Deterministic Execution in Parallel Programs'', Martin Rinard
+
* ''Commuting Operations and Deterministic Execution in Parallel Programs'', Martin Rinard [[Media:WoDet2009-Rinard.pdf | presentation]]
 
*  [[MainPage:abstract#Simple_Read.2FWrite_Effect_Typing_in_C.23 | ''Simple Read/Write Effect Typing in C#'']], Joe Duffy
 
*  [[MainPage:abstract#Simple_Read.2FWrite_Effect_Typing_in_C.23 | ''Simple Read/Write Effect Typing in C#'']], Joe Duffy
 
*  [[MainPage:abstract#Deterministic_Parallel_Java | ''Disciplined Support for Deterministic and Non-deterministic Parallelism'']], Vikram Adve  [[Media:WoDet09-Adve.pdf | presentation]]
 
*  [[MainPage:abstract#Deterministic_Parallel_Java | ''Disciplined Support for Deterministic and Non-deterministic Parallelism'']], Vikram Adve  [[Media:WoDet09-Adve.pdf | presentation]]
Line 48: Line 52:
  
 
'''9:00-10:30''':''Programming Models 3: Other disciplined languages''
 
'''9:00-10:30''':''Programming Models 3: Other disciplined languages''
* ''Operator Formulation of Irregular Algorithms'', Keshav Pingali
+
* ''Operator Formulation of Irregular Algorithms'', Keshav Pingali [[Media:Seattle09-2.ppt | presentation]]
 
* ''Axum: Getting the Genie Back Into the Lamp'', Niklas Gustafson [[Media:WoDet09-gustafson.pdf | presentation]]
 
* ''Axum: Getting the Genie Back Into the Lamp'', Niklas Gustafson [[Media:WoDet09-gustafson.pdf | presentation]]
* ''Concurrent Collections are Deterministic'', Jens Palsberg
+
* ''Concurrent Collections are Deterministic'', Jens Palsberg [[Media:WoDet09-palsberg.pdf | presentation]]
 
* ''Discussion time'' (30 mins)
 
* ''Discussion time'' (30 mins)
  
Line 56: Line 60:
  
 
'''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 [[Media:WoDet09-tombergan.ppt | presentation]]
* [[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)
  
Line 63: Line 67:
  
 
'''1:00- 2:10''': ''Testing''
 
'''1:00- 2:10''': ''Testing''
* [[MainPage:abstract#Concurrency_unit_testing | ''Concurrency Unit Testing'']], Shaz Qadeer
+
* [[MainPage:abstract#Concurrency_unit_testing | ''Concurrency Unit Testing'']], Shaz Qadeer [[Media:WoDet09-qadeer.pdf | presentation]]
* ''Asserting and Checking Determinism for Multithreaded Programs'', Koushik Sen
+
* ''Asserting and Checking Determinism for Multithreaded Programs'', Koushik Sen [[Media:WoDet09-sen.ppt | presentation]]
 
<s>* [[MainPage:abstract#Safe_Parallel_programming_in_a_sequential_Language | ''Safe Parallel Programming in a Sequential Language'']], Vijay Saraswat</s>
 
<s>* [[MainPage:abstract#Safe_Parallel_programming_in_a_sequential_Language | ''Safe Parallel Programming in a Sequential Language'']], Vijay Saraswat</s>
 
* Discussion time (30 mins)
 
* Discussion time (30 mins)

Latest revision as of 06:32, 20 January 2010

Attendees list


Brrr
Brrr

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

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