- 1 IFIP Working Group 2.11, Thirteenth Meeting
IFIP Working Group 2.11, Thirteenth Meeting
March 17-20, 2014, Pittsburgh, USA
The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.
We will meet on the CMU campus, for directions see schedule below.
The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.
The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given). The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a map and schedule.
The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.
We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.
When booking your room, please make sure to use our special rate quote "CIS" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then. For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com
If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at firstname.lastname@example.org to arrange reservations at the university rate.
Registration is now open
- You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.
- The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.
- Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.
- When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk []. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.
Deadline to register is February 16, 2014
Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk.
If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:
- Safely Composable Type-Specific Languages in Wyvern Jonathan Aldrich
- Compiling avionics software with a formally verified compiler Sandrine Blazy (slides)
- What have I been up to? Jacques Carette (slides)
- Orchestrating Masses of Sensors: A Design-Driven Development Approach Charles Consel
- High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification Franz Franchetti (slides)
- Automatic program repair using genetic programming Claire Le Goues
- Using Dependent Types for Parallel Programming Kevin Hammond
- An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation Atsushi Igarashi (slides)
- An Update on Variability-Aware Execution Christian Kaestner
- Progress on run-time specialization for matrix-vector multiplication Samuel Kamin (slides)
- Understanding the Genetic Makeup of Linux Device Drivers Julia Lawall (slides)
- Experiences with Software Language Engineering Classes Ralf Lämmel (slides)
- News from Project ExaStencils Christian Lengauer (slides)
- Semantics, Validation and Verification of DSLs: An Experience Report Mohammadreza Mousavi (slides)
- From Object Algebras to Attribute Grammars Klaus Ostermann
- Spiral for Basic Linear Algebra Markus Püschel (slides)
- Synthesis of Microfluidics Chips using SMT Solvers Derek Rayside (slides)
- PQL: A Purely-Declarative Java Extension for Parallel Programming Christoph Reichenbach (slides)
- Staging for Database Systems: From Query Interpreters to Query Compilers Tiark Romph
- Tinkering is Dead --- Long Live Tinkering Sven-Bodo Scholz
- Object-oriented multi-stage programming Ulrik Schultz (short talk)
- From lazy evaluation to Gibbs sampling Chung-chieh Shan (slides)
- Generative Programming Meets Constraint Based Synthesis Armando Solar-Lezama (slides as pptx)
- Binding Time Analysis in Acumen Walid Taha (slides)
- AbleC: Modular and Composable Language Extensions for C Eric Van Wyk (slides)
The meeting is in GHC 4405 (Gates-Hillman Center, picture of the building; building 9B on the campus map). The room is near the entrance from Forbes Ave on the 4th floor. There are signs guiding you through the building to this room number. To get there from the hotel, simply follow Forbes Avenue until you see the CMU campus and the Gates-Hillman Building (there are several breakfast/coffee places along this road).
There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds. Overall schedule including lunch and dinner arrangements (first draft):
Monday (7 talks)
- 8.30-9.15: Welcome
- 9.15-10.00: Talks (1) by Markus Püschel (unless otherwise noted, all other talks are scheduled dynamically)
- 10.30-12.00: Talks (2)
- Lunch (Sandwiches from Eat Unique)
- 13.30-15.00: Talks (2)
- 15.30-17.00: Talks (2), one of which is by Franz Franchetti
- 18:15: meet in hotel lobby
- 18:20: take shuttle/taxis to dinner
- 18:30: Dinner at Up
Tuesday (6 talks, business meeting)
- 8.30-10.00: Talks (2)
- 10.30-12.00: Talks (2)
- Lunch at The Porch
- 13.45-15.15: Talks (2)
- 15-45-17.00: Business meeting
- 18:25: meet in hotel lobby
- 18:30: take shuttle/taxis to dinner
- 18:45: Dinner at Church Brew Works
Wednesday (6 talks, excursion)
- 8.30-10.00: Talks (2), one of which is a local guest talk by Jonathan Aldrich
- 10.30-12.00: Talks (2)
- Lunch (Pasta Bar)
- 13.30-14.30: Short Talks (2)
- Afternoon excursion:
Thursday (4 talks)
- 8.30-10.00: Talks (2), one of which is a local guest talk by Claire Le Goues
- 10.30-12.00: Talks (2)
- Lunch at Ali Baba
Optional extra excursion:
- Visit the Nationality Rooms and go up to the 36th floor (view) in the Cathedral of Learning (near campus, entrance free, guided tours available)
- Visit the Carnegie Museums of Art and Natural History (next to campus, 18 USD)
- Visit the Phipps Conservatory (next to campus, 15 USD)
Sharing a taxi from the airport to the hotel
Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.
Listed in order of arrival:
- Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK
- Ulrik Pagh Schultz - arriving Saturday at 21:40 US1838 from Philadelphia
- Kevin Hammond - arriving Sunday at 18:06 on flight US0787 from Charlotte, NC (CLT)
- Chris Lengauer - arriving Sunday at 21:40 on US 1838 from Philadelphia
- Eric Van Wyk - arriving Sunday at 23:00 on flight AA 4499 from DC
Sharing a taxi from the hotel or university to the airport
- Add your name and time of departure here if you are interested in sharing a taxi back to the airport.
Kevin Hammond: I'm flying back on Sunday (1535 flight). I was thinking of hiring a car after the meeting and heading out to the Gettysburg civil war battlefield on Saturday, staying over for a couple of nights (Fri/Sat) and driving back to the airport on Sunday. I might stop at FallingWater on the way there (Friday). If anyone wants to join me, please contact me!
Sunday trip to Fallingwater
Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.
For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.
Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz