IFIP Working Group 2.11 Second Meeting

Schedule

March 6-9, 2005, Houston, Texas

---

Talks will be 20 minutes in length, with 10 minutes for questions. There is information about getting from the airport to the hotel and from the hotel to the meeting location at the end of this page.

Sunday 9:00-10:00

Session chair: Doug Smith

Towards Extensible Program Transformation Systems [[http://pub.smart-generators.org/MeetingTwo/Visser-WG211-2005.pdf [Presentation]]]--- Eelco Visser, Utrecht University

Regenerative Programming: A New Approach to Data Mining for Software Design [[http://pub.smart-generators.org/MeetingTwo/taha.pdf [Presentation]]]--- Walid Taha, Rice University

Sunday 10:30-12:00

Session chair: Laurent Reveillere

Policy Enforcement [[http://pub.smart-generators.org/MeetingTwo/Policies%20050305.ppt [Presentation]]]--- Doug Smith, Kestrel Institute

Statically Safe Meta-Programming [[http://pub.smart-generators.org/MeetingTwo/ifipwg-mar05-formatted.pdf [Presentation]]]--- Yannis Smaragdakis, Georgia Tech

Maintaining Static Invariants using Generalized Algebraic Datatypes in Omega[[http://pub.smart-generators.org/MeetingTwo/OmegaWG211March2005.pdf [Presentation]]]--- Tim Sheard, Portland State University

Sunday 12:00-13:15

Lunch: Goode Company BBQ, 5109 Kirby Dr, phone: 713.522.2530

Sunday 13:30-15:30

Session chair: Cristina Videira Lopes

Generative Programming from a DSL Viewpoint [[http://pub.smart-generators.org/MeetingTwo/Reveillere.pdf [Presentation]]]--- Laurent Reveillere, INRIA Futurs

Synchronizing Periodic Clocks in Kahn Networks [[http://pub.smart-generators.org/MeetingTwo/Pouzet.pdf [Presentation]]]--- Marc Pouzet, Universite Pierre et Marie Curie

Concepts for Describing Composition of Software Artifacts [[http://pub.smart-generators.org/MeetingTwo/ossher.pdf [Presentation]]]--- Harold Ossher, IBM T.J. Watson Research Center

Program Generation by Linking--- Eugenio Moggi, DISI, University of Genoa

Sunday 16:00-17:30

Session chair: Paul H J Kelly

Aspect-Specific Languages [[http://pub.smart-generators.org/MeetingTwo/lopes1.pdf [Presentation]]] and An Economics-Based Model for Assessing Program Modularity [[http://pub.smart-generators.org/MeetingTwo/lopes2.pdf [Presentation]]]--- Cristina Videira Lopes, University of California

Tarantula: Killing Driver Bugs Before They Hatch [[http://pub.smart-generators.org/MeetingTwo/lawallslides.pdf [Presentation]]]--- Julia Lawall, University of Copenhagen

Using Partial Evaluation to Optimize Run-Time Program Generation [[http://pub.smart-generators.org/MeetingTwo/Kamin.pdf [Presentation]]]--- Sam Kamin, University of Illinois

Sunday 19:00-21:00

Dinner: Benjy's, 2424 Dunstan, phone: 713.522.7602.

Bus to pick up at Best Western at 7:00 p.m. Bus to return to Best Western at 9:00 p.m.

Monday 9:00-10:00

Session chair: Sam Kamin

Generation of High-Performance Domain-Specific Languages from Component Libraries [[http://pub.smart-generators.org/MeetingTwo/Kennedy.pdf [Presentation]]]--- Ken Kennedy, Rice University

Composition metaprogramming and component metadata [[http://pub.smart-generators.org/MeetingTwo/PaulKelly-CompositionMetaprogramming-2005-03.pdf [Presentation]]]--- Paul H J Kelly, Imperial College London

Monday 10:30-12:00

Session chair: Kevin Hammond

Persistent Intermediate Representations for Adaptive Global Optimization [[http://pub.smart-generators.org/MeetingTwo/ifip_cohen.pdf [Presentation]]]--- Albert Cohen, INRIA Futurs

Combining Abstraction and Performance by Metaprogramming [[http://pub.smart-generators.org/MeetingTwo/IFIP-2.11-Herrmann.pdf [Presentation]]]--- Christoph Armin Herrmann, University of Passau

The New EU Network of Excellence CoreGrid [[http://pub.smart-generators.org/MeetingTwo/Lengauer-wg2005.ps.gz [Presentation]]]--- Christian Lengauer, University of Passau

Monday 12:00-13:15

Lunch: Amazon Grill, 5114 Kirby Dr., phone: 713.522.5888

Bus Pick-up at 12:00 p.m. outside Duncan Hall. Board bus at 13:15 p.m. to return to Duncan Hall.

Monday 13:30-15:00

Session chair: Krzysztof Czarnecki

Hume: a Domain-Specific Language for Real-Time Embedded Systems [[http://pub.smart-generators.org/MeetingTwo/Hammond-Hume-WG2.11-2005.pdf [Presentation]]]--- Kevin Hammond, University of St. Andrews

Certifying Automatically Generated Code [[http://pub.smart-generators.org/MeetingTwo/WG-2.11%20Fischer.pdf [Presentation]]]--- Bernd Fischer, NASA Ames (demo?)

Adding tracecuts to AspectJ--- Oege de Moor, Oxford University

Monday 15:30-17:30

Discussion

Monday 19:30

Dinner: Julia's Bistro, 3722 Main Street, phone: 713.807.0090.

Take the light rail (boarding station is across the street from Best Western) and exit at the HCC/Ensemble station stop. Walk one block south on West Alabama. Use the light rail to return to Best Western

Tuesday 9:00-10:30

Session chair: Don Batory

A Game-Theoretic Approach to Automated Program Generation [[http://pub.smart-generators.org/MeetingTwo/vardi.pdf [Presentation]]]--- Moshe Vardi, Rice University

Feature Modeling in Generative Software Development [[http://pub.smart-generators.org/MeetingTwo/czarnecki.pdf [Presentation]]]--- Krzysztof Czarnecki, University of Waterloo

A Domain-Specific Language for Telephony Services - A Progress Report [[http://pub.smart-generators.org/MeetingTwo/consel.pdf [Presentation]]]--- Charles Consel, INRIA Futurs

Tuesday 11:00-12:00

Session chair: Eelco Visser

Improving Incremental Development in AspectJ by Bounding Quantification [[http://pub.smart-generators.org/MeetingTwo/batory.pdf [Presentation]]]--- Don Batory, University of Texas

A Theory of Predicate-Complete Test Coverage and Generation [[http://pub.smart-generators.org/MeetingTwo/ball.pdf [Presentation]]]--- Thomas Ball, Microsoft Research

Tuesday 12:00-13:15

Lunch: Kubo's Japanese Grill at 2414 University Dr., phone: 713.528.7878

Bus Pick-up at 12:00 p.m. outside Duncan Hall. Board bus at 13:15 p.m. to go to the Museum of Natural Science at One Hermann Circle Drive. Bus Pick up outside Museum at 5:00 p.m. to go to the Best Western.

Tuesday 13:15-17:00

Excursion

Tuesday 19:30

Dinner: T'afia, 3701 Travis Street, phone: 713.524.6922.

Take the light rail (boarding station is across the street from Best Western) and exit at the HCC/Ensemble station stop. Walk south towards West Alabama. Take a right on Winbern and head towards Travis Street. T'afia is between Winbern and West Alabama. Use the light rail to return to the Best Western.

Wednesday 9:00-10:00

Discussion

Wednesday 10:30-12:00

Discussion

Wednesday 12:00-13:15

Lunch: Jalapenos Restaurant, 2702 Kirby Drive, phone: 713.524.1668

Bus Pick-up at 12:00 p.m. outside Hermann Brown Hall. Board bus at 13:15 p.m. to return to Hermann Brown Hall.

From Houston airports to the hotels

The "Medical Center Area" is where Rice is and where the hotels are. If you arrive at either of the two main airports (Bush IAH or Houston Hobby), you can get into this area by either the "Express Shuttle" (713) 523-8888 or a taxi. If you are traveling alone, the Express Shuttle is the best way to get here. From Bush IAH it will cost $20 (instead of $50+ for a taxi), and from Hobby it will cost $15. You can find out the most recent prices here.

If you take the shuttle, ask them to drop you off either at your hotel (Hilton/Holiday Inn/Warwick/Best Western/etc.) or at the Medical Center. Please make sure that you say "Medical Center", as that is the name of the area! From Bush IAH it should be about a 35-45 minute ride. From Houston Hobby it should be about a 20 minute ride.

If you are coming directly to Rice, you can also ask the shuttle to drop you off at Entrance 16 to Rice. Once you are there, you pretty much walk straight into the university until you get to Duncan Hall. This is the computer science building.

From the hotels to the meeting location

All meetings will take place in DH 3076 except on Wednesday, when all meetings will take place in conference room 223 in Herman Brown.

The Medical Center Best Western (6700 South Main Street) has a shuttle that can bring visitors to Duncan Hall at Rice. It's only a 15 passenger van, but they are happy to make two trips. Rice is about five minutes away so groups of guests should count on staggering the trip by about 15 minutes.

A printable map is available here and an interactive map is available here.

Meeting coordinator

Emir Pasalic: e-mail: pasalic@cs.rice.edu