WG211/MeetingTwo - Revision history

Walid at 15:22, 16 December 2011

2011-12-16T15:22:05Z

Walid: /* Schedule */

2011-12-16T15:00:05Z

Schedule

← Older revision		Revision as of 17:00, 16 December 2011
Line 12:		Line 12:

	Talks will be 20 minutes in length, with 10 minutes for questions.		Talks will be 20 minutes in length, with 10 minutes for questions.
	There is information about getting ~~[[WG211/MeetingTwo#FromAirports~~ from the airport to the hotel]] and ~~[[http://www.smart-generators.org/MeetingTwo#FromHotels~~ from the hotel to the meeting location]] at the end of this page.		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====		====Sunday 9:00-10:00====

Walid at 14:58, 16 December 2011

2011-12-16T14:58:09Z

Show changes

Walid at 14:49, 16 December 2011

2011-12-16T14:49:10Z

← Older revision		Revision as of 16:49, 16 December 2011
Line 18:		Line 18:
	Session chair: Doug Smith		Session chair: Doug Smith

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

	[[~~http://www.smart-generators.org/~~M2Taha Regenerative Programming: A New Approach to Data Mining for Software Design]] [[~~http~~:~~//pub.smart-generators.org/MeetingTwo/~~taha.pdf [Presentation]]]		[[M2Taha \|Regenerative Programming: A New Approach to Data Mining for Software Design]] [[Media:taha.pdf\| [Presentation]]]
	----		----
	Walid Taha, Rice University		Walid Taha, Rice University
Line 30:		Line 30:
	Session chair: Laurent Reveillere		Session chair: Laurent Reveillere

	[[~~http://www.smart-generators.org/~~M2Smith Policy Enforcement]] [[~~http~~:~~//pub.smart-generators.org/MeetingTwo/~~Policies%20050305.ppt [Presentation]]]		[[M2Smith \|Policy Enforcement]] [[Media:Policies%20050305.ppt \|[Presentation]]]
	----		----
	Doug Smith, Kestrel Institute <!--Sunday or Monday-->		Doug Smith, Kestrel Institute <!--Sunday or Monday-->

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

	<!--a href=""-->Maintaining Static Invariants using Generalized Algebraic Datatypes in Omega<!--/a-->[[~~http~~:~~//pub.smart-generators.org/MeetingTwo/~~OmegaWG211March2005.pdf [Presentation]]]		<!--a href=""-->Maintaining Static Invariants using Generalized Algebraic Datatypes in Omega<!--/a-->[[Media:OmegaWG211March2005.pdf\| [Presentation]]]
	----		----
	Tim Sheard, Portland State University		Tim Sheard, Portland State University
Line 50:		Line 50:
	Session chair: Cristina Videira Lopes		Session chair: Cristina Videira Lopes

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

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

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

Walid at 14:44, 16 December 2011

2011-12-16T14:44:51Z

← Older revision		Revision as of 16:44, 16 December 2011
Line 2:		Line 2:


	~~<center>~~
	=IFIP ~~[[http://www.smart-generators.org/~~ Working Group 2.11]] Second Meeting=		=IFIP Working Group 2.11 Second Meeting=

	==Schedule==		==Schedule==

	March 6-9, 2005, Houston, Texas		March 6-9, 2005, Houston, Texas
	~~</center>~~
	----		----

Admin: 1 revision

2011-12-12T10:06:29Z

1 revision

New page

[[Category:WG211]]

<center>
=IFIP [[http://www.smart-generators.org/ Working Group 2.11]] Second Meeting=

==Schedule==

March 6-9, 2005, Houston, Texas
</center>
----

Talks will be 20 minutes in length, with 10 minutes for questions.
There is information about getting [[http://www.smart-generators.org/MeetingTwo#FromAirports from the airport to the hotel]] and [[http://www.smart-generators.org/MeetingTwo#FromHotels from the hotel to the meeting location]] at the end of this page.

====Sunday 9:00-10:00====

Session chair: Doug Smith

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

[[http://www.smart-generators.org/M2Taha 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

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

[[http://www.smart-generators.org/M2Smaragdakis 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

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

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

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

[[http://www.smart-generators.org/M2Moggi Program Generation by Linking]]
----
Eugenio Moggi, DISI, University of Genoa

====Sunday 16:00-17:30====

Session chair: Paul H J Kelly

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

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

[[http://www.smart-generators.org/M2Kamin 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

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

[[http://www.smart-generators.org/M2Kelly 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

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

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

[[http://www.smart-generators.org/M2Lengauer 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

[[http://www.smart-generators.org/M2Hammond 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

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

[[http://www.smart-generators.org/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

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

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

[[http://www.smart-generators.org/M2Consel 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

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

[[http://www.smart-generators.org/M2Ball 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.

#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 [[http://www.airportexpresshouston.com/fares.html 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.

#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 [[http://www.rice.edu/maps/ here]] and an interactive map is available [[http://www.rice.edu/maps/buildings.html here]].

===Meeting coordinator===

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

← Older revision		Revision as of 17:22, 16 December 2011
Line 62:		Line 62:
	Harold Ossher, IBM T.J. Watson Research Center		Harold Ossher, IBM T.J. Watson Research Center

	[[WG211/M2Moggi Program Generation by Linking]]		[[WG211/M2Moggi\| Program Generation by Linking]]
	----		----
	Eugenio Moggi, DISI, University of Genoa		Eugenio Moggi, DISI, University of Genoa
Line 70:		Line 70:
	Session chair: Paul H J Kelly		Session chair: Paul H J Kelly

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

	[[WG211/M2Lawall Tarantula: Killing Driver Bugs Before They Hatch]] [[Media:lawallslides.pdf [Presentation]]]		[[WG211/M2Lawall\| Tarantula: Killing Driver Bugs Before They Hatch]] [[Media:lawallslides.pdf \|[Presentation]]]
	----		----
	Julia Lawall, University of Copenhagen		Julia Lawall, University of Copenhagen

	[[WG211/M2Kamin Using Partial Evaluation to Optimize Run-Time Program Generation]] [[Media:Kamin.pdf [Presentation]]]		[[WG211/M2Kamin\| Using Partial Evaluation to Optimize Run-Time Program Generation]] [[Media:Kamin.pdf\| [Presentation]]]
	----		----
	Sam Kamin, University of Illinois		Sam Kamin, University of Illinois
Line 92:		Line 92:
	Session chair: Sam Kamin		Session chair: Sam Kamin

	[[WG211/M2Kennedy Generation of High-Performance Domain-Specific Languages from Component Libraries]] [[Media:Kennedy.pdf [Presentation]]]		[[WG211/M2Kennedy\| Generation of High-Performance Domain-Specific Languages from Component Libraries]] [[Media:Kennedy.pdf\| [Presentation]]]
	----		----
	Ken Kennedy, Rice University <!--Sunday or Monday morning-->		Ken Kennedy, Rice University <!--Sunday or Monday morning-->

	[[WG211/M2Kelly Composition metaprogramming and component metadata]] [[Media:PaulKelly-CompositionMetaprogramming-2005-03.pdf [Presentation]]]		[[WG211/M2Kelly\| Composition metaprogramming and component metadata]] [[Media:PaulKelly-CompositionMetaprogramming-2005-03.pdf\| [Presentation]]]
	----		----
	Paul H J Kelly, Imperial College London		Paul H J Kelly, Imperial College London
Line 104:		Line 104:
	Session chair: Kevin Hammond		Session chair: Kevin Hammond

	[[WG211/M2Cohen Persistent Intermediate Representations for Adaptive Global Optimization]] [[Media:ifip_cohen.pdf [Presentation]]]		[[WG211/M2Cohen\| Persistent Intermediate Representations for Adaptive Global Optimization]] [[Media:ifip_cohen.pdf \|[Presentation]]]
	----		----
	Albert Cohen, INRIA Futurs		Albert Cohen, INRIA Futurs

	[[WG211/M2Herrmann Combining Abstraction and Performance by Metaprogramming]] [[Media:IFIP-2.11-Herrmann.pdf [Presentation]]]		[[WG211/M2Herrmann \|Combining Abstraction and Performance by Metaprogramming]] [[Media:IFIP-2.11-Herrmann.pdf\| [Presentation]]]
	----		----
	Christoph Armin Herrmann, University of Passau		Christoph Armin Herrmann, University of Passau

	[[WG211/M2Lengauer The New EU Network of Excellence CoreGrid]] [[Media:Lengauer-wg2005.ps.gz [Presentation]]]		[[WG211/M2Lengauer \|The New EU Network of Excellence CoreGrid]] [[Media:Lengauer-wg2005.ps.gz\| [Presentation]]]
	----		----
	Christian Lengauer, University of Passau		Christian Lengauer, University of Passau
Line 126:		Line 126:
	Session chair: Krzysztof Czarnecki		Session chair: Krzysztof Czarnecki

	[[WG211/M2Hammond Hume: a Domain-Specific Language for Real-Time Embedded Systems]] [[Media:Hammond-Hume-WG2.11-2005.pdf [Presentation]]]		[[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		Kevin Hammond, University of St. Andrews

	[[WG211/M2Fischer Certifying Automatically Generated Code]] [[Media:WG-2.11%20Fischer.pdf [Presentation]]]		[[WG211/M2Fischer\| Certifying Automatically Generated Code]] [[Media:WG-2.11%20Fischer.pdf\| [Presentation]]]
	----		----
	Bernd Fischer, NASA Ames (demo?)		Bernd Fischer, NASA Ames (demo?)

	[[WG211/M2Demoor Adding tracecuts to AspectJ]]		[[WG211/M2Demoor \|Adding tracecuts to AspectJ]]
	----		----
	Oege de Moor, Oxford University		Oege de Moor, Oxford University
Line 152:		Line 152:
	Session chair: Don Batory		Session chair: Don Batory

	[[WG211/M2Vardi A Game-Theoretic Approach to Automated Program Generation]] [[Media:vardi.pdf [Presentation]]]		[[WG211/M2Vardi \|A Game-Theoretic Approach to Automated Program Generation]] [[Media:vardi.pdf \|[Presentation]]]
	----		----
	Moshe Vardi, Rice University		Moshe Vardi, Rice University

	[[WG211/M2Czarnecki Feature Modeling in Generative Software Development]] [[Media:czarnecki.pdf [Presentation]]]		[[WG211/M2Czarnecki\| Feature Modeling in Generative Software Development]] [[Media:czarnecki.pdf \|[Presentation]]]
	----		----
	Krzysztof Czarnecki, University of Waterloo		Krzysztof Czarnecki, University of Waterloo

	[[WG211/M2Consel A Domain-Specific Language for Telephony Services - A Progress Report]] [[Media:consel.pdf [Presentation]]]		[[WG211/M2Consel\| A Domain-Specific Language for Telephony Services - A Progress Report]] [[Media:consel.pdf \|[Presentation]]]
	----		----
	Charles Consel, INRIA Futurs		Charles Consel, INRIA Futurs
Line 168:		Line 168:
	Session chair: Eelco Visser		Session chair: Eelco Visser

	[[WG211/M2Batory Improving Incremental Development in AspectJ by Bounding Quantification]] [[Media:batory.pdf [Presentation]]]		[[WG211/M2Batory \|Improving Incremental Development in AspectJ by Bounding Quantification]] [[Media:batory.pdf \|[Presentation]]]
	----		----
	Don Batory, University of Texas		Don Batory, University of Texas

	[[WG211/M2Ball A Theory of Predicate-Complete Test Coverage and Generation]] [[Media:ball.pdf [Presentation]]]		[[WG211/M2Ball \| A Theory of Predicate-Complete Test Coverage and Generation]] [[Media:ball.pdf\| [Presentation]]]
	----		----
	Thomas Ball, Microsoft Research		Thomas Ball, Microsoft Research