WG211/M7Schedule
IFIP Working Group 2.11 Seventh Meeting
April 15-17, 2009, Mountain View, California
Contents
Registration
[Registration]. The fee is $180. Please register by March 20.
Meeting schedule
Each day will start with coffee and light refreshments at 8:30, and end at 5pm at the latest. The meeting will end with lunch on Friday, April 17. For those who are still aroud, there will be a visit to the computer history museum in the afternoon.
Accomodations
The Hampton Inn is a decent business hotel with good access to downtown, costs about $130/night, and within walking distance of the venue.
<a href="http://www.hamptoninn.com/en/hp/hotels/index.jhtml?ctyhocn=NUQCAHX"> http://www.hamptoninn.com/en/hp/hotels/index.jhtml?ctyhocn=NUQCAHX</a>
Alternatively, you can stay at the NASA lodge, which is actually on the NASA campus:
<a href="http://naccenter.arc.nasa.gov/lodging.html"> http://naccenter.arc.nasa.gov/lodging.html</a>
You will need to tell them which meeting you're attending, and show ID when you check in (you need ID to get into NASA anyway). Ask for the "main building", which is the nicer of the two.
Fly to either San Francisco (SFO) or San Jose (SJC). San Jose is closer but you will not be able to get a direct flight to Europe. If you have to change somewhere in the US, then you might as well fly to San Jose. There are usually evening/late afternoon flights out of SFO to the major European hubs. From SFO you can get the train to Mountain View. A taxi from SFO will cost about $120. A shared shuttle (bus not space) will be considerably less. From SJC, a taxi will be about $50. The meeting is being held at the NASA Ames Research Center, which is in Moffett field, a government base next to the city of Mountain View. To get to Mountain View from SFO you have 3 options: rental car, shuttle, Caltrain. If you're staying at the NASA lodge, then it's probably best to get a shuttle directly there (or drive) because you would still have to get from the train station in Mountain View to Moffett Field. Driving directions from SFO to Mountain View and Ames: [SFO -> Mountain View] Walking directions: [Lodge to NACC] [Mountain View to NACC] [Caltrain] To get to the Caltrain station near the airport you have to first get to the BART station (the Bay Area metro system) and, depending on your terminal, you might have to first get the airport airtrain (http://www.flysfo.com/web/page/atsfo/airtrain/index.html). [The SFO BART Station] is located on the Departures/Ticketing Level of the International Terminal (Boarding Area G side). BART is easily accessed from any terminal by riding [SFO's AirTrain] to the Garage G/BART Station stop. So, to summarize: 1. AirTrain (depending on terminal), 2. BART: one stop from SFO to Millbrae, 3. Caltrain: from Millbrae to Mountain View (14 stops - about 1 hour). Depending on what train you get, it may not stop at all of them Make sure you get Caltrain and BART tickets before you get on the train. However, the connections are not wonderful so this is the best option if you are in particular need of cooling your posterior after a long flight. The Mountain View Caltrain station is in downtown. Shuttles: [Shuttle information] Shuttles, or "shared vans", are shared taxis that leave as soon as they're full. A "limousine" (not as nice as it sounds) is usually not shared, and offers a fixed price from the airport. But some shuttles call themselves limousines. Both shuttle and limousine drivers expect a tip. Shuttle Companies are constantly circling the inner circle of the SFO Complex. The airport tends not to be too busy during the late hours of a week night, but it will not be deserted. It is best to not give your bag to a driver until you have agreed on a price and how long the van will wait for other passengers before leaving. Best value shuttle: South and East Bay Shuttle Shared Shuttle: $39 minimal + $6 for each additional person at the airport and $22 minimal +$6 for each additional person if you reserve ahead of time or online Contact: www.southandeastbayairportshuttle.com (800) 548-4664 ? Local Number: (408) 225-4444 Good Alternative: Supershuttle Shared Shuttle: $39 minimal + 9 for each additional person at the airport and $32.00 + $9.00 each additional person if you reserve ahead of time or online. Contact: www.supershuttle.com (800)-BLUE-VAN - Local Numbers: (650) 558-8500, (408) 558-9500 These companies are also available if you're flying into San Jose (SJC). Other travel information is available [here]
Ride sharing
Please enter your arrival time here, if you would like to find others arriving at the same time, to share a ride.
Chris Lengauer, April 14, at 21:45 on NW347 from Detroit. Departing April 18 from SFO at 08:20 on NW 340
Yannis Smaragdakis, arriving SFO, April 14 11:35pm on American 1575 from Dallas.
Sven Apel, arriving SFO, April 14 13:05pm on KL 605 from Amsterdam
Eric Van Wyk, arriving San Jose, April 14 at 7:17pm on flight NW 1078.
Tony Sloane, arriving SFO, April 14 at 11:01am on UA0870 from Sydney
Laurent Reveillere, arriving SFO, April 14 at 12:40pm on AF0084 from Paris
Jacques Carette, arriving SFO, April 14 at 7:58PM on AC739 (UA8491) from Toronto. Krzysztof Czarnecki informs me he is on the same flight.
Attendees
Registered so far: Apel, Bodik, Carette, Cook, Czarnecki, Denney, Fischer, Green, Herrmann, Kamin, Kelly, Kiselyov, Lawall, Lengauer, Lopes, R�veill�re, Shan, Sheard, Sloane, Smaragdakis, Smith, Stump, Taha, Van Wyk, Weirich
Program
To enter your title and abstract, instantiate a copy of the code below, removing the "-"s between the [ [ and ] ], and filling in your name and the talk title. If you click on the link, it should give you the option to create a page on which you can enter your abstract.
[-[WG211/M7Name*][Talk title]-] Name
Schedule
Wednesday
9:15-12:00
FeatureHouse: Language-Independent, Automated Software Composition Sven Apel (slides)
Implementing feature algebra in logics Krzysztof Czarnecki
Lenses for code Krzysztof Czarnecki
Timing Verification of Hume Box Compositions via Abstractions in Agda2 Christoph Herrmann
1:30-3:00
Typing program generators using the record calculus Sam Kamin (with T. Baris Aktemur) (slides)
Adventures in Dependently-Typed Metatheory Stephanie Weirich (slides)
3:30-4:45
Verifiable Composition of Grammars Eric Van Wyk (slides)
A Pure Object-Oriented Embedding of Attribute Grammars Tony Sloane (slides)
Thursday
9:15-12:00
SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata Paul H J Kelly (slides)
Enforcing the Use of API Functions in Linux Code Julia Lawall (slides)
Automatic Generation of Network Protocol Gateways Laurent R�veill�re
Slice, Partition, and Reforest for Data Access and Distribution William R. Cook (slides)
1:30-3:00
Calculating Refinements in Algorithm and System Design Doug Smith
Modern Mechanized Mathematics Jacques Carette (slides)
3:30-4:45
Self-applicable probabilistic inference without interpretive overhead Oleg Kiselyov and Chung-chieh Shan (slides)
Purifying Natural Deduction Using Sequent Calculus Aaron Stump (slides)
Friday
9:15-12:00
Sparse Bitmaps for pattern match coverage Tim Sheard
Expressive and Safe Static Reflection with MorphJ Yannis Smaragdakis (slides)
Program Synthesis by Sketching Rastislav Bodik (slides)