Difference between revisions of "Main Page"

From WorkshopOnDeterministicMultiprocessingAndParallelProgramming
Jump to: navigation, search
(Monday, November 30th)
 
(47 intermediate revisions by 2 users 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 =
  
 
== Monday, November 30th ==
 
== Monday, November 30th ==
 +
 +
'''8:00am''' : ''Breakfast''
  
 
'''8:45-9am''': ''Opening Remarks'' - Luis and Vikram
 
'''8:45-9am''': ''Opening Remarks'' - Luis and Vikram
Line 9: Line 15:
 
'''9:00-10:50''': ''Programming Models 1: General Imperative Languages''
 
'''9:00-10:50''': ''Programming Models 1: General Imperative Languages''
  
* [[MainPage:abstract#Rethinking_Parallel_Execution_for_Multicore_Processors | ''Rethinking Parallel Execution for Multicore Processors'']], Guri Sohi
+
* [[MainPage:abstract#Rethinking_Parallel_Execution_for_Multicore_Processors | ''Rethinking Parallel Execution for Multicore Processors'']], Guri Sohi. [[Media:Sohi-Wodet.ppt | presentation]]
* 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  
+
*  [[MainPage:abstract#Deterministic_Parallel_Java | ''Disciplined Support for Deterministic and Non-deterministic Parallelism'']], Vikram Adve [[Media:WoDet09-Adve.pdf | presentation]]
 
*  ''Discussion time'' (30 mins)
 
*  ''Discussion time'' (30 mins)
  
 
'''10:50-11:05''': ''Break''
 
'''10:50-11:05''': ''Break''
  
'''11:05- 12:55''': ''Programming Models 2: Data-parallel / Dataflow Languages''
+
'''11:05- 12:30''': ''Programming Models 2: Data-parallel / Dataflow Languages''
* Guy Blelloch
+
* ''Functional Collection-Oriented Programming'', Guy Blelloch [[Media:Wodet-Blelloch.ppt | presentation]]
* Anwar Ghuloum
+
* ''Ct: Supporting Safe, Modular, and Portable Data Parallel Programming'', Anwar Ghuloum [[Media:WoDet09-Ghuloum.ppt | presentation]]
* Kath Knobe
+
* [[MainPage:abstract#Concurrent_Collections_.28CnC.29:_a_deterministic_parallel_language | ''Concurrent Collections (CnC): a deterministic parallel language'']], Kath Knobe [[Media:WoDet09-Knobe.ppt | presentation]]
* David August
+
* ''Discussion time'' (25 mins)
* ''Discussion time'' (30 mins)
 
  
'''12:55-2:00''':''Lunch''
+
'''12:30-1:45''':''Lunch''
  
'''2:00-3:40''': ''Execution-level Determinism''
+
'''1:45-3:40''': ''Execution-level Determinism''
 
* [[MainPage:abstract#Grace:_Safe_Multithreaded_Programming_for_C.2FC.2B.2B | ''Grace: Safe Multithreaded Programming for C/C++'']], Emery Berger
 
* [[MainPage:abstract#Grace:_Safe_Multithreaded_Programming_for_C.2FC.2B.2B | ''Grace: Safe Multithreaded Programming for C/C++'']], Emery Berger
* ''Deterministic Multithreading'', Saman Amarasinghe
+
* ''Deterministic Multithreading'', Saman Amarasinghe [[Media:WoDet09-Amarasinghe.ppt | presentation]]
* [[MainPage:abstract#Deterministic_Shared_Memory_Multiprocessing | ''Deterministic Shared Memory Multiprocessing'']], Joe Devietti
+
* [[MainPage:abstract#Deterministic_Shared_Memory_Multiprocessing | ''Deterministic Shared Memory Multiprocessing'']], Joe Devietti [[Media:WoDet09-devietti.pdf | presentation]]
 
* [[MainPage:abstract#Simple_Architectural_Support_for_Determinism | ''Simple Architectural Support for Determinism'']], Josep Torrellas
 
* [[MainPage:abstract#Simple_Architectural_Support_for_Determinism | ''Simple Architectural Support for Determinism'']], Josep Torrellas
* ''Discussion time'' (25 mins)
+
* ''Discussion time'' (35 mins)
  
 
'''3:40-4:00''': ''Break''
 
'''3:40-4:00''': ''Break''
Line 43: Line 48:
  
 
== Tuesday, December 1st ==
 
== Tuesday, December 1st ==
 +
 +
'''8:00am''' : ''Breakfast''
  
 
'''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
+
* ''Axum: Getting the Genie Back Into the Lamp'', Niklas Gustafson [[Media:WoDet09-gustafson.pdf | presentation]]
* Vijay Saraswat
+
* ''Concurrent Collections are Deterministic'', Jens Palsberg [[Media:WoDet09-palsberg.pdf | presentation]]
 
* ''Discussion time'' (30 mins)
 
* ''Discussion time'' (30 mins)
  
 
'''10:30-11:00''': ''Break''
 
'''10:30-11:00''': ''Break''
  
'''11:00-12:30''': ''Compiler Techniques''
+
'''11:00-12:00''': ''Compiler Techniques''
* ''Concurrent Collections are Deterministic'', Jens Palsberg
+
* [[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]]
* 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]]
* ''CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution'', Tom Bergan
+
* ''Discussion time'' (20 mins)
* ''Discussion time'' (30 mins)
+
 
 +
'''12:00-1:00''': ''Lunch''
  
'''12:30-1:30''': ''Lunch''
+
'''1:00- 2:10''': ''Testing''
 +
* [[MainPage:abstract#Concurrency_unit_testing | ''Concurrency Unit Testing'']], Shaz Qadeer [[Media:WoDet09-qadeer.pdf | presentation]]
 +
* ''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>
 +
* Discussion time (30 mins)
  
'''1:30- 2:30''': ''Testing''
+
'''2:10-2:30''': ''Break''
* 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.''
 
'''2:30- 4:00''': ''Debate 2: There is a free lunch: you can have strong safety guarantees with little programmer effort.''
Line 77: Line 86:
 
= Travel Information =
 
= Travel Information =
  
'''Directions to the Allen Center''': You can find directions by car and bus [http://www.cs.washington.edu/info/public/ 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.
+
''Location'' : Gates Commons, Paul Allen Center for Computer Science and Engineering, University of Washington. You can find directions by car and bus [http://www.cs.washington.edu/info/public/ 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
 
'''Air Ticket''': Please book your ticket directly.  The workshop starts

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