Planning London 2012

Working Group on Language Design
The meeting will be held in London

  • Venue: Imperial College, London
  • Time: Monday, February 27 to Friday, March 2 until lunch.
  • Local organizer: Susan Eisenbach

Accommodation

We'll be meeting at Imperial College, London. Imperial maintains a web page for booking hotels with competitive rates:

http://www.imperial.ac.uk/conferences/hotel_dir.asp?campus_id=sk

The hotel we used last time (for the ECOOP PC meeting) was:

Grange Strathmore Hotel 41 Queen's Gate Gardens, London SW7 5NB

Another option - especially as funding seems ever tighter these days - is a hotel booking service - this one is apparently quite good:

http://www.booking.com/city/gb/london.html?aid=303948;label=london-HIOSi_4bM_KpzVbmtWDxsAS7897554141;ws=&gclid=COqVv-Cj86wCFUUPfAod9Dg3Bw

Workshop fee

The workshop fee covers food coffee, lunch, dinner, and an outing to the Design Museum. The cost is £285 + 1.345% credit card fee. Credit card payment can be made here:

http://www.imperial.ac.uk/click/1430

Getting there

The closest underground station to Imperial College is South Kensington. The workshop will be in 219A William Penny Lab. This is off the main walkway on the right as can be seen on the Campus Map:

http://www3.imperial.ac.uk/computing/about/gettinghere

Alternatively, you can take the underground to Gloucester Road station and then come into the main Computing Building at 180 Queen's Gate. Go up the main staircase and then exit onto the main walkway. The William Penny lab will be on your left (after passing a couple of other buildings).

Members

Name Will Attend Talk Notes
Andrew Black x    
Gilad Bracha x    
Kim Bruce x    
William R. Cook Managed Data: Rolling You Own Data Structuring Mechanism  
Tom Van Cutsem Evolution in programming language design?  
Dan Ingalls x    
Jonathan Edwards Problems of Application Programming  
Susan Eichenbach Shared Memory Concurrency: Lock Inference  
Erik Ernst Working with stack intervals rather than invocations, applied to data structure traversal  
Robby Findler x    
Mathew Flatt x    
Crista Lopes x    
Erik Meijer x    
Jan-Willem Maessen TBD Brainstorming on this
Mark S. Miller x    
James Noble State of Grace  
Mads Torgersen x    
David Ungar x    
Eelco Visser Evaluating Language Design  
Alessandro Warth x    

Visitors

Name Will Attend Talk Notes
Tijs van der Storm Language Design Smells  
Daan Leijen effect language and/or cloud programming with revisions  
Stefan Hanenberg Controlled experiments for the empirical evaluation of programming language constructs: type systems as an example  
Sean McDirmid Escape from the maze of twisty classes  
John Field ?    
Robert Hirschfeld Design Thinking  
Don Syme    
Jonathan Aldrich Permission-Based Programming  
Sophia Drossopoulou    
Roberto Ierusalimschy    
Magne Haveraaen Can I reason about the code?  

Discussion Topics

  • Evaluation of Language Design (Eelco Visser)
  • Language design for cloud computing (Tom van Cutsem)

Tentative Schedule

Monday
9:00-12:00 introductions
12:00-14:00 lunch
14:00-17:00 talks
19:00 dinner
Tuesday
9:00-12:00 talks
12:00-14:00 lunch
14:00-17:00 talks
19:00 dinner
Wednesday
9:00-12:00 talks
12:00-22:00 excursion + dinner
Thursday
9:00-12:00 talks
12:00-14:00 lunch
14:00-17:00 talks
19:00 dinner
Friday
9:00-12:00 talks
12:00-14:00 lunch (optional)

WGLD.PlanningLondon2012 moved from WGLD.London2012 on 05 Mar 2012 - 15:39 by JonathanEdwards - put it back