Revision as of 16:00, 16 December 2011

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 [Presentation]

Eelco Visser, Utrecht University

Regenerative Programming: A New Approach to Data Mining for Software Design [Presentation]

Walid Taha, Rice University

Sunday 10:30-12:00

Session chair: Laurent Reveillere

Policy Enforcement [Presentation]

Doug Smith, Kestrel Institute 

Statically Safe Meta-Programming [Presentation]

Yannis Smaragdakis, Georgia Tech

Maintaining Static Invariants using Generalized Algebraic Datatypes in Omega [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 [Presentation]

Laurent Reveillere, INRIA Futurs

Synchronizing Periodic Clocks in Kahn Networks [Presentation]

Marc Pouzet, Universite Pierre et Marie Curie

Concepts for Describing Composition of Software Artifacts [Presentation]

Harold Ossher, IBM T.J. Watson Research Center

WG211/M2Moggi Program Generation by Linking

Eugenio Moggi, DISI, University of Genoa

Sunday 16:00-17:30

Session chair: Paul H J Kelly

Aspect-Specific Languages [[Presentation]] and WG211/M2Lopes2 An Economics-Based Model for Assessing Program Modularity [[Media:lopes2.pdf [Presentation]]]

Cristina Videira Lopes, University of California

WG211/M2Lawall Tarantula: Killing Driver Bugs Before They Hatch [[Media:lawallslides.pdf [Presentation]]]

Julia Lawall, University of Copenhagen

WG211/M2Kamin Using Partial Evaluation to Optimize Run-Time Program Generation [[Media: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

WG211/M2Kennedy Generation of High-Performance Domain-Specific Languages from Component Libraries [[Media:Kennedy.pdf [Presentation]]]

Ken Kennedy, Rice University 

WG211/M2Kelly Composition metaprogramming and component metadata [[Media:PaulKelly-CompositionMetaprogramming-2005-03.pdf [Presentation]]]

Paul H J Kelly, Imperial College London

Monday 10:30-12:00

Session chair: Kevin Hammond

WG211/M2Cohen Persistent Intermediate Representations for Adaptive Global Optimization [[Media:ifip_cohen.pdf [Presentation]]]

Albert Cohen, INRIA Futurs

WG211/M2Herrmann Combining Abstraction and Performance by Metaprogramming [[Media:IFIP-2.11-Herrmann.pdf [Presentation]]]

Christoph Armin Herrmann, University of Passau

WG211/M2Lengauer The New EU Network of Excellence CoreGrid [[Media: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

WG211/M2Hammond Hume: a Domain-Specific Language for Real-Time Embedded Systems [[Media:Hammond-Hume-WG2.11-2005.pdf [Presentation]]]

Kevin Hammond, University of St. Andrews

WG211/M2Fischer Certifying Automatically Generated Code [[Media:WG-2.11%20Fischer.pdf [Presentation]]]

Bernd Fischer, NASA Ames (demo?)

WG211/M2Demoor 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

WG211/M2Vardi A Game-Theoretic Approach to Automated Program Generation [[Media:vardi.pdf [Presentation]]]

Moshe Vardi, Rice University

WG211/M2Czarnecki Feature Modeling in Generative Software Development [[Media:czarnecki.pdf [Presentation]]]

Krzysztof Czarnecki, University of Waterloo

WG211/M2Consel A Domain-Specific Language for Telephony Services - A Progress Report [[Media:consel.pdf [Presentation]]]

Charles Consel, INRIA Futurs

Tuesday 11:00-12:00

Session chair: Eelco Visser

WG211/M2Batory Improving Incremental Development in AspectJ by Bounding Quantification [[Media:batory.pdf [Presentation]]]

Don Batory, University of Texas

WG211/M2Ball A Theory of Predicate-Complete Test Coverage and Generation [[Media: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.

1. FromAirports

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.

1. FromHotels

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]