WG 2.11 - User contributions [en]

WG211/M21Schedule

2022-08-16T04:28:24Z

Walid: Added title and link to abstract for talk by Walid Taha on Bean Machine

=IFIP Working Group 2.11, Twenty-first Meeting=

== August 15th-18th in Odense, Denmark ==

The meeting will be held in Odense, Denmark, hosted by Ulrik Pagh Schultz Lundquist.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

=== Venue ===

The meeting will take place at the main campus of the [https://www.sdu.dk University of Southern Denmark] located in the city of Odense, in the meeting room [https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/560156db423b7e2140a27614 Ellehammer] which is in the main building of [https://goo.gl/maps/zVR7MU66e7yxjBca9 The Faculty of Engineering] (building 42).

To get to the main campus there is both a city bus and a tram ("letbane") that leaves from the city center/train station and stops at the university. Both have frequent departures morning and afternoon, and operate most of the day. The tram is easier to use and takes you precisely where you need to go, so this is the recommended option.
* For the tram, when starting in the city center you should take it in the direction "Hjallese" (there is only a single line, so provided you go in the right direction, you're fine). The stop named "SDU University" is closest to the meeting room. From there walk up the stairs and enter the building, then turn right and keep walking in the same direction, using bridges to cross between buildings (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). When you cannot get any further in the same direction, you will basically need to get one level up, and then you will be at Ellehammer. There will be signs at this point showing you which way to go, but basically just turn right and use the stairway that you can find on your left.
* For the bus you simply get off at the the university, which will usually be the terminus. From there it takes 5 minutes to walk to the meeting room (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). Enter through the main entrance as indicated on the map, and walk up the huge orange stairs, turn right, and you will be at Ellehammer.
* You can also walk from the city center, it's a safe walking area and google maps provides useful pedestrian instructions.
Call or text Ulrik on +4540797629 if you need help.

There are a number of options for tickets:
* Plain old paper tickets: Tickets can be purchased at the train station and in the university bookstore.
* Rejsekort: you can use a pre-paid card [https://www.rejsekort.dk/?sc_lang=en "Rejsekort"] that works with all Danish publish transportation and can be bought at train stations (the [https://www.rejsekort.dk/Bestil/Rejsekort-anonymt "Anonymous" version]).
* The [https://www.fynbus.dk/?lang=29 FynBus mobile phone app].
* Online ticket from the [https://webshop.fynbus.dk FynBus webshop].
The cheapest option seems to be the 72-hour tourist ticket plus a 24-hour tourist ticket. When using the "Rejsekort" on the Odense tram each ticket costs DKK 18 (so make sure to pre-load it with at least 36 DKK before starting out in the morning), whereas it costs DKK 24 with the app. You don't need to show your tickets when using the tram, but should be able to show it on request. You can read more about tickets for the tramway at the official website [https://www.odenseletbane.dk/billetter/tickets-and-travel-info-in-english Odense Letbane]. With the "Rejsekort" you need to check in/check out yourself, read more about it at the [https://www.rejsekort.dk/en/Hjaelp/Kom-godt-i-gang Rejsekort website].

=== Travel ===

The easiest way to travel to Odense is via Copenhagen International Airport. From the airport a 2-hour direct train ride will take you to the center of Odense, with hotels located within walking distance from the train station.

Tickets can be bought from vending machines at the airport, or you can use the aforementioned "Rejsekort" if you have enough money on it (at least DKK 300 if you want to use it for the trip to Odense). You can also buy a ticked in advance at [https://www.dsb.dk/en/ dsb.dk], use "CPH lufthavn" as starting point and "Odense St." as destination. Reserved seats are optional but are definitely recommended in rush hour e.g. Monday morning. There is also an app "DSB" (iPhone, android), where you can buy tickets electronically. If you buy a ticked well in advance for non-rush-hour times, you can get "Orange" tickets which are significantly cheaper but cannot be refunded or changed, or sometimes "Orange Fri" which are also cheaper and can be freely changed up to 30 minutes before departure. Rather than buying combined return ticket, you are recommended to buy separate tickets (there is no price reduction in buying them as a return ticket, and having two separate tickets means you can cancel one without cancelling the other).

=== Accommodation ===

We recommend that you stay at [https://hotelodeon.dk/en/ Hotel Odeon] in the center of Odense. It's conveniently located within walking distance of the train station, and is right next to a tramway station for direct connection to the university campus. A block of rooms have been reserved, and there is a special rate available if you fill out a form and send it by email to the hotel assistance at University of Southern Denmark, deadline August 1st 2022. (Information has been circulated on the mailing list, contact the organiser or one of the Chairs for additional information.) Note however that the number of room available Sunday-Monday is limited, and are made available on a first-come first-serve basis - alternatives include either finding a room for that night somewhere else in Odense, or staying the night in Copenhagen (we will have a late start Monday so that it's possible to catch the morning train).

=== Registration ===

Registration is on-line and paid via credit card at the registration site [https://event.sdu.dk/wg211 https://event.sdu.dk/wg211] (note: anyone registering from a Danish university is recommended to use the EAN method to pay). The fee is paid in Danish Kroner (DKK) and is roughly equivalent to EUR 383. Deadline for registration is August 8th (but some flexibility is possible, write Ulrik if you need more time).

=== COVID-19 ===

Currently there are no covid-related restrictions in Denmark. The vaccination rate is one of the highest in the world, and the current infection rates are very low. Many studies have indicated that Denmark reached a good balance between restrictions and public safety. Given that Covid-19 so far has been seasonal similar to e.g. the flu, it currently seems unlikely that there will be any covid-related restrictions or issues in Denmark in August.

== Attendance ==

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]

Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reichenbach, Ulrik Pagh Schultz, Thiago Rocha Silva, Satnam Singh, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name:

* Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, Faster ]]
* Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SSA ]]
* Edwin Brady [[WG211/M21Brady | Refactoring for Dependently Typed Languages ]]
* Miguel Campusano [[WG211/M21Campusano | Dynamic Forward Slicing for Dynamic Replanning Multi-Drone Missions ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Charisee Chiw [[WG211/M21Chiw | Empowering scientist with program generation ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]
* Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurrence Functions]]
* Ohad Kammar [[WG211/M21Kammar | Frex: staged-optimisation and equational-proof-synthesis using universal algebra ]]
* Paul Kelly [[WG211/M21Kelly | Compiling for data not code ]]
* Julia Lawall [[WG211/M21Lawall | Coccinelle, Prequel, and Spinfer: Automating Summarization and Application of Code Evolutions in the Linux Kernel]]
* Ulrik Pagh Schultz Lundquist [[WG211/M21Lundquist | Drones and end-user programming: motivation]]
* Peter Mosses [[WG211/M21Mosses | Using Spoofax to Support Online Code Navigation]]
* Christoph Reichenbach [[WG211/M21Reichenbach | Declarative Views on Bug Detection]]
* Tiago Rocha Silva [[WG211/M21RochaSilva | Empowering “citizen developers”: towards a high-level DSL for specifying software behavior ]]
* Walid Taha [[WG211/M21Taha | Bean Machine ]]
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]
* Jeremy Yallop [[WG211/M21Yallop | Fusing Lexing and Parsing ]]
* Vadim Zaytsev [[WG211/M21Zaytsev | Program Verification Tools, Classified ]]

We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

== Program / schedule ==

=== Scientific program ===

'''PRELIMINARY PROGRAM, TO BE FINALIZED'''

Monday, August 15:
* 10:00 - 12:00: Welcome and talks (2 talks)
** 10:15 Peter Mosses
** 11:00 Christoph Reichenbach
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 15:00: Session (2 talks, online via zoom)
** 13:30 Robert Glück
** 14:15 Paul Kelly
* 15:00 - 15:30: Break (cake, coffee)
* 15:30 - 17:00: Session (2 talks)
** 15:30 Eric Van Wyk
** 16:15 Sandrine Blazy

* 19:00: Dinner at [https://olufbagersgaard.dk/ Oluf Bagers Gård] ([https://g.page/restaurant-oluf-bagers-gaard?share MAP] city center)

Tuesday, August 16:
* 9:00 - 9:45: Session (1 talk)
** Charisee Chiw
* 10:00-10:30: Excursion to SDU Industry 4.0 lab
* 10:45-12:15: Session (2 talks)
** Ohad Kammar
** Nada Amin
* 12:15 - 14:15: Lunch in SDU Restaurant
* 14:15 - 15:45: Session (2 talks)
** Sebastian Erdweg
** Tiago Rocha Silva
* 16:00 - 17:00: Business Meeting, members only. Note: full remote participation via zoom will be possible.

* 19:00: Dinner at [https://www.nordatlantiskhus.dk/ Nordatlantisk Hus] ([https://g.page/nordatlantiskhus?share MAP] 15-minutes walk from train station)

Wednesday, August 17:
* 8:30 - 12:00: Session (4 talks, half hour break)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 14:15: Talk (Ulrik Pagh Schultz Lundquist)
* 14:30 - 17:00: Excursion by bus to SDU UAS Labs at Beldringe Airport, bus picks us up on campus and will drop us off at city center.

* 19:15: Dinner at [https://www.sortebrokro.dk/ Sortebro Kro] ([https://g.page/sortebro?share MAP], easily accessible by quick local train ride from Odense St at 18:46 getting off at "Fruens Bøge", Ulrik will guide)

Thursday, August 18:
* 9:00 - 11:45: Session (3 talks, half hour break)
* 11:45 - 13:30: Lunch in SDU Canteen

=== Social events ===

There will be a short visit to the main robotics lab at University of Southern Denmark and an afternoon bus excursion Wednesday afternoon to the Drone Lab located at Hans Christian Andersen Airport.

== Touristy information ==

Odense is the birthplace of Hans Christian Andersen, see [https://www.visitodense.dk Visit Odense] for more information on sights to see in Odense and nearby. When traveling to Odense consider making a stop in Copenhagen. Copenhagen Central Station is easily accessible from the airport, and there are direct trains two times per hour during the day (and evening) from Copenhagen Central Station to Odense. Google Maps is useful for navigating Danish public transportation, but also consider using e.g. [www.rejseplanen.dk https://www.rejseplanen.dk]. An alternative travel route is to fly into Denmark via Billund airport, which is located just next to Legoland. From Billund public transportation to Odense via bus and train takes roughly 90 minutes.

WG211/M21Taha

2022-08-16T04:26:10Z

Walid: Bean Machine

Bean Machine

Presented by: Walid Taha, Meta

Abstract and slides by: Rodrigo de Salvo Braz, Meta

Bean Machine (https://beanmachine.org/) (BM) is a new probabilistic programming system (https://research.facebook.com/blog/2021/12/introducing-bean-machine-a-probabilistic-programming-platform-built-on-pytorch/) recently beta-released as open-source by Meta (formerly Facebook). Probabilistic programming languages (PPLs) provide a way for experts to specify a Bayesian probabilistic model using a programming language, but without having to concern themselves with, or even know, how the probabilistic inference will be performed. While probabilistic programming is a growing field, Bean Machine provides a novel combination of features: experts can declaratively specify their models in Python (including the use of PyTorch tensors), use a variety of inference methods (including Hamiltonian Monte Carlo, No U-Turn Sample (NUTS) and Newtonian Monte Carlo), use composable inference to apply different methods to different parts of a model, work with hybrid models (containing both discrete and continuous variables) and, for a certain subset of models, use a very fast C++ inference layer. Bean Machine is already being used in production for Meta internal applications, but there are many exciting future plans for making it even better. In this talk I will give examples, describe applications, and discuss some of these future directions.

WG211/M21Taha

2022-08-16T04:25:17Z

Walid: Bean Machine

Bean Machine

Presented by: Walid Taha, Meta
Abstract and slides by: Rodrigo de Salvo Braz, Meta

Bean Machine (https://beanmachine.org/) (BM) is a new probabilistic programming system (https://research.facebook.com/blog/2021/12/introducing-bean-machine-a-probabilistic-programming-platform-built-on-pytorch/) recently beta-released as open-source by Meta (formerly Facebook). Probabilistic programming languages (PPLs) provide a way for experts to specify a Bayesian probabilistic model using a programming language, but without having to concern themselves with, or even know, how the probabilistic inference will be performed. While probabilistic programming is a growing field, Bean Machine provides a novel combination of features: experts can declaratively specify their models in Python (including the use of PyTorch tensors), use a variety of inference methods (including Hamiltonian Monte Carlo, No U-Turn Sample (NUTS) and Newtonian Monte Carlo), use composable inference to apply different methods to different parts of a model, work with hybrid models (containing both discrete and continuous variables) and, for a certain subset of models, use a very fast C++ inference layer. Bean Machine is already being used in production for Meta internal applications, but there are many exciting future plans for making it even better. In this talk I will give examples, describe applications, and discuss some of these future directions.

WG211/M18Taha

2018-05-17T10:13:20Z

Walid: Created page with "We report on a simple staging exercise, namely, that of starting with an interpreter for a lambda calculus written in Haskell and staging it in Template Haskell"

We report on a simple staging exercise, namely, that of starting with an interpreter for a lambda calculus written in Haskell and staging it in Template Haskell

WG211/M18Schedule

2018-05-17T10:12:13Z

Walid: /* Talks */

=IFIP Working Group 2.11, Eighteenth Meeting=

== June 4-7, 2018 in Kyoto, Japan. ==

The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.

The meeting will last 3.5 days; the first three days (June 4-6) will be full-day, whereas the last day (June 7) will be a half-day session.

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ Kansai International Airport], located south of Osaka, is the natural access route to Kyoto. From there you can reach Kyoto Station in 1 hour 15 minutes, using the Limited Express HARUKA (runs twice an hour). Another option is to use a shared taxi (shuttle), which you should book in advance, operated either by Yasaka Taxi or MK Taxi.
You can also fly first to Narita International Airport or Haneda International Airport in Tokyo, and then connect to [https://www.osaka-airport.co.jp/en/ Osaka Airport (ITM)] from which you can take a limousine bus or a shared taxi to Kyoto. (If you are a train fan, it may be a good idea to take Shinkansen (superexpress train) from Tokyo to Kyoto, although it's an expensive choice.) [http://www.centrair.jp/en/ The Central Japan International Airport], nearby Nagoya, provides an alternative access route. The Mu-Sky limited express to Nagoya runs every 30mn (and takes 30mn), and from there to Kyoto is just 35mn by Shinkansen (albeit a bit expensive).

The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.

You can check timetables for trains inside Japan on [https://world.jorudan.co.jp/mln/en/?sub_lang=nosub Jorudan's Norikae-Annai] or on Google Maps.

---- Arrival/Departure

* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
* Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34

=== Accommodation ===

Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/ special booking web site]. If you'd like to book a room for an extra stay before/after the meeting, please contact Nippon Travel Agency Co., Ltd. (The contact email address is in the booking web site.) Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].

=== Registration ===

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
At [https://va.apollon.nta.co.jp/wg211/ the registration site], there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

== Attendance ==

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Walkingshaw, Eric Van Wyk, Eelco Visser, Jeremy Yallop

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, following the template below.

* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

* Monday 4 June;
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
* Tuesday 5 June;
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
* Wednesday 6 June; 1pm-
** Excursion (see below)
** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)
* Thursday 7 June;
** Lunch (details TBD)

Social events are covered by the registration fee except the lunch on Thursday.

== Excursion==

* The bus leaves Kyoto University at 1pm.
* Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)
* Ride on Sakamoto Cable Railway to the town called Sakamoto (坂本) on Lake Biwa (琵琶湖), the largest lake in Japan. (http://www.sakamoto-cable.jp/utilities/pdf/pamp_en.pdf)
** The longest cable route in Japan
** If the weather is fine, we can expect a nice view over Lake Biwa.
* Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)
** A break with green tea
* Dinner at Kyoto Hotel Okura from 6pm.

== Joint trips before/after the meeting ==

People arriving before the meeting: Ulrik and Christoph (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday), Tony (arriving Saturday evening Osaka).

People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday), Julia (probably staying until Saturday, flying out of Osaka), Kevin (leaving Monday, from Osaka), Christoph (leaving Friday, from Osaka), Jacques (leaving Saturday, from Osaka), Tony (leaving Saturday evening via Osaka).

Places to go: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

=== Sento ===

Jeremy suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome. As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

WG211/MeetingTwo

2011-12-16T15:22:05Z

Walid:

[[Category:WG211]]

=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

[[WG211/M2Visser| Towards Extensible Program Transformation Systems]] [[Media:Visser-WG211-2005.pdf| [Presentation]]]
----
Eelco Visser, Utrecht University

[[WG211/M2Taha |Regenerative Programming: A New Approach to Data Mining for Software Design]] [[Media:taha.pdf| [Presentation]]]
----
Walid Taha, Rice University

====Sunday 10:30-12:00====

Session chair: Laurent Reveillere

[[WG211/M2Smith |Policy Enforcement]] [[Media:Policies%20050305.ppt |[Presentation]]]
----
Doug Smith, Kestrel Institute 

[[WG211/M2Smaragdakis| Statically Safe Meta-Programming]] [[Media:ifipwg-mar05-formatted.pdf |[Presentation]]]
----
Yannis Smaragdakis, Georgia Tech

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

[[WG211/M2Reveillere| Generative Programming from a DSL Viewpoint]] [[Media:Reveillere.pdf| [Presentation]]]
----
Laurent Reveillere, INRIA Futurs

[[WG211/M2Pouzet |Synchronizing Periodic Clocks in Kahn Networks]] [[Media:Pouzet.pdf| [Presentation]]]
----
Marc Pouzet, Universite Pierre et Marie Curie

[[WG211/M2Ossher| Concepts for Describing Composition of Software Artifacts]] [[Media:ossher.pdf| [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

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

[[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.

#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]]

WG211/MeetingTwo

2011-12-16T15:00:05Z

Walid: /* Schedule */

[[Category:WG211]]

=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

[[WG211/M2Visser| Towards Extensible Program Transformation Systems]] [[Media:Visser-WG211-2005.pdf| [Presentation]]]
----
Eelco Visser, Utrecht University

[[WG211/M2Taha |Regenerative Programming: A New Approach to Data Mining for Software Design]] [[Media:taha.pdf| [Presentation]]]
----
Walid Taha, Rice University

====Sunday 10:30-12:00====

Session chair: Laurent Reveillere

[[WG211/M2Smith |Policy Enforcement]] [[Media:Policies%20050305.ppt |[Presentation]]]
----
Doug Smith, Kestrel Institute 

[[WG211/M2Smaragdakis| Statically Safe Meta-Programming]] [[Media:ifipwg-mar05-formatted.pdf |[Presentation]]]
----
Yannis Smaragdakis, Georgia Tech

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

[[WG211/M2Reveillere| Generative Programming from a DSL Viewpoint]] [[Media:Reveillere.pdf| [Presentation]]]
----
Laurent Reveillere, INRIA Futurs

[[WG211/M2Pouzet |Synchronizing Periodic Clocks in Kahn Networks]] [[Media:Pouzet.pdf| [Presentation]]]
----
Marc Pouzet, Universite Pierre et Marie Curie

[[WG211/M2Ossher| Concepts for Describing Composition of Software Artifacts]] [[Media:ossher.pdf| [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

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

#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]]

WG211/MeetingTwo

2011-12-16T14:58:09Z

Walid:

[[Category:WG211]]

=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 [[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.

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

Session chair: Doug Smith

[[WG211/M2Visser| Towards Extensible Program Transformation Systems]] [[Media:Visser-WG211-2005.pdf| [Presentation]]]
----
Eelco Visser, Utrecht University

[[WG211/M2Taha |Regenerative Programming: A New Approach to Data Mining for Software Design]] [[Media:taha.pdf| [Presentation]]]
----
Walid Taha, Rice University

====Sunday 10:30-12:00====

Session chair: Laurent Reveillere

[[WG211/M2Smith |Policy Enforcement]] [[Media:Policies%20050305.ppt |[Presentation]]]
----
Doug Smith, Kestrel Institute 

[[WG211/M2Smaragdakis| Statically Safe Meta-Programming]] [[Media:ifipwg-mar05-formatted.pdf |[Presentation]]]
----
Yannis Smaragdakis, Georgia Tech

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

[[WG211/M2Reveillere| Generative Programming from a DSL Viewpoint]] [[Media:Reveillere.pdf| [Presentation]]]
----
Laurent Reveillere, INRIA Futurs

[[WG211/M2Pouzet |Synchronizing Periodic Clocks in Kahn Networks]] [[Media:Pouzet.pdf| [Presentation]]]
----
Marc Pouzet, Universite Pierre et Marie Curie

[[WG211/M2Ossher| Concepts for Describing Composition of Software Artifacts]] [[Media:ossher.pdf| [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

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

#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]]

WG211/MeetingTwo

2011-12-16T14:49:10Z

Walid:

[[Category:WG211]]

=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 [[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

[[M2Visser| Towards Extensible Program Transformation Systems]] [[Media:Visser-WG211-2005.pdf| [Presentation]]]
----
Eelco Visser, Utrecht University

[[M2Taha |Regenerative Programming: A New Approach to Data Mining for Software Design]] [[Media:taha.pdf| [Presentation]]]
----
Walid Taha, Rice University

====Sunday 10:30-12:00====

Session chair: Laurent Reveillere

[[M2Smith |Policy Enforcement]] [[Media:Policies%20050305.ppt |[Presentation]]]
----
Doug Smith, Kestrel Institute 

[[M2Smaragdakis| Statically Safe Meta-Programming]] [[Media:ifipwg-mar05-formatted.pdf |[Presentation]]]
----
Yannis Smaragdakis, Georgia Tech

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

[[M2Reveillere| Generative Programming from a DSL Viewpoint]] [[Media:Reveillere.pdf| [Presentation]]]
----
Laurent Reveillere, INRIA Futurs

[[M2Pouzet |Synchronizing Periodic Clocks in Kahn Networks]] [[Media:Pouzet.pdf| [Presentation]]]
----
Marc Pouzet, Universite Pierre et Marie Curie

[[M2Ossher| Concepts for Describing Composition of Software Artifacts]] [[Media: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]]

WG211/MeetingTwo

2011-12-16T14:44:51Z

Walid:

[[Category:WG211]]

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

WG211/MeetingOne

2011-12-16T14:44:07Z

Walid:

[[Category:WG211]]

=IFIP Working Group 2.11 Kickoff Meeting=

==Preliminary Schedule==

May 16-18, 2004, St. Emilion, France

====Sunday 10:00====

Departure from Bordeaux. Departure from the bus stop on allees de Munich aux Quinconces (2 minutes walk from the hotel). Bus company "VOYAGES ARRIVE".

====Sunday 1:30-3:45====

Feature interactions in feature oriented programming
----
Don Batory

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/cohen.html Revisiting optimization for compute-intensive codes in the context of program generation and adaptive libraries.]]
----
Albert Cohen, INRIA Futurs

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/consel.html A DSL for telephony services ]]
----
Charles Consel, INRIA Futurs

[[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/hammond.html Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume ]]
----
Kevin Hammond, University of St Andrews

====Sunday 4:15-6:45====

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/beckmann.html TaskGraph Library: A Metaprogramming Tool for Specifying Optimisation as a Separate Concern]]
----
Olav Beckmann, Imperial College of Science

[[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/kamin.html Jumbo: Run-time Program Generation for Java]]
----
Samuel Kamin, University of Illinois

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/kelly.html Veneer: a dynamic domain-specific optimisation framework for Java ]]
----
Paul H J Kelly, Imperial College London

[[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/lawall.html A language-based approach to the development of safe operating system extensions ]]
----
Julia Lawall, University of Copenhagen (demo)

====Sunday 8:00====

Dinner.

====Monday 8:45-10:30====

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/lengauer.html WG 2.11 Activities at the University of Passau]]
----
Christian Lengauer, Universit't of Passau

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/lopes.html Aspects and Beyond]]
----
Cristina Lopes, University of California

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/moggi.html Monadic Metalanguages for Staging and Name Management]]
----
Eugenio Moggi, DISI, Univ. di Genova

====Monday 11-12:15====

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/odonnell.html Tools for Equational Reasoning in Haskell]]
----
John O'Donnell, University of Glasgow

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/ossher.html The Concern Manipulation Environment]]
----
Harold Ossher, IBM T.J. Watson Research Center (demo)

====Monday 1:45-3:45====

[[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/paulin.html Generation of programs with proofs]]
----
Christine Paulin, Universit' Paris Sud

TBA
----
Marc Pouzet

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/sheard.html Towards combining Programming Languages and Logics ]]
----
Tim Sheard, OGI /OHSU (demo)

====Monday 4:15-6:00====

[[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/smaragdakis.html Generating AspectJ Programs with Meta-AspectJ]]
----
Yannis Smaragdakis, Georgia Tech

[[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/taha.html MetaOCaml: Putting multi-stage annotations to work]]
----
Walid Taha, Rice University

Compilers for active libraries
----
Todd Veldhuizen, Chalmers University

====Monday 6:30====

Tour of St. Emilion.

====Monday 8:00====

Dinner.

====Tuesday 9-11:30====

Discussion

====Tuesday 12:00====

Lunch will begin at 12:00 sharp.

WG211/M9Westbrook

2011-12-16T14:42:55Z

Walid:

[[Category:WG211]]

=Towards a Generalization of Specialization=
==Edwin Westbrook==

Code specialization is a powerful technique for optimizing programs in general-purpose languages. Unfortunately, specialization faces many challenges when applied to domain-specific languages (DSLs). Automatic specialization (AS) techniques, such as partial evaluation and supercompilation, require monolithic implementations that are difficult to understand and modify, making it hard for domain experts
- who often are not AS experts - to use them effectively and to add support for domain-specific optimizations. Existing techniques in manual specialization, that is, techniques that apply multi-stage programming (MSP), are often ad-hoc, making them difficult to apply to new domain-specific optimizations and difficult to prove correct.<br /><br />In this talk, we describe ongoing work on a generalized theory of code specialization, called staging functors, which we believe can overcome these difficulties. A staging functor gives a disciplined way to transform dynamic code fragments into partially static data that captures semantic information about the code. Further, any valid staging functor is guaranteed to be correct. Staging functors can be given with a small set of rules that can then be applied automatically, thus yielding user-customizable AS. Staging functors can also be applied manually, giving a new, disciplined, provably correct approach technique for MSP. Finally, we believe staging functors can be used for many useful domain-specific optimizations. As an example, we show how load elimination, an optimization for pointer programs, can be implemented as a staging functor.

WG211/M9Schedule

2011-12-16T14:40:12Z

Walid: /* Friday */

[[Category:WG211]]

=IFIP Working Group 2.11, Ninth Meeting=
==December 1-3, 2010, Waterloo, Canada==
===Venue===

<br />The meeting will be held in the Davis Center (DC) Building on the campus of the University of Waterloo (see the DC Building on the [[http://www.uwaterloo.ca/map/index.php campus map]]). The registration will be in the Fishbowl room in the DC Building. The room has a circular glass wall
----
you cannot miss it when you enter the building. The closest visitor parking in Lot N; the fee is $3 per day. See http://www.uwaterloo.ca/map/index.php#parking for more information. If parking Lot N is full, then you can try parking Lot M, which is nearby and always has spaces. Note however that parking Lot M costs a dollar more ($4 instead of $3), and accepts only coin payments (by contrast, Lot N also takes credit cards).
===Travel===

Arriving by air, you will fly into the [[http://www.gtaa.com/en/home/ Toronto Pearson International Airport]] (YYZ). Waterloo is about one hour drive from the airport. The most convenient way to get from the airport to the hotel is to take the Airways Transit Shuttle. You should pre-book the door-to-door service by visiting their [[http://www.airwaystransit.com/ website]]. The website has directions for the shuttle registration desk at the airport terminal; you should report at the desk after arrival for pick-up. One-way fare for the shuttle is $83 for a single person. You can save money if you book for a party of two or more. For example, one-way fare for two adults is $118; see their [[http://www.airwaystransit.com/fare.shtml fare calculator]]. [[http://www.waterlootaxi.ca/ Waterloo Taxi]] has a flat fee of $90 per cab (not per person) with no other guests picked up.
===Ride Sharing===

Chris Lengauer will arrive on Tuesday, November 30, at 21:15 on Air Canada from Montreal

Bernd Fischer will arrive on Tuesday, November 30, 15:05, with Air Canada from London Heathrow. He may rent a car.

Yannis Smaragdakis will arrive on Tuesday, November 30, at 8pm from NY-JFK (Delta flight 4068), and leaves on Dec. 4 at 11:40am.

Eddy Westbrook will arrive on Tuesday, November 30, at 8:34 pm from Chicago (Continental flight 6972), and leaves on Dec. 3 at 6:20pm.

Christian K�stner will arrive on Tuesday, November 30, at 12:30 on Air Canada AC873 from Frankfurt
===Registration===

'''The registration deadline is November 15.''' The registration fee is CAD $238. In order to register for the meeting, please fill out and sign the registration form below and fax it or e-mail a scanned version (the fax number and e-mail address are specified on the form). We accept major credit cards or cheque payments.

* [[Media:IFIPRegistration.pdf | IFIPRegistration.pdf ]]: Registration form (pdf)
* [[Media:IFIPRegistration.doc | IFIPRegistration.doc ]]: Registration form (word)

The fee covers all meals during the meetings (breakfasts, morning coffee breaks, lunches, afternoon snacks and two dinners
----
one on Wednesday at [[http://www.sole.ca Sole]] and the other on Thursday at [[http://www.charcoalgroup.ca Wildcraft]]. We will organize a group dinner for those who will stay in Waterloo on Friday (not included in the registration).

The recommended hotel is the [[http://www.waterlooinn.com Waterloo Inn]]. Please make your own reservation by calling the hotel at +1 (519) 884-0220 or toll-free at 1-800-361-4708. We reserved a block of rooms at the special rate of CAD $143 plus applicable taxes per night. To receive this room rate, please mention that you are with the University of Waterloo attending the IFIP meeting. The block of hotel rooms is on hold until November 1, 2010. Please make sure to make the reservation before then. It is possible to stay in the hotel at the given rate until Sunday, December 5.<br /><br />The Waterloo Inn has a free shuttle to the University running every 30 minutes. A taxi drive is about $10.
===Attendees===

Baris Aktemur, Jo Atlee, Kacper Bak, Emilie Balland, Thiago Bartolomei, Jacques Carette, Charles Consel, Derek Drayside, Bernd Fischer, Christian Kaestner, Oleg Kiselyov, Ralf Laemmel, Chris Lengauer, Ken Shan, Tony Sloane, Yannis Smaragdakis, Walid Taha, Eddy Westbrook
===Talks===

Talk slots are 45 minutes. Although the slots are fairly long, the goal is to provide time for discussion. Thus you should limit your speaking time to 25 or at most 30 minutes.

Breakfast will be provided, starting at 8:00. Dinner will begin at 6:30 on Wednesday and Thursday.
=====Wednesday=====

9:00-9:45: [[WG211/M9Smaragdakis| What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time]] Yannis Smaragdakis

9:45-10:45: [[WG211/M9Taha| Globally Parallel, Locally Sequential]] Walid Taha

11:15-12:00: [[WG211/M9Rayside| Synthesizing executable code from declarative abstraction functions]] Derek Rayside

1:30-2:15: [[WG211/M9Balland| Open Platforms: New Challenges for Software Engineering]] Emilie Balland

2:15-3:00: [[WG211/M9Bartolomei Migration of Applications across Object-Oriented APIs]] Thiago Bartolomei

3:30-5:00: Discussion

6:30: Dinner

=====Thursday=====

9:00-9:45: [[WG211/M9Kaestner| Variability Analysis of Legacy C Code: Parsing and Type-Checking Millions of Product Line Variants]] Christian Kaestner

9:45-10:30: [[WG211/M9Bak| Software Product Lines in Clafer]] Kacper Bak

11:00-11:45: [[WG211/M9Consel| DiaSuite: Paradigm-Oriented Software Development Approach]] Charles Consel

1:00-1:45: [[WG211/M9Kiselyov| Ask-by-need: generating multiple-answer RPC/web requests]] Oleg Kiselyov

1:45-2:30: [[WG211/M9Carette| The structure of typed generic code generators]] Jacques Carette

3:00-3:45: Motivations for working on open-source software, Michael Terry

3:45-4:30: Discussion

4:30-5:30: Business meeting (members only)

6:30: Dinner

=====Friday=====

9:00-9:45: [[WG211/M9Sloane| Language Processing in Kiama]] Tony Sloane

9:45-10:30: [[WG211/M9Westbrook| Towards a Generalization of Specialization]] Eddy Westbrook

11:00-11:45 [[WG211/M9KiselyovShan| The MetaOCaml files: Status report and research proposal]] Oleg Kiselyov and Chung-Chieh Shan

1:15-2:00: [[WG211/M9Fischer| Extending code generators by transforming generated code]] Bernd Fischer

2:00-2:30: [[WG211/M9Laemmel| Modeling Programming Technologies]] Ralf Lämmel

3:00-3:30: Towards Combining Runtime Program Generation with Empirical Optimization, Baris Aktemur

3:30-5:00: Discussion

==File Attachments==

*[[Media:IFIPRegistration.pdf | IFIPRegistration.pdf]]
*[[Media:IFIPRegistration.doc | IFIPRegistration.doc]]

WG211/M9Schedule

2011-12-16T14:36:31Z

Walid: /* Thursday */

[[Category:WG211]]

=IFIP Working Group 2.11, Ninth Meeting=
==December 1-3, 2010, Waterloo, Canada==
===Venue===

<br />The meeting will be held in the Davis Center (DC) Building on the campus of the University of Waterloo (see the DC Building on the [[http://www.uwaterloo.ca/map/index.php campus map]]). The registration will be in the Fishbowl room in the DC Building. The room has a circular glass wall
----
you cannot miss it when you enter the building. The closest visitor parking in Lot N; the fee is $3 per day. See http://www.uwaterloo.ca/map/index.php#parking for more information. If parking Lot N is full, then you can try parking Lot M, which is nearby and always has spaces. Note however that parking Lot M costs a dollar more ($4 instead of $3), and accepts only coin payments (by contrast, Lot N also takes credit cards).
===Travel===

Arriving by air, you will fly into the [[http://www.gtaa.com/en/home/ Toronto Pearson International Airport]] (YYZ). Waterloo is about one hour drive from the airport. The most convenient way to get from the airport to the hotel is to take the Airways Transit Shuttle. You should pre-book the door-to-door service by visiting their [[http://www.airwaystransit.com/ website]]. The website has directions for the shuttle registration desk at the airport terminal; you should report at the desk after arrival for pick-up. One-way fare for the shuttle is $83 for a single person. You can save money if you book for a party of two or more. For example, one-way fare for two adults is $118; see their [[http://www.airwaystransit.com/fare.shtml fare calculator]]. [[http://www.waterlootaxi.ca/ Waterloo Taxi]] has a flat fee of $90 per cab (not per person) with no other guests picked up.
===Ride Sharing===

Chris Lengauer will arrive on Tuesday, November 30, at 21:15 on Air Canada from Montreal

Bernd Fischer will arrive on Tuesday, November 30, 15:05, with Air Canada from London Heathrow. He may rent a car.

Yannis Smaragdakis will arrive on Tuesday, November 30, at 8pm from NY-JFK (Delta flight 4068), and leaves on Dec. 4 at 11:40am.

Eddy Westbrook will arrive on Tuesday, November 30, at 8:34 pm from Chicago (Continental flight 6972), and leaves on Dec. 3 at 6:20pm.

Christian K�stner will arrive on Tuesday, November 30, at 12:30 on Air Canada AC873 from Frankfurt
===Registration===

'''The registration deadline is November 15.''' The registration fee is CAD $238. In order to register for the meeting, please fill out and sign the registration form below and fax it or e-mail a scanned version (the fax number and e-mail address are specified on the form). We accept major credit cards or cheque payments.

* [[Media:IFIPRegistration.pdf | IFIPRegistration.pdf ]]: Registration form (pdf)
* [[Media:IFIPRegistration.doc | IFIPRegistration.doc ]]: Registration form (word)

The fee covers all meals during the meetings (breakfasts, morning coffee breaks, lunches, afternoon snacks and two dinners
----
one on Wednesday at [[http://www.sole.ca Sole]] and the other on Thursday at [[http://www.charcoalgroup.ca Wildcraft]]. We will organize a group dinner for those who will stay in Waterloo on Friday (not included in the registration).

The recommended hotel is the [[http://www.waterlooinn.com Waterloo Inn]]. Please make your own reservation by calling the hotel at +1 (519) 884-0220 or toll-free at 1-800-361-4708. We reserved a block of rooms at the special rate of CAD $143 plus applicable taxes per night. To receive this room rate, please mention that you are with the University of Waterloo attending the IFIP meeting. The block of hotel rooms is on hold until November 1, 2010. Please make sure to make the reservation before then. It is possible to stay in the hotel at the given rate until Sunday, December 5.<br /><br />The Waterloo Inn has a free shuttle to the University running every 30 minutes. A taxi drive is about $10.
===Attendees===

Baris Aktemur, Jo Atlee, Kacper Bak, Emilie Balland, Thiago Bartolomei, Jacques Carette, Charles Consel, Derek Drayside, Bernd Fischer, Christian Kaestner, Oleg Kiselyov, Ralf Laemmel, Chris Lengauer, Ken Shan, Tony Sloane, Yannis Smaragdakis, Walid Taha, Eddy Westbrook
===Talks===

Talk slots are 45 minutes. Although the slots are fairly long, the goal is to provide time for discussion. Thus you should limit your speaking time to 25 or at most 30 minutes.

Breakfast will be provided, starting at 8:00. Dinner will begin at 6:30 on Wednesday and Thursday.
=====Wednesday=====

9:00-9:45: [[WG211/M9Smaragdakis| What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time]] Yannis Smaragdakis

9:45-10:45: [[WG211/M9Taha| Globally Parallel, Locally Sequential]] Walid Taha

11:15-12:00: [[WG211/M9Rayside| Synthesizing executable code from declarative abstraction functions]] Derek Rayside

1:30-2:15: [[WG211/M9Balland| Open Platforms: New Challenges for Software Engineering]] Emilie Balland

2:15-3:00: [[WG211/M9Bartolomei Migration of Applications across Object-Oriented APIs]] Thiago Bartolomei

3:30-5:00: Discussion

6:30: Dinner

=====Thursday=====

9:00-9:45: [[WG211/M9Kaestner| Variability Analysis of Legacy C Code: Parsing and Type-Checking Millions of Product Line Variants]] Christian Kaestner

9:45-10:30: [[WG211/M9Bak| Software Product Lines in Clafer]] Kacper Bak

11:00-11:45: [[WG211/M9Consel| DiaSuite: Paradigm-Oriented Software Development Approach]] Charles Consel

1:00-1:45: [[WG211/M9Kiselyov| Ask-by-need: generating multiple-answer RPC/web requests]] Oleg Kiselyov

1:45-2:30: [[WG211/M9Carette| The structure of typed generic code generators]] Jacques Carette

3:00-3:45: Motivations for working on open-source software, Michael Terry

3:45-4:30: Discussion

4:30-5:30: Business meeting (members only)

6:30: Dinner

=====Friday=====

9:00-9:45: [[http://resource-aware.org/do/view/WG211/M9Sloane* Language Processing in Kiama]] Tony Sloane

9:45-10:30: [[http://resource-aware.org/do/view/WG211/M9Westbrook* Towards a Generalization of Specialization]] Eddy Westbrook

11:00-11:45 [[http://resource-aware.org/do/view/WG211/M9KiselyovShan* The MetaOCaml files: Status report and research proposal]] Oleg Kiselyov and Chung-Chieh Shan

1:15-2:00: [[http://resource-aware.org/do/view/WG211/M9Fischer* Extending code generators by transforming generated code]] Bernd Fischer

2:00-2:30: [[http://resource-aware.org/do/view/WG211/M9Laemmel* Modeling Programming Technologies]] Ralf L�mmel

3:00-3:30: Towards Combining Runtime Program Generation with Empirical Optimization, Baris Aktemur

3:30-5:00: Discussion

==File Attachments==

*[[Media:IFIPRegistration.pdf | IFIPRegistration.pdf]]
*[[Media:IFIPRegistration.doc | IFIPRegistration.doc]]

WG211/M9Schedule

2011-12-16T14:34:22Z

Walid: /* Wednesday */

[[Category:WG211]]

=IFIP Working Group 2.11, Ninth Meeting=
==December 1-3, 2010, Waterloo, Canada==
===Venue===

<br />The meeting will be held in the Davis Center (DC) Building on the campus of the University of Waterloo (see the DC Building on the [[http://www.uwaterloo.ca/map/index.php campus map]]). The registration will be in the Fishbowl room in the DC Building. The room has a circular glass wall
----
you cannot miss it when you enter the building. The closest visitor parking in Lot N; the fee is $3 per day. See http://www.uwaterloo.ca/map/index.php#parking for more information. If parking Lot N is full, then you can try parking Lot M, which is nearby and always has spaces. Note however that parking Lot M costs a dollar more ($4 instead of $3), and accepts only coin payments (by contrast, Lot N also takes credit cards).
===Travel===

Arriving by air, you will fly into the [[http://www.gtaa.com/en/home/ Toronto Pearson International Airport]] (YYZ). Waterloo is about one hour drive from the airport. The most convenient way to get from the airport to the hotel is to take the Airways Transit Shuttle. You should pre-book the door-to-door service by visiting their [[http://www.airwaystransit.com/ website]]. The website has directions for the shuttle registration desk at the airport terminal; you should report at the desk after arrival for pick-up. One-way fare for the shuttle is $83 for a single person. You can save money if you book for a party of two or more. For example, one-way fare for two adults is $118; see their [[http://www.airwaystransit.com/fare.shtml fare calculator]]. [[http://www.waterlootaxi.ca/ Waterloo Taxi]] has a flat fee of $90 per cab (not per person) with no other guests picked up.
===Ride Sharing===

Chris Lengauer will arrive on Tuesday, November 30, at 21:15 on Air Canada from Montreal

Bernd Fischer will arrive on Tuesday, November 30, 15:05, with Air Canada from London Heathrow. He may rent a car.

Yannis Smaragdakis will arrive on Tuesday, November 30, at 8pm from NY-JFK (Delta flight 4068), and leaves on Dec. 4 at 11:40am.

Eddy Westbrook will arrive on Tuesday, November 30, at 8:34 pm from Chicago (Continental flight 6972), and leaves on Dec. 3 at 6:20pm.

Christian K�stner will arrive on Tuesday, November 30, at 12:30 on Air Canada AC873 from Frankfurt
===Registration===

'''The registration deadline is November 15.''' The registration fee is CAD $238. In order to register for the meeting, please fill out and sign the registration form below and fax it or e-mail a scanned version (the fax number and e-mail address are specified on the form). We accept major credit cards or cheque payments.

* [[Media:IFIPRegistration.pdf | IFIPRegistration.pdf ]]: Registration form (pdf)
* [[Media:IFIPRegistration.doc | IFIPRegistration.doc ]]: Registration form (word)

The fee covers all meals during the meetings (breakfasts, morning coffee breaks, lunches, afternoon snacks and two dinners
----
one on Wednesday at [[http://www.sole.ca Sole]] and the other on Thursday at [[http://www.charcoalgroup.ca Wildcraft]]. We will organize a group dinner for those who will stay in Waterloo on Friday (not included in the registration).

The recommended hotel is the [[http://www.waterlooinn.com Waterloo Inn]]. Please make your own reservation by calling the hotel at +1 (519) 884-0220 or toll-free at 1-800-361-4708. We reserved a block of rooms at the special rate of CAD $143 plus applicable taxes per night. To receive this room rate, please mention that you are with the University of Waterloo attending the IFIP meeting. The block of hotel rooms is on hold until November 1, 2010. Please make sure to make the reservation before then. It is possible to stay in the hotel at the given rate until Sunday, December 5.<br /><br />The Waterloo Inn has a free shuttle to the University running every 30 minutes. A taxi drive is about $10.
===Attendees===

Baris Aktemur, Jo Atlee, Kacper Bak, Emilie Balland, Thiago Bartolomei, Jacques Carette, Charles Consel, Derek Drayside, Bernd Fischer, Christian Kaestner, Oleg Kiselyov, Ralf Laemmel, Chris Lengauer, Ken Shan, Tony Sloane, Yannis Smaragdakis, Walid Taha, Eddy Westbrook
===Talks===

Talk slots are 45 minutes. Although the slots are fairly long, the goal is to provide time for discussion. Thus you should limit your speaking time to 25 or at most 30 minutes.

Breakfast will be provided, starting at 8:00. Dinner will begin at 6:30 on Wednesday and Thursday.
=====Wednesday=====

9:00-9:45: [[WG211/M9Smaragdakis| What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time]] Yannis Smaragdakis

9:45-10:45: [[WG211/M9Taha| Globally Parallel, Locally Sequential]] Walid Taha

11:15-12:00: [[WG211/M9Rayside| Synthesizing executable code from declarative abstraction functions]] Derek Rayside

1:30-2:15: [[WG211/M9Balland| Open Platforms: New Challenges for Software Engineering]] Emilie Balland

2:15-3:00: [[WG211/M9Bartolomei Migration of Applications across Object-Oriented APIs]] Thiago Bartolomei

3:30-5:00: Discussion

6:30: Dinner

=====Thursday=====

9:00-9:45: [[http://resource-aware.org/do/view/WG211/M9Kaestner* Variability Analysis of Legacy C Code: Parsing and Type-Checking Millions of Product Line Variants]] Christian Kaestner

9:45-10:30: [[http://resource-aware.org/do/view/WG211/M9Bak* Software Product Lines in Clafer]] Kacper Bak

11:00-11:45: [[http://resource-aware.org/do/view/WG211/M9Consel* DiaSuite: Paradigm-Oriented Software Development Approach]] Charles Consel

1:00-1:45: [[http://resource-aware.org/do/view/WG211/M9Kiselyov* Ask-by-need: generating multiple-answer RPC/web requests]] Oleg Kiselyov

1:45-2:30: [[http://resource-aware.org/do/view/WG211/M9Carette* The structure of typed generic code generators]] Jacques Carette

3:00-3:45: Motivations for working on open-source software, Michael Terry

3:45-4:30: Discussion

4:30-5:30: Business meeting (members only)

6:30: Dinner
=====Friday=====

9:00-9:45: [[http://resource-aware.org/do/view/WG211/M9Sloane* Language Processing in Kiama]] Tony Sloane

9:45-10:30: [[http://resource-aware.org/do/view/WG211/M9Westbrook* Towards a Generalization of Specialization]] Eddy Westbrook

11:00-11:45 [[http://resource-aware.org/do/view/WG211/M9KiselyovShan* The MetaOCaml files: Status report and research proposal]] Oleg Kiselyov and Chung-Chieh Shan

1:15-2:00: [[http://resource-aware.org/do/view/WG211/M9Fischer* Extending code generators by transforming generated code]] Bernd Fischer

2:00-2:30: [[http://resource-aware.org/do/view/WG211/M9Laemmel* Modeling Programming Technologies]] Ralf L�mmel

3:00-3:30: Towards Combining Runtime Program Generation with Empirical Optimization, Baris Aktemur

3:30-5:00: Discussion

==File Attachments==

*[[Media:IFIPRegistration.pdf | IFIPRegistration.pdf]]
*[[Media:IFIPRegistration.doc | IFIPRegistration.doc]]

WG211/M9Laemmel

2011-12-16T14:32:51Z

Walid:

[[Category:WG211]]

=Modeling Programming Technologies=
==Ralf Lämmel==

I will present preliminary results of an effort on understanding programming technologies at an ontological and megamodeling level. The idea is to capture technologies at a high level of abstraction so that their architecture, the potential intentions for their use, and the characteristics of their actual use in projects are comprehensible without detailed knowledge of the technologies--also in a manner that comparisons across technologies are meaningful and approachable.<br /><br />This is joint work with<br />Jean-Marie Favre (OneTree Technologies, Luxembourg) and Dragan Gasevic (Athabasca University, Canada).

WG211/M8Schedule

2011-12-16T14:31:27Z

Walid: /* Schedule */

[[Category:WG211]]

=IFIP Working Group 2.11, Eighth Meeting=
==March 1-3, 2010, St. Andrews Scotland==

=Organizers=

{kh,ch} at cs dot st hyphen andrews dot ac dot uk

=Registration=

[[https://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=18&modid=2&compid=1 Register here]]

=Meeting location=

The meeting will take place in the center of town, in the Parliament Hall, which is on South Street.

More information about the meeting location is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Meeting schedule=

The meeting will take place over three full days. Plan on leaving on the night of March 3, or on March 4.

=Accomodations=

Here are some links for bed and breakfasts:

[[http://www.thealbanystandrews.co.uk/]]

[[http://www.aboutscotland.co.uk/fife/queensterrace.html]]

[[http://www.deveronhouse.com/1.html]]

[[http://www.5pilmourplace.com/]]

[[http://www.nethan-standrews.com/Nethan_Guest_House/Welcome.html]]

[[http://www.brownlees.co.uk/]]

More information about accomodations is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

The price range is roughly 50-70 pounds per person per night based on two sharing. Single occupancy of double/twin rooms might be possible with some extra charge. Special offers might be possible for several days, e.g. named "Winter Breaks" at the Albany Hotel based on two people sharing.

More bed and breakfasts are available <a "href=http://www.stayinstandrews.co.uk/">here</a>

The nearest airport is Edinburgh, another convenient alternative is Glasgow International. Glasgow Prestwick might be an alternative if you travel Ryanair, but the train journey can take roughly 4 hours and you need to switch train stations in Glasgow, so it is recommended only if you arrive on Sunday afternoon not too late. You can find train connections [[http://www.scotrail.co.uk/ here]]

St Andrews train station is in a small town "Leuchars" a few miles outside St Andrews. From there you can take a scheduled bus until about 10pm. Taxis are available as well for roughly 12-15. If you arrive at Edinburgh Airport, there is a bus into Edinburgh city centre where you get access to the train line via Haymarket (best) or Waverley station. If you need to arrive late on Sunday, please contact the organizers so they can arrange a shuttle bus.

=Ride sharing=

A taxi from the Edinburgh airport to St Andrews would cost roughly 50 to 70 pounds if booked in advance. The organizers will collect travel dates in February and then negotiate shuttle transport or taxi with the University's travel service.

More information about ride sharing is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Attendees=

Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stner, Paul Kelly, Ralf L�mmel, Julia Lawall, Anne Fran�oise Le Meur, Christian Lengauer, Graham Markall, Greg Michaelson, Ian Miguel, John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook
=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/M8Name][Talk title]-] Name

[[WG211/M8Kaestner| Virtual separation of concerns - Toward preprocessors 2.0]] [[Media:Kaestner_M8_slides.pdf | (slides) ]] Christian Kaestner

[[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck

[[WG211/M8Apel| Safe Generation in Feature-Oriented Software Development]] [[Media:Apel_M8_slides.pdf | (slides) ]] Sven Apel

[[WG211/M8Michaelson| Costing by Construction for Box-based System Development]] [[Media:Michaelson_M8_slides.ppt | (slides) ]] Greg Michaelson

[[WG211/M8Dobson| Programming for adaptive sensor networks: back to the future]] [[Media:Dobson_M8_slides.pdf | (slides) ]] Simon Dobson

[[WG211/M8Cook| Online Partial Evaluation of Model Interpreters in Java]] William Cook

[[WG211/M8Aktemur| Relating Staged Computation to the Record Calculus]] [[Media:Aktemur_M8_slides.pdf | (slides) ]] Baris Aktemur

[[WG211/M8Schaeffer| Software Product Lines]] [[Media:Schaefer_M8_slides.pdf | (slides) ]] Ina Schaefer

[[WG211/M8ODonnell| Datapath and control correspond to language and program]] John O'Donnell

[[WG211/M8Hack| AnySL: Efficient and Portable Multi-Language Shading]] Sebastian Hack

[[WG211/M8Hermann| An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks]] [[Media:Hermann_M8_slides.pdf | (slides) ]] Christoph Hermann

[[WG211/M8Visser| Building IDEs for Domain-Specific Languages with Spoofax/IMP]] Eelco Visser

[[WG211/M8Weirich| Generic programming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich

[[WG211/M8VanWyk| Bidirectional Attribute Grammars and their use in Extensible Languages]] [[Media:VanWyk_M8_slides.pdf | (slides) ]] Eric Van Wyk

[[WG211/M8Jefferson| DoMinion : Generating Efficient Constraint Programming Solvers]] Christopher Jefferson

[[WG211/M8Markall| Generating optimised multiplatform finite element solvers from high-level representations]] [[Media:Markhall_M8_slides.pdf | (slides) ]] Graham Markall

[[WG211/M8Westbrook| Mint: Java Multi-stage Programming Using Weak Separability]] [[Media:Westbrook_M8_slides.ppt | (slides) ]] Ed Westbrook

[[WG211/M8Schultz| Language Support for Robust and Reversible Self-Reconfiguration]] Ulrik Schultz

[[WG211/M8Brady| Implementing Domain Specific Languages using Dependent Types and Partial Evaluation]] Ed Brady

Discussion on teaching DSLs/program generation: Ulrik Schultz

Presentation of the German Research Priority Programme Proposal "Manycore": Chris Lengauer

Presentation of [[http://researchr.org/ researchr.org]]: Eelco Visser

=Schedule=
<table align="left" style="width: 850px; height: 244px;" border="0"> <tbody> <tr> <td> </td> <td>Monday</td> <td>Tuesday</td> <td>Wednesday</td> </tr> <tr> <td>9:00</td> <td>[[WG211/M8Kaestner| Kaestner]]</td> <td>[[WG211/M8Weirich| Weirich]]</td> <td>[[WG211/M8Dobson| Dobson]]</td> </tr> <tr> <td>9:45</td> <td>[[WG211/M8Apel| Apel]]</td> <td>[[WG211/M8Brady| Brady]]</td> <td>[[WG211/M8Jefferson| Jefferson]]</td> </tr> <tr> <td>10:30</td> <td>Break</td> <td>Break</td> <td>Break</td> </tr> <tr> <td>11:00</td> <td>[[WG211/M8Schaeffer| Schaefer]]</td> <td>[[WG211/M8Michaelson| Michaelson]]</td> <td>[[WG211/M8ODonnell| O'Donnell]]</td> </tr> <tr> <td>11:45</td> <td>[[WG211/M8Markall| Markall]]</td> <td>[[WG211/M8Aktemur| Aktemur]]</td> <td>Short presentations by Lengauer and Cook</td> </tr> <tr> <td>12:30</td> <td>Lunch</td> <td>Lunch</td> <td>Lunch</td> </tr> <tr> <td>14:00</td> <td>[[WG211/M8Glueck| Glueck]]</td> <td>Excursion</td> <td>[[WG211/M8Discuss| Discussion on teaching program generation and DSLs]]</td> </tr> <tr> <td>14:45</td> <td>[[WG211/M8Cook| Cook]]</td> <td>Excursion</td> <td>[[WG211/M8Hermann| Hermann]]</td> </tr> <tr> <td>15:30</td> <td>Break</td> <td>Short presentation by Visser</td> <td>Break</td> </tr> <tr> <td>16:00</td> <td>[[WG211/M8Laemmel| Laemmel]]</td> <td>[[WG211/M8Schultz| Schultz]]</td> <td>[[WG211/M8VanWyk| Van Wyk]]<br /></td> </tr> <tr> <td>16:45</td> <td>[[WG211/M8Westbrook| Westbrook]]</td> <td>[[WG211/M8Visser| Visser]]</td> <td>17:00 Departure</td> </tr> <tr> <td>17:30</td> <td>Business Meeting</td> <td></td> <td> </td> </tr> <tr> <td>19:00</td> <td>Departure</td> <td>Departure</td> <td> </td> </tr> </tbody> </table>

==File Attachments==

*[[Media:Weirich_M8_slides.pptx | Weirich_M8_slides.pptx]]
*[[Media:Dobson_M8_slides.pdf | Dobson_M8_slides.pdf]]
*[[Media:Aktemur_M8_slides.pdf | Aktemur_M8_slides.pdf]]
*[[Media:Michaelson_M8_slides.ppt | Michaelson_M8_slides.ppt]]
*[[Media:Hermann_M8_slides.pdf | Hermann_M8_slides.pdf]]
*[[Media:Markhall_M8_slides.pdf | Markhall_M8_slides.pdf]]
*[[Media:Schaefer_M8_slides.pdf | Schaefer_M8_slides.pdf]]
*[[Media:Kaestner_M8_slides.pdf | Kaestner_M8_slides.pdf]]
*[[Media:Westbrook_M8_slides.ppt | Westbrook_M8_slides.ppt]]
*[[Media:Apel_M8_slides.pdf | Apel_M8_slides.pdf]]
*[[Media:VanWyk_M8_slides.pdf | VanWyk_M8_slides.pdf]]

WG211/M8Schedule

2011-12-16T14:27:06Z

Walid: /* Program */

[[Category:WG211]]

=IFIP Working Group 2.11, Eighth Meeting=
==March 1-3, 2010, St. Andrews Scotland==

=Organizers=

{kh,ch} at cs dot st hyphen andrews dot ac dot uk

=Registration=

[[https://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=18&modid=2&compid=1 Register here]]

=Meeting location=

The meeting will take place in the center of town, in the Parliament Hall, which is on South Street.

More information about the meeting location is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Meeting schedule=

The meeting will take place over three full days. Plan on leaving on the night of March 3, or on March 4.

=Accomodations=

Here are some links for bed and breakfasts:

[[http://www.thealbanystandrews.co.uk/]]

[[http://www.aboutscotland.co.uk/fife/queensterrace.html]]

[[http://www.deveronhouse.com/1.html]]

[[http://www.5pilmourplace.com/]]

[[http://www.nethan-standrews.com/Nethan_Guest_House/Welcome.html]]

[[http://www.brownlees.co.uk/]]

More information about accomodations is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

The price range is roughly 50-70 pounds per person per night based on two sharing. Single occupancy of double/twin rooms might be possible with some extra charge. Special offers might be possible for several days, e.g. named "Winter Breaks" at the Albany Hotel based on two people sharing.

More bed and breakfasts are available <a "href=http://www.stayinstandrews.co.uk/">here</a>

The nearest airport is Edinburgh, another convenient alternative is Glasgow International. Glasgow Prestwick might be an alternative if you travel Ryanair, but the train journey can take roughly 4 hours and you need to switch train stations in Glasgow, so it is recommended only if you arrive on Sunday afternoon not too late. You can find train connections [[http://www.scotrail.co.uk/ here]]

St Andrews train station is in a small town "Leuchars" a few miles outside St Andrews. From there you can take a scheduled bus until about 10pm. Taxis are available as well for roughly 12-15. If you arrive at Edinburgh Airport, there is a bus into Edinburgh city centre where you get access to the train line via Haymarket (best) or Waverley station. If you need to arrive late on Sunday, please contact the organizers so they can arrange a shuttle bus.

=Ride sharing=

A taxi from the Edinburgh airport to St Andrews would cost roughly 50 to 70 pounds if booked in advance. The organizers will collect travel dates in February and then negotiate shuttle transport or taxi with the University's travel service.

More information about ride sharing is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Attendees=

Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stner, Paul Kelly, Ralf L�mmel, Julia Lawall, Anne Fran�oise Le Meur, Christian Lengauer, Graham Markall, Greg Michaelson, Ian Miguel, John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook
=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/M8Name][Talk title]-] Name

[[WG211/M8Kaestner| Virtual separation of concerns - Toward preprocessors 2.0]] [[Media:Kaestner_M8_slides.pdf | (slides) ]] Christian Kaestner

[[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck

[[WG211/M8Apel| Safe Generation in Feature-Oriented Software Development]] [[Media:Apel_M8_slides.pdf | (slides) ]] Sven Apel

[[WG211/M8Michaelson| Costing by Construction for Box-based System Development]] [[Media:Michaelson_M8_slides.ppt | (slides) ]] Greg Michaelson

[[WG211/M8Dobson| Programming for adaptive sensor networks: back to the future]] [[Media:Dobson_M8_slides.pdf | (slides) ]] Simon Dobson

[[WG211/M8Cook| Online Partial Evaluation of Model Interpreters in Java]] William Cook

[[WG211/M8Aktemur| Relating Staged Computation to the Record Calculus]] [[Media:Aktemur_M8_slides.pdf | (slides) ]] Baris Aktemur

[[WG211/M8Schaeffer| Software Product Lines]] [[Media:Schaefer_M8_slides.pdf | (slides) ]] Ina Schaefer

[[WG211/M8ODonnell| Datapath and control correspond to language and program]] John O'Donnell

[[WG211/M8Hack| AnySL: Efficient and Portable Multi-Language Shading]] Sebastian Hack

[[WG211/M8Hermann| An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks]] [[Media:Hermann_M8_slides.pdf | (slides) ]] Christoph Hermann

[[WG211/M8Visser| Building IDEs for Domain-Specific Languages with Spoofax/IMP]] Eelco Visser

[[WG211/M8Weirich| Generic programming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich

[[WG211/M8VanWyk| Bidirectional Attribute Grammars and their use in Extensible Languages]] [[Media:VanWyk_M8_slides.pdf | (slides) ]] Eric Van Wyk

[[WG211/M8Jefferson| DoMinion : Generating Efficient Constraint Programming Solvers]] Christopher Jefferson

[[WG211/M8Markall| Generating optimised multiplatform finite element solvers from high-level representations]] [[Media:Markhall_M8_slides.pdf | (slides) ]] Graham Markall

[[WG211/M8Westbrook| Mint: Java Multi-stage Programming Using Weak Separability]] [[Media:Westbrook_M8_slides.ppt | (slides) ]] Ed Westbrook

[[WG211/M8Schultz| Language Support for Robust and Reversible Self-Reconfiguration]] Ulrik Schultz

[[WG211/M8Brady| Implementing Domain Specific Languages using Dependent Types and Partial Evaluation]] Ed Brady

Discussion on teaching DSLs/program generation: Ulrik Schultz

Presentation of the German Research Priority Programme Proposal "Manycore": Chris Lengauer

Presentation of [[http://researchr.org/ researchr.org]]: Eelco Visser

=Schedule=
<table align="left" style="width: 850px; height: 244px;" border="0"> <tbody> <tr> <td> </td> <td>Monday</td> <td>Tuesday</td> <td>Wednesday</td> </tr> <tr> <td>9:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Kaestner''' Kaestner]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Weirich''' Weirich]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Dobson''' Dobson]]</td> </tr> <tr> <td>9:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Apel''' Apel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Brady''' Brady]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Jefferson''' Jefferson]]</td> </tr> <tr> <td>10:30</td> <td>Break</td> <td>Break</td> <td>Break</td> </tr> <tr> <td>11:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schaeffer''' Schaefer]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Michaelson''' Michaelson]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8ODonnell''' O'Donnell]]</td> </tr> <tr> <td>11:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Markall''' Markall]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Aktemur''' Aktemur]]</td> <td>Short presentations by Lengauer and Cook</td> </tr> <tr> <td>12:30</td> <td>Lunch</td> <td>Lunch</td> <td>Lunch</td> </tr> <tr> <td>14:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Glueck''' Glueck]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Discuss''' Discussion on teaching program generation and DSLs]]</td> </tr> <tr> <td>14:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Cook''' Cook]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Hermann''' Hermann]]</td> </tr> <tr> <td>15:30</td> <td>Break</td> <td>Short presentation by Visser</td> <td>Break</td> </tr> <tr> <td>16:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Laemmel''' Laemmel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schultz''' Schultz]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8VanWyk''' Van Wyk]]<br /></td> </tr> <tr> <td>16:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Westbrook''' Westbrook]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Visser''' Visser]]</td> <td>17:00 Departure</td> </tr> <tr> <td>17:30</td> <td>Business Meeting</td> <td></td> <td> </td> </tr> <tr> <td>19:00</td> <td>Departure</td> <td>Departure</td> <td> </td> </tr> </tbody> </table>

==File Attachments==

*[[Media:Weirich_M8_slides.pptx | Weirich_M8_slides.pptx]]
*[[Media:Dobson_M8_slides.pdf | Dobson_M8_slides.pdf]]
*[[Media:Aktemur_M8_slides.pdf | Aktemur_M8_slides.pdf]]
*[[Media:Michaelson_M8_slides.ppt | Michaelson_M8_slides.ppt]]
*[[Media:Hermann_M8_slides.pdf | Hermann_M8_slides.pdf]]
*[[Media:Markhall_M8_slides.pdf | Markhall_M8_slides.pdf]]
*[[Media:Schaefer_M8_slides.pdf | Schaefer_M8_slides.pdf]]
*[[Media:Kaestner_M8_slides.pdf | Kaestner_M8_slides.pdf]]
*[[Media:Westbrook_M8_slides.ppt | Westbrook_M8_slides.ppt]]
*[[Media:Apel_M8_slides.pdf | Apel_M8_slides.pdf]]
*[[Media:VanWyk_M8_slides.pdf | VanWyk_M8_slides.pdf]]

WG211/M8Schedule

2011-12-16T14:26:41Z

Walid: /* Program */

[[Category:WG211]]

=IFIP Working Group 2.11, Eighth Meeting=
==March 1-3, 2010, St. Andrews Scotland==

=Organizers=

{kh,ch} at cs dot st hyphen andrews dot ac dot uk

=Registration=

[[https://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=18&modid=2&compid=1 Register here]]

=Meeting location=

The meeting will take place in the center of town, in the Parliament Hall, which is on South Street.

More information about the meeting location is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Meeting schedule=

The meeting will take place over three full days. Plan on leaving on the night of March 3, or on March 4.

=Accomodations=

Here are some links for bed and breakfasts:

[[http://www.thealbanystandrews.co.uk/]]

[[http://www.aboutscotland.co.uk/fife/queensterrace.html]]

[[http://www.deveronhouse.com/1.html]]

[[http://www.5pilmourplace.com/]]

[[http://www.nethan-standrews.com/Nethan_Guest_House/Welcome.html]]

[[http://www.brownlees.co.uk/]]

More information about accomodations is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

The price range is roughly 50-70 pounds per person per night based on two sharing. Single occupancy of double/twin rooms might be possible with some extra charge. Special offers might be possible for several days, e.g. named "Winter Breaks" at the Albany Hotel based on two people sharing.

More bed and breakfasts are available <a "href=http://www.stayinstandrews.co.uk/">here</a>

The nearest airport is Edinburgh, another convenient alternative is Glasgow International. Glasgow Prestwick might be an alternative if you travel Ryanair, but the train journey can take roughly 4 hours and you need to switch train stations in Glasgow, so it is recommended only if you arrive on Sunday afternoon not too late. You can find train connections [[http://www.scotrail.co.uk/ here]]

St Andrews train station is in a small town "Leuchars" a few miles outside St Andrews. From there you can take a scheduled bus until about 10pm. Taxis are available as well for roughly 12-15. If you arrive at Edinburgh Airport, there is a bus into Edinburgh city centre where you get access to the train line via Haymarket (best) or Waverley station. If you need to arrive late on Sunday, please contact the organizers so they can arrange a shuttle bus.

=Ride sharing=

A taxi from the Edinburgh airport to St Andrews would cost roughly 50 to 70 pounds if booked in advance. The organizers will collect travel dates in February and then negotiate shuttle transport or taxi with the University's travel service.

More information about ride sharing is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Attendees=

Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stner, Paul Kelly, Ralf L�mmel, Julia Lawall, Anne Fran�oise Le Meur, Christian Lengauer, Graham Markall, Greg Michaelson, Ian Miguel, John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook
=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/M8Name][Talk title]-] Name

[[WG211/M8Kaestner| Virtual separation of concerns - Toward preprocessors 2.0]] [[Media:Kaestner_M8_slides.pdf | (slides) ]] Christian Kaestner

[[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck

[[WG211/M8Apel| Safe Generation in Feature-Oriented Software Development]] [[Media:Apel_M8_slides.pdf | (slides) ]] Sven Apel

[[WG211/M8Michaelson| Costing by Construction for Box-based System Development]] [[Media:Michaelson_M8_slides.ppt | (slides) ]] Greg Michaelson

[[WG211/M8Dobson| Programming for adaptive sensor networks: back to the future]] [[Media:Dobson_M8_slides.pdf | (slides) ]] Simon Dobson

[[WG211/M8Cook| Online Partial Evaluation of Model Interpreters in Java]] William Cook

[[WG211/M8Aktemur| Relating Staged Computation to the Record Calculus]] [[Media:Aktemur_M8_slides.pdf | (slides) ]] Baris Aktemur

[[WG211/M8Schaeffer| Software Product Lines]] [[Media:Schaefer_M8_slides.pdf | (slides) ]] Ina Schaefer

[[WG211/M8ODonnell| Datapath and control correspond to language and program]] John O'Donnell

[[WG211/M8Hack| AnySL: Efficient and Portable Multi-Language Shading]] Sebastian Hack

[[WG211/M8Hermann| An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks]] [[Media:Hermann_M8_slides.pdf | (slides) ]] Christoph Hermann

[[WG211/M8Visser| Building IDEs for Domain-Specific Languages with Spoofax/IMP]] Eelco Visser

[[WG211/M8Weirich| Generic programming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich

[[WG211/M8VanWyk| Bidirectional Attribute Grammars and their use in Extensible Languages]] [[Media:VanWyk_M8_slides.pdf | (slides) ]] Eric Van Wyk

[[WG211/M8Jefferson| DoMinion : Generating Efficient Constraint Programming Solvers]] Christopher Jefferson

[[WG211/M8Markall| Generating optimised multiplatform finite element solvers from high-level representations]] [[Media:Markhall_M8_slides.ppt | (slides) ]] Graham Markall

[[WG211/M8Westbrook| Mint: Java Multi-stage Programming Using Weak Separability]] [[Media:Westbrook_M8_slides.ppt | (slides) ]] Ed Westbrook

[[WG211/M8Schultz| Language Support for Robust and Reversible Self-Reconfiguration]] Ulrik Schultz

[[WG211/M8Brady| Implementing Domain Specific Languages using Dependent Types and Partial Evaluation]] Ed Brady

Discussion on teaching DSLs/program generation: Ulrik Schultz

Presentation of the German Research Priority Programme Proposal "Manycore": Chris Lengauer

Presentation of [[http://researchr.org/ researchr.org]]: Eelco Visser

=Schedule=
<table align="left" style="width: 850px; height: 244px;" border="0"> <tbody> <tr> <td> </td> <td>Monday</td> <td>Tuesday</td> <td>Wednesday</td> </tr> <tr> <td>9:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Kaestner''' Kaestner]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Weirich''' Weirich]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Dobson''' Dobson]]</td> </tr> <tr> <td>9:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Apel''' Apel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Brady''' Brady]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Jefferson''' Jefferson]]</td> </tr> <tr> <td>10:30</td> <td>Break</td> <td>Break</td> <td>Break</td> </tr> <tr> <td>11:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schaeffer''' Schaefer]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Michaelson''' Michaelson]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8ODonnell''' O'Donnell]]</td> </tr> <tr> <td>11:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Markall''' Markall]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Aktemur''' Aktemur]]</td> <td>Short presentations by Lengauer and Cook</td> </tr> <tr> <td>12:30</td> <td>Lunch</td> <td>Lunch</td> <td>Lunch</td> </tr> <tr> <td>14:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Glueck''' Glueck]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Discuss''' Discussion on teaching program generation and DSLs]]</td> </tr> <tr> <td>14:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Cook''' Cook]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Hermann''' Hermann]]</td> </tr> <tr> <td>15:30</td> <td>Break</td> <td>Short presentation by Visser</td> <td>Break</td> </tr> <tr> <td>16:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Laemmel''' Laemmel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schultz''' Schultz]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8VanWyk''' Van Wyk]]<br /></td> </tr> <tr> <td>16:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Westbrook''' Westbrook]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Visser''' Visser]]</td> <td>17:00 Departure</td> </tr> <tr> <td>17:30</td> <td>Business Meeting</td> <td></td> <td> </td> </tr> <tr> <td>19:00</td> <td>Departure</td> <td>Departure</td> <td> </td> </tr> </tbody> </table>

==File Attachments==

*[[Media:Weirich_M8_slides.pptx | Weirich_M8_slides.pptx]]
*[[Media:Dobson_M8_slides.pdf | Dobson_M8_slides.pdf]]
*[[Media:Aktemur_M8_slides.pdf | Aktemur_M8_slides.pdf]]
*[[Media:Michaelson_M8_slides.ppt | Michaelson_M8_slides.ppt]]
*[[Media:Hermann_M8_slides.pdf | Hermann_M8_slides.pdf]]
*[[Media:Markhall_M8_slides.pdf | Markhall_M8_slides.pdf]]
*[[Media:Schaefer_M8_slides.pdf | Schaefer_M8_slides.pdf]]
*[[Media:Kaestner_M8_slides.pdf | Kaestner_M8_slides.pdf]]
*[[Media:Westbrook_M8_slides.ppt | Westbrook_M8_slides.ppt]]
*[[Media:Apel_M8_slides.pdf | Apel_M8_slides.pdf]]
*[[Media:VanWyk_M8_slides.pdf | VanWyk_M8_slides.pdf]]

WG211/M8Schedule

2011-12-16T14:25:50Z

Walid: /* Program */

[[Category:WG211]]

=IFIP Working Group 2.11, Eighth Meeting=
==March 1-3, 2010, St. Andrews Scotland==

=Organizers=

{kh,ch} at cs dot st hyphen andrews dot ac dot uk

=Registration=

[[https://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=18&modid=2&compid=1 Register here]]

=Meeting location=

The meeting will take place in the center of town, in the Parliament Hall, which is on South Street.

More information about the meeting location is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Meeting schedule=

The meeting will take place over three full days. Plan on leaving on the night of March 3, or on March 4.

=Accomodations=

Here are some links for bed and breakfasts:

[[http://www.thealbanystandrews.co.uk/]]

[[http://www.aboutscotland.co.uk/fife/queensterrace.html]]

[[http://www.deveronhouse.com/1.html]]

[[http://www.5pilmourplace.com/]]

[[http://www.nethan-standrews.com/Nethan_Guest_House/Welcome.html]]

[[http://www.brownlees.co.uk/]]

More information about accomodations is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

The price range is roughly 50-70 pounds per person per night based on two sharing. Single occupancy of double/twin rooms might be possible with some extra charge. Special offers might be possible for several days, e.g. named "Winter Breaks" at the Albany Hotel based on two people sharing.

More bed and breakfasts are available <a "href=http://www.stayinstandrews.co.uk/">here</a>

The nearest airport is Edinburgh, another convenient alternative is Glasgow International. Glasgow Prestwick might be an alternative if you travel Ryanair, but the train journey can take roughly 4 hours and you need to switch train stations in Glasgow, so it is recommended only if you arrive on Sunday afternoon not too late. You can find train connections [[http://www.scotrail.co.uk/ here]]

St Andrews train station is in a small town "Leuchars" a few miles outside St Andrews. From there you can take a scheduled bus until about 10pm. Taxis are available as well for roughly 12-15. If you arrive at Edinburgh Airport, there is a bus into Edinburgh city centre where you get access to the train line via Haymarket (best) or Waverley station. If you need to arrive late on Sunday, please contact the organizers so they can arrange a shuttle bus.

=Ride sharing=

A taxi from the Edinburgh airport to St Andrews would cost roughly 50 to 70 pounds if booked in advance. The organizers will collect travel dates in February and then negotiate shuttle transport or taxi with the University's travel service.

More information about ride sharing is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Attendees=

Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stner, Paul Kelly, Ralf L�mmel, Julia Lawall, Anne Fran�oise Le Meur, Christian Lengauer, Graham Markall, Greg Michaelson, Ian Miguel, John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook
=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/M8Name][Talk title]-] Name

[[WG211/M8Kaestner| Virtual separation of concerns - Toward preprocessors 2.0]] [[Media:Kaestner_M8_slides.pdf | (slides) ]] Christian Kaestner

[[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck

[[WG211/M8Apel| Safe Generation in Feature-Oriented Software Development]] [[Media:Apel_M8_slides.pdf | (slides) ]] Sven Apel

[[WG211/M8Michaelson| Costing by Construction for Box-based System Development]] [[Media:Michaelson_M8_slides.ppt | (slides) ]] Greg Michaelson

[[WG211/M8Dobson| Programming for adaptive sensor networks: back to the future]] [[Media:Dobson_M8_slides.pdf | (slides) ]] Simon Dobson

[[WG211/M8Cook| Online Partial Evaluation of Model Interpreters in Java]] William Cook

[[WG211/M8Aktemur| Relating Staged Computation to the Record Calculus]] [[Media:Aktemur_M8_slides.pdf | (slides) ]] Baris Aktemur

[[WG211/M8Schaeffer| Software Product Lines]] [[Media:Schaefer_M8_slides.pdf | (slides) ]] Ina Schaefer

[[WG211/M8ODonnell| Datapath and control correspond to language and program]] John O'Donnell

[[WG211/M8Hack| AnySL: Efficient and Portable Multi-Language Shading]] Sebastian Hack

[[WG211/M8Hermann| An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks]] [[Media:Hermann_M8_slides.pdf | (slides) ]] Christoph Hermann

[[WG211/M8Visser| Building IDEs for Domain-Specific Languages with Spoofax/IMP]] Eelco Visser

[[WG211/M8Weirich| Generic programming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich

[[WG211/M8VanWyk| Bidirectional Attribute Grammars and their use in Extensible Languages]] [[Media:VanWyk_M8_slides.pdf | (slides) ]] Eric Van Wyk

[[WG211/M8Jefferson| DoMinion : Generating Efficient Constraint Programming Solvers]] Christopher Jefferson

[[WG211/M8Markall| Generating optimised multiplatform finite element solvers from high-level representations]] [[Media:Markhall_M8_slides.ppt | (slides) ]] Graham Markall

[[WG211/M8Westbrook| Mint: Java Multi-stage Programming Using Weak Separability]] [[Media:Westbrook_M8_slides.pdf | (slides) ]] Ed Westbrook

[[WG211/M8Schultz| Language Support for Robust and Reversible Self-Reconfiguration]] Ulrik Schultz

[[WG211/M8Brady| Implementing Domain Specific Languages using Dependent Types and Partial Evaluation]] Ed Brady

Discussion on teaching DSLs/program generation: Ulrik Schultz

Presentation of the German Research Priority Programme Proposal "Manycore": Chris Lengauer

Presentation of [[http://researchr.org/ researchr.org]]: Eelco Visser

=Schedule=
<table align="left" style="width: 850px; height: 244px;" border="0"> <tbody> <tr> <td> </td> <td>Monday</td> <td>Tuesday</td> <td>Wednesday</td> </tr> <tr> <td>9:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Kaestner''' Kaestner]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Weirich''' Weirich]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Dobson''' Dobson]]</td> </tr> <tr> <td>9:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Apel''' Apel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Brady''' Brady]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Jefferson''' Jefferson]]</td> </tr> <tr> <td>10:30</td> <td>Break</td> <td>Break</td> <td>Break</td> </tr> <tr> <td>11:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schaeffer''' Schaefer]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Michaelson''' Michaelson]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8ODonnell''' O'Donnell]]</td> </tr> <tr> <td>11:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Markall''' Markall]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Aktemur''' Aktemur]]</td> <td>Short presentations by Lengauer and Cook</td> </tr> <tr> <td>12:30</td> <td>Lunch</td> <td>Lunch</td> <td>Lunch</td> </tr> <tr> <td>14:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Glueck''' Glueck]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Discuss''' Discussion on teaching program generation and DSLs]]</td> </tr> <tr> <td>14:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Cook''' Cook]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Hermann''' Hermann]]</td> </tr> <tr> <td>15:30</td> <td>Break</td> <td>Short presentation by Visser</td> <td>Break</td> </tr> <tr> <td>16:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Laemmel''' Laemmel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schultz''' Schultz]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8VanWyk''' Van Wyk]]<br /></td> </tr> <tr> <td>16:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Westbrook''' Westbrook]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Visser''' Visser]]</td> <td>17:00 Departure</td> </tr> <tr> <td>17:30</td> <td>Business Meeting</td> <td></td> <td> </td> </tr> <tr> <td>19:00</td> <td>Departure</td> <td>Departure</td> <td> </td> </tr> </tbody> </table>

==File Attachments==

*[[Media:Weirich_M8_slides.pptx | Weirich_M8_slides.pptx]]
*[[Media:Dobson_M8_slides.pdf | Dobson_M8_slides.pdf]]
*[[Media:Aktemur_M8_slides.pdf | Aktemur_M8_slides.pdf]]
*[[Media:Michaelson_M8_slides.ppt | Michaelson_M8_slides.ppt]]
*[[Media:Hermann_M8_slides.pdf | Hermann_M8_slides.pdf]]
*[[Media:Markhall_M8_slides.pdf | Markhall_M8_slides.pdf]]
*[[Media:Schaefer_M8_slides.pdf | Schaefer_M8_slides.pdf]]
*[[Media:Kaestner_M8_slides.pdf | Kaestner_M8_slides.pdf]]
*[[Media:Westbrook_M8_slides.ppt | Westbrook_M8_slides.ppt]]
*[[Media:Apel_M8_slides.pdf | Apel_M8_slides.pdf]]
*[[Media:VanWyk_M8_slides.pdf | VanWyk_M8_slides.pdf]]

WG211/M8Schedule

2011-12-16T14:22:13Z

Walid: /* Program */

[[Category:WG211]]

=IFIP Working Group 2.11, Eighth Meeting=
==March 1-3, 2010, St. Andrews Scotland==

=Organizers=

{kh,ch} at cs dot st hyphen andrews dot ac dot uk

=Registration=

[[https://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=18&modid=2&compid=1 Register here]]

=Meeting location=

The meeting will take place in the center of town, in the Parliament Hall, which is on South Street.

More information about the meeting location is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Meeting schedule=

The meeting will take place over three full days. Plan on leaving on the night of March 3, or on March 4.

=Accomodations=

Here are some links for bed and breakfasts:

[[http://www.thealbanystandrews.co.uk/]]

[[http://www.aboutscotland.co.uk/fife/queensterrace.html]]

[[http://www.deveronhouse.com/1.html]]

[[http://www.5pilmourplace.com/]]

[[http://www.nethan-standrews.com/Nethan_Guest_House/Welcome.html]]

[[http://www.brownlees.co.uk/]]

More information about accomodations is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

The price range is roughly 50-70 pounds per person per night based on two sharing. Single occupancy of double/twin rooms might be possible with some extra charge. Special offers might be possible for several days, e.g. named "Winter Breaks" at the Albany Hotel based on two people sharing.

More bed and breakfasts are available <a "href=http://www.stayinstandrews.co.uk/">here</a>

The nearest airport is Edinburgh, another convenient alternative is Glasgow International. Glasgow Prestwick might be an alternative if you travel Ryanair, but the train journey can take roughly 4 hours and you need to switch train stations in Glasgow, so it is recommended only if you arrive on Sunday afternoon not too late. You can find train connections [[http://www.scotrail.co.uk/ here]]

St Andrews train station is in a small town "Leuchars" a few miles outside St Andrews. From there you can take a scheduled bus until about 10pm. Taxis are available as well for roughly 12-15. If you arrive at Edinburgh Airport, there is a bus into Edinburgh city centre where you get access to the train line via Haymarket (best) or Waverley station. If you need to arrive late on Sunday, please contact the organizers so they can arrange a shuttle bus.

=Ride sharing=

A taxi from the Edinburgh airport to St Andrews would cost roughly 50 to 70 pounds if booked in advance. The organizers will collect travel dates in February and then negotiate shuttle transport or taxi with the University's travel service.

More information about ride sharing is available [[http://www-fp.cs.st-andrews.ac.uk/wg211-meeting/ here]].

=Attendees=

Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stner, Paul Kelly, Ralf L�mmel, Julia Lawall, Anne Fran�oise Le Meur, Christian Lengauer, Graham Markall, Greg Michaelson, Ian Miguel, John O'Donnell, Ina Schaefer, Ulrik Schultz, Eric Van Wyk, Eelco Visser, Stephanie Weirich, Ed Westbrook
=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/M8Name][Talk title]-] Name

[[WG211/M8Kaestner| Virtual separation of concerns - Toward preprocessors 2.0]] [[Media:Kaestner_M8_slides.pdf | (slides) ]] Christian Kaestner

[[WG211/M8Glueck| An experiment with the fourth Futamura projection]] Robert Glueck

[[WG211/M8Apel| Safe Generation in Feature-Oriented Software Development]] [[Media:Apel_M8_slides.pdf | (slides) ]] Sven Apel

[[WG211/M8Michaelson| Costing by Construction for Box-based System Development]] [[Media:Michaelson_M8_slides.ppt | (slides) ]] Greg Michaelson

[[WG211/M8Dobson| Programming for adaptive sensor networks: back to the future]] [[Media:Dobson_M8_slides.pdf | (slides) ]] Simon Dobson

[[WG211/M8Cook| Online Partial Evaluation of Model Interpreters in Java]] William Cook

[[WG211/M8Aktemur| Relating Staged Computation to the Record Calculus]] [[Media:Aktemur_M8_slides.pdf | (slides) ]] Baris Aktemur

[[WG211/M8Schaeffer| Software Product Lines]] [[Media:Schaefer_M8_slides.pdf | (slides) ]] Ina Schaefer

[[WG211/M8ODonnell| Datapath and control correspond to language and program]] John O'Donnell

[[WG211/M8Hack| AnySL: Efficient and Portable Multi-Language Shading]] Sebastian Hack

[[WG211/M8Hermann| An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks]] [[Media:Hermann_M8_slides.pdf | (slides) ]] Christoph Hermann

[[WG211/M8Visser| Building IDEs for Domain-Specific Languages with Spoofax/IMP]] Eelco Visser

[[WG211/M8Weirich| Generic programming with dependent types]] [[Media:Weirich_M8_slides.pptx | (slides) ]] Stephanie Weirich

[[WG211/M8VanWyk| Bidirectional Attribute Grammars and their use in Extensible Languages]] [[Media:VanWyk_M8_slides.pdf | (slides) ]] Eric Van Wyk

[[WG211/M8Jefferson| DoMinion : Generating Efficient Constraint Programming Solvers]] Christopher Jefferson

[[WG211/M8Markall| Generating optimised multiplatform finite element solvers from high-level representations]] [[Media:Markhall_M8_slides.pdf | (slides) ]] Graham Markall

[[WG211/M8Westbrook| Mint: Java Multi-stage Programming Using Weak Separability]] [[Media:Westbrook_M8_slides.pdf | (slides) ]] Ed Westbrook

[[WG211/M8Schultz| Language Support for Robust and Reversible Self-Reconfiguration]] Ulrik Schultz

[[WG211/M8Brady| Implementing Domain Specific Languages using Dependent Types and Partial Evaluation]] Ed Brady

Discussion on teaching DSLs/program generation: Ulrik Schultz

Presentation of the German Research Priority Programme Proposal "Manycore": Chris Lengauer

Presentation of [[http://researchr.org/ researchr.org]]: Eelco Visser

=Schedule=
<table align="left" style="width: 850px; height: 244px;" border="0"> <tbody> <tr> <td> </td> <td>Monday</td> <td>Tuesday</td> <td>Wednesday</td> </tr> <tr> <td>9:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Kaestner''' Kaestner]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Weirich''' Weirich]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Dobson''' Dobson]]</td> </tr> <tr> <td>9:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Apel''' Apel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Brady''' Brady]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Jefferson''' Jefferson]]</td> </tr> <tr> <td>10:30</td> <td>Break</td> <td>Break</td> <td>Break</td> </tr> <tr> <td>11:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schaeffer''' Schaefer]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Michaelson''' Michaelson]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8ODonnell''' O'Donnell]]</td> </tr> <tr> <td>11:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Markall''' Markall]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Aktemur''' Aktemur]]</td> <td>Short presentations by Lengauer and Cook</td> </tr> <tr> <td>12:30</td> <td>Lunch</td> <td>Lunch</td> <td>Lunch</td> </tr> <tr> <td>14:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Glueck''' Glueck]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Discuss''' Discussion on teaching program generation and DSLs]]</td> </tr> <tr> <td>14:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Cook''' Cook]]</td> <td>Excursion</td> <td>[[http://resource-aware.org/do/view/WG211/M8Hermann''' Hermann]]</td> </tr> <tr> <td>15:30</td> <td>Break</td> <td>Short presentation by Visser</td> <td>Break</td> </tr> <tr> <td>16:00</td> <td>[[http://resource-aware.org/do/view/WG211/M8Laemmel''' Laemmel]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Schultz''' Schultz]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8VanWyk''' Van Wyk]]<br /></td> </tr> <tr> <td>16:45</td> <td>[[http://resource-aware.org/do/view/WG211/M8Westbrook''' Westbrook]]</td> <td>[[http://resource-aware.org/do/view/WG211/M8Visser''' Visser]]</td> <td>17:00 Departure</td> </tr> <tr> <td>17:30</td> <td>Business Meeting</td> <td></td> <td> </td> </tr> <tr> <td>19:00</td> <td>Departure</td> <td>Departure</td> <td> </td> </tr> </tbody> </table>

==File Attachments==

*[[Media:Weirich_M8_slides.pptx | Weirich_M8_slides.pptx]]
*[[Media:Dobson_M8_slides.pdf | Dobson_M8_slides.pdf]]
*[[Media:Aktemur_M8_slides.pdf | Aktemur_M8_slides.pdf]]
*[[Media:Michaelson_M8_slides.ppt | Michaelson_M8_slides.ppt]]
*[[Media:Hermann_M8_slides.pdf | Hermann_M8_slides.pdf]]
*[[Media:Markhall_M8_slides.pdf | Markhall_M8_slides.pdf]]
*[[Media:Schaefer_M8_slides.pdf | Schaefer_M8_slides.pdf]]
*[[Media:Kaestner_M8_slides.pdf | Kaestner_M8_slides.pdf]]
*[[Media:Westbrook_M8_slides.ppt | Westbrook_M8_slides.ppt]]
*[[Media:Apel_M8_slides.pdf | Apel_M8_slides.pdf]]
*[[Media:VanWyk_M8_slides.pdf | VanWyk_M8_slides.pdf]]

WG211/M8Laemmel

2011-12-16T14:18:12Z

Walid:

[[Category:WG211]]

=Recovering Grammar Relationships for the Java Language Specification=
==Ralf Lämmel==

We describe a refined method for grammar convergence, and we use it in a major study, where we recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformation chains that capture all accidental or intended differences between the JLS grammars. This method is mechanized and driven by nominal and structural differences between pairs of grammars that are subject to asymmetric, binary convergence steps. We present the underlying operator suite for grammar transformation in detail, and we illustrate the suite with many examples of transformations on the JLS grammars. We also describe the extraction effort, which was needed to make the JLS grammars amenable to automated processing. We include substantial metadata about the convergence process for the JLS so that the effort becomes reproducible and transparent.

WG211/M7Schedule

2011-12-16T14:13:55Z

Walid:

[[Category:WG211]]

IFIP Working Group 2.11 Seventh Meeting<br>
April 15-17, 2009, Mountain View, California

<h1>Registration</h1>

[[https://cohesion.rice.edu/Services/EventReg/?event=IF09 Registration]]. The fee is $180. Please register by March 20.

<h1>Meeting schedule</h1>

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.

<h1>Accomodations</h1>

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.

<p>

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:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=San+Francisco+airport&daddr=37404324,-122.068276+to:37.394744,-122.078426&hl=en&geocode=3BFTiZOgIdJju5-A&mra=dpe&mrcr=0&mrsp=1&sz=15&via=1&rtol=0,2&sll=37.400574,-122.076988&sspn=0.024376,0.038624&ie=UTF8&z=15 SFO -> Mountain View]]

Walking directions:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=Moffett+Field+Nas&daddr=NACC+3BFXjdOgIdVZK5-&sll=37.412215,-122.057955&sspn=0.00513,0.012918&hl=en&mra=cc&rtol=0,1&dirflg=w&ie=UTF8&z=17 Lodge to NACC]]

[[http://maps.google.com/maps?f=d&source=s_d&saddr=37.395681,-122.07761&daddr=NACC+3BFXjdOgIdVZK5-A&hl=en&mra=dme&mrcr=0&mrsp=0&sz=16&rtol=1&dirflg=w&sll=37.395988,-122.0751&sspn=0.010927,0.015922&ie=UTF8&ll=37.404256,-122.066946&spn=0.020523,0.05167&z=15 Mountain View to NACC]]

[[http://www.caltrain.com/caltrain_map.html 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).

[[http://www.flysfo.com/web/page/tofrom/transp-serv/pubtrans/bar-pickup.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
[[http://www.flysfo.com/web/page/atsfo/airtrain/map/index.html 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:

[[http://www.flysfo.com/web/page/tofrom/transp-serv/to-sb/dtd.html 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 [[http://ti.arc.nasa.gov/event/nfm09/travel/ here]]

<h1>Ride sharing</h1>

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.

<h1>Attendees</h1>

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

<h1>Program</h1>

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

<h1>Schedule</h1>
<h3>Wednesday</h3>

<b>9:15-12:00</b>

[[WG211/M7Apel| FeatureHouse: Language-Independent, Automated Software Composition]]
Sven Apel [[WG211/M7Apel |(slides)]]

[[WG211/M7Czarnecki1| Implementing feature algebra in logics]] Krzysztof Czarnecki

[[WG211/M7Czarnecki2| Lenses for code]] Krzysztof Czarnecki

[[WG211/M7Hermann| Timing Verification of Hume Box Compositions via Abstractions in Agda2]]
Christoph Herrmann

<b>1:30-3:00</b>

[[WG211/M7Kamin| Typing program generators using the record calculus]]
Sam Kamin (with T. Baris Aktemur) [[WG211/M7Kamin| (slides)]]

[[WG211/M7Weirich1| Adventures in Dependently-Typed Metatheory]]
Stephanie Weirich [[WG211/M7Weirich1| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7VanWyk| Verifiable Composition of Grammars]]
Eric Van Wyk [[WG211/M7VanWyk| (slides)]]

[[WG211/M7Sloane| A Pure Object-Oriented Embedding of Attribute Grammars]] Tony Sloane [[WG211/M7Sloane| (slides)]]

<h3>Thursday</h3>

<b>9:15-12:00</b>

[[WG211/M7Kelly| SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata]]
Paul H J Kelly [[WG211/M7Kelly| (slides)]]

[[WG211/M7Lawall| Enforcing the Use of API Functions in Linux Code]]
Julia Lawall [[WG211/M7Lawall| (slides)]]

[[WG211/M7Reveillere| Automatic Generation of Network Protocol Gateways]]
Laurent R�veill�re

[[WG211/M7Cook| Slice, Partition, and Reforest for Data Access and Distribution]]
William R. Cook [[WG211/M7Cook| (slides)]]

<b>1:30-3:00</b>

[[WG211/M7Smith1| Calculating Refinements in Algorithm and System Design]]
Doug Smith

[[WG211/M7Carrette| Modern Mechanized Mathematics]]
Jacques Carette [[WG211/M7Carrette| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7Shan| Self-applicable probabilistic inference without interpretive overhead]]
Oleg Kiselyov and Chung-chieh Shan [[WG211/M7Shan| (slides)]]

[[WG211/M7Stump| Purifying Natural Deduction Using Sequent Calculus]]
Aaron Stump [[WG211/M7Stump| (slides)]]

<h3>Friday</h3>

<b>9:15-12:00</b>

[[WG211/M7Sheard | Sparse Bitmaps for pattern match coverage]] Tim Sheard

[[WG211/M7Smaragdakis| Expressive and Safe Static Reflection with MorphJ]] Yannis Smaragdakis [[WG211/M7Smaragdakis| (slides)]]

[[WG211/M7Bodik| Program Synthesis by Sketching]] Rastislav Bodik [[WG211/M7Bodik| (slides)]]

[[WG211/M7Taha| Java Mint]]
Walid Taha [[WG211/M7Taha| (slides)]]

WG211/M7Schedule

2011-12-16T14:12:16Z

Walid:

[[Category:WG211]]

IFIP Working Group 2.11 Seventh Meeting<br>
April 15-17, 2009, Mountain View, California

<h1>Registration</h1>

[[https://cohesion.rice.edu/Services/EventReg/?event=IF09 Registration]]. The fee is $180. Please register by March 20.

<h1>Meeting schedule</h1>

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.

<h1>Accomodations</h1>

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.

<p>

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:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=San+Francisco+airport&daddr=37404324,-122.068276+to:37.394744,-122.078426&hl=en&geocode=3BFTiZOgIdJju5-A&mra=dpe&mrcr=0&mrsp=1&sz=15&via=1&rtol=0,2&sll=37.400574,-122.076988&sspn=0.024376,0.038624&ie=UTF8&z=15 SFO -> Mountain View]]

Walking directions:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=Moffett+Field+Nas&daddr=NACC+3BFXjdOgIdVZK5-&sll=37.412215,-122.057955&sspn=0.00513,0.012918&hl=en&mra=cc&rtol=0,1&dirflg=w&ie=UTF8&z=17 Lodge to NACC]]

[[http://maps.google.com/maps?f=d&source=s_d&saddr=37.395681,-122.07761&daddr=NACC+3BFXjdOgIdVZK5-A&hl=en&mra=dme&mrcr=0&mrsp=0&sz=16&rtol=1&dirflg=w&sll=37.395988,-122.0751&sspn=0.010927,0.015922&ie=UTF8&ll=37.404256,-122.066946&spn=0.020523,0.05167&z=15 Mountain View to NACC]]

[[http://www.caltrain.com/caltrain_map.html 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).

[[http://www.flysfo.com/web/page/tofrom/transp-serv/pubtrans/bar-pickup.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
[[http://www.flysfo.com/web/page/atsfo/airtrain/map/index.html 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:

[[http://www.flysfo.com/web/page/tofrom/transp-serv/to-sb/dtd.html 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 [[http://ti.arc.nasa.gov/event/nfm09/travel/ here]]

<h1>Ride sharing</h1>

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.

<h1>Attendees</h1>

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

<h1>Program</h1>

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

<h1>Schedule</h1>
<h3>Wednesday</h3>

<b>9:15-12:00</b>

[[WG211/M7Apel| FeatureHouse: Language-Independent, Automated Software Composition]]
Sven Apel [[WG211/M7Apel |(slides)]]

[[WG211/M7Czarnecki1| Implementing feature algebra in logics]] Krzysztof Czarnecki

[[WG211/M7Czarnecki2| Lenses for code]] Krzysztof Czarnecki

[[WG211/M7Hermann| Timing Verification of Hume Box Compositions via Abstractions in Agda2]]
Christoph Herrmann

<b>1:30-3:00</b>

[[WG211/M7Kamin| Typing program generators using the record calculus]]
Sam Kamin (with T. Baris Aktemur) [[WG211/M7Kamin| (slides)]]

[[WG211/M7Weirich1 Adventures in Dependently-Typed Metatheory]]
Stephanie Weirich [[WG211/M7Weirich1| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7VanWyk| Verifiable Composition of Grammars]]
Eric Van Wyk [[WG211/M7VanWyk| (slides)]]

[[WG211/M7Sloane| A Pure Object-Oriented Embedding of Attribute Grammars]] Tony Sloane [[WG211/M7Sloane| (slides)]]

<h3>Thursday</h3>

<b>9:15-12:00</b>

[[WG211/M7Kelly| SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata]]
Paul H J Kelly [[WG211/M7Kelly| (slides)]]

[[WG211/M7Lawall| Enforcing the Use of API Functions in Linux Code]]
Julia Lawall [[WG211/M7Lawall| (slides)]]

[[WG211/M7Reveillere| Automatic Generation of Network Protocol Gateways]]
Laurent R�veill�re

[[WG211/M7Cook| Slice, Partition, and Reforest for Data Access and Distribution]]
William R. Cook [[WG211/M7Cook| (slides)]]

<b>1:30-3:00</b>

[[WG211/M7Smith1| Calculating Refinements in Algorithm and System Design]]
Doug Smith

[[WG211/M7Carrette| Modern Mechanized Mathematics]]
Jacques Carette [[WG211/M7Carrette| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7Shan| Self-applicable probabilistic inference without interpretive overhead]]
Oleg Kiselyov and Chung-chieh Shan [[WG211/M7Shan| (slides)]]

[[WG211/M7Stump| Purifying Natural Deduction Using Sequent Calculus]]
Aaron Stump [[WG211/M7Stump| (slides)]]

<h3>Friday</h3>

<b>9:15-12:00</b>

[[WG211/M7Sheard| Sparse Bitmaps for pattern match coverage]] Tim Sheard

[[WG211/M7Smaragdakis| Expressive and Safe Static Reflection with MorphJ]] Yannis Smaragdakis [[WG211/M7Smaragdakis| (slides)]]

[[WG211/M7Bodik| Program Synthesis by Sketching]] Rastislav Bodik [[WG211/M7Bodik| (slides)]]

[[WG211/M7Taha| Java Mint]]
Walid Taha [[WG211/M7Taha| (slides)]]

WG211/M7Schedule

2011-12-16T14:08:33Z

Walid:

[[Category:WG211]]

IFIP Working Group 2.11 Seventh Meeting<br>
April 15-17, 2009, Mountain View, California

<h1>Registration</h1>

[[https://cohesion.rice.edu/Services/EventReg/?event=IF09 Registration]]. The fee is $180. Please register by March 20.

<h1>Meeting schedule</h1>

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.

<h1>Accomodations</h1>

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.

<p>

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:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=San+Francisco+airport&daddr=37404324,-122.068276+to:37.394744,-122.078426&hl=en&geocode=3BFTiZOgIdJju5-A&mra=dpe&mrcr=0&mrsp=1&sz=15&via=1&rtol=0,2&sll=37.400574,-122.076988&sspn=0.024376,0.038624&ie=UTF8&z=15 SFO -> Mountain View]]

Walking directions:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=Moffett+Field+Nas&daddr=NACC+3BFXjdOgIdVZK5-&sll=37.412215,-122.057955&sspn=0.00513,0.012918&hl=en&mra=cc&rtol=0,1&dirflg=w&ie=UTF8&z=17 Lodge to NACC]]

[[http://maps.google.com/maps?f=d&source=s_d&saddr=37.395681,-122.07761&daddr=NACC+3BFXjdOgIdVZK5-A&hl=en&mra=dme&mrcr=0&mrsp=0&sz=16&rtol=1&dirflg=w&sll=37.395988,-122.0751&sspn=0.010927,0.015922&ie=UTF8&ll=37.404256,-122.066946&spn=0.020523,0.05167&z=15 Mountain View to NACC]]

[[http://www.caltrain.com/caltrain_map.html 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).

[[http://www.flysfo.com/web/page/tofrom/transp-serv/pubtrans/bar-pickup.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
[[http://www.flysfo.com/web/page/atsfo/airtrain/map/index.html 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:

[[http://www.flysfo.com/web/page/tofrom/transp-serv/to-sb/dtd.html 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 [[http://ti.arc.nasa.gov/event/nfm09/travel/ here]]

<h1>Ride sharing</h1>

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.

<h1>Attendees</h1>

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

<h1>Program</h1>

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

<h1>Schedule</h1>
<h3>Wednesday</h3>

<b>9:15-12:00</b>

[[WG211/M7Apel| FeatureHouse: Language-Independent, Automated Software Composition]]
Sven Apel [[WG211/M7Apel (slides)]]

[[WG211/M7Czarnecki1| Implementing feature algebra in logics]] Krzysztof Czarnecki

[[WG211/M7Czarnecki2| Lenses for code]] Krzysztof Czarnecki

[[WG211/M7Hermann| Timing Verification of Hume Box Compositions via Abstractions in Agda2]]
Christoph Herrmann

<b>1:30-3:00</b>

[[WG211/M7Kamin| Typing program generators using the record calculus]]
Sam Kamin (with T. Baris Aktemur) [[WG211/M7Kamin| (slides)]]

[[WG211/M7Weirich1 Adventures in Dependently-Typed Metatheory]]
Stephanie Weirich [[WG211/M7Weirich1 (slides)]]

<b>3:30-4:45</b>

[[WG211/M7VanWyk| Verifiable Composition of Grammars]]
Eric Van Wyk [[WG211/M7VanWyk| (slides)]]

[[WG211/M7Sloane| A Pure Object-Oriented Embedding of Attribute Grammars]] Tony Sloane [[WG211/M7Sloane| (slides)]]

<h3>Thursday</h3>

<b>9:15-12:00</b>

[[WG211/M7Kelly| SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata]]
Paul H J Kelly [[WG211/M7Kelly| (slides)]]

[[WG211/M7Lawall| Enforcing the Use of API Functions in Linux Code]]
Julia Lawall [[WG211/M7Lawall| (slides)]]

[[WG211/M7Reveillere| Automatic Generation of Network Protocol Gateways]]
Laurent R�veill�re

[[WG211/M7Cook| Slice, Partition, and Reforest for Data Access and Distribution]]
William R. Cook [[WG211/M7Cook| (slides)]]

<b>1:30-3:00</b>

[[WG211/M7Smith1| Calculating Refinements in Algorithm and System Design]]
Doug Smith

[[WG211/M7Carrette| Modern Mechanized Mathematics]]
Jacques Carette [[WG211/M7Carrette| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7Shan| Self-applicable probabilistic inference without interpretive overhead]]
Oleg Kiselyov and Chung-chieh Shan [[WG211/M7Shan| (slides)]]

[[WG211/M7Stump| Purifying Natural Deduction Using Sequent Calculus]]
Aaron Stump [[WG211/M7Stump| (slides)]]

<h3>Friday</h3>

<b>9:15-12:00</b>

[[WG211/M7Sheard| Sparse Bitmaps for pattern match coverage]] Tim Sheard

[[WG211/M7Smaragdakis| Expressive and Safe Static Reflection with MorphJ]] Yannis Smaragdakis [[WG211/M7Smaragdakis| (slides)]]

[[WG211/M7Bodik| Program Synthesis by Sketching]] Rastislav Bodik [[WG211/M7Bodik| (slides)]]

[[WG211/M7Taha| Java Mint]]
Walid Taha [[WG211/M7Taha| (slides)]]

WG211/M7Schedule

2011-12-16T14:06:01Z

Walid:

[[Category:WG211]]

IFIP Working Group 2.11 Seventh Meeting<br>
April 15-17, 2009, Mountain View, California

<h1>Registration</h1>

[[https://cohesion.rice.edu/Services/EventReg/?event=IF09 Registration]]. The fee is $180. Please register by March 20.

<h1>Meeting schedule</h1>

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.

<h1>Accomodations</h1>

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.

<p>

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:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=San+Francisco+airport&daddr=37404324,-122.068276+to:37.394744,-122.078426&hl=en&geocode=3BFTiZOgIdJju5-A&mra=dpe&mrcr=0&mrsp=1&sz=15&via=1&rtol=0,2&sll=37.400574,-122.076988&sspn=0.024376,0.038624&ie=UTF8&z=15 SFO -> Mountain View]]

Walking directions:

[[http://maps.google.com/maps?f=d&source=s_d&saddr=Moffett+Field+Nas&daddr=NACC+3BFXjdOgIdVZK5-&sll=37.412215,-122.057955&sspn=0.00513,0.012918&hl=en&mra=cc&rtol=0,1&dirflg=w&ie=UTF8&z=17 Lodge to NACC]]

[[http://maps.google.com/maps?f=d&source=s_d&saddr=37.395681,-122.07761&daddr=NACC+3BFXjdOgIdVZK5-A&hl=en&mra=dme&mrcr=0&mrsp=0&sz=16&rtol=1&dirflg=w&sll=37.395988,-122.0751&sspn=0.010927,0.015922&ie=UTF8&ll=37.404256,-122.066946&spn=0.020523,0.05167&z=15 Mountain View to NACC]]

[[http://www.caltrain.com/caltrain_map.html 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).

[[http://www.flysfo.com/web/page/tofrom/transp-serv/pubtrans/bar-pickup.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
[[http://www.flysfo.com/web/page/atsfo/airtrain/map/index.html 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:

[[http://www.flysfo.com/web/page/tofrom/transp-serv/to-sb/dtd.html 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 [[http://ti.arc.nasa.gov/event/nfm09/travel/ here]]

<h1>Ride sharing</h1>

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.

<h1>Attendees</h1>

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

<h1>Program</h1>

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

<h1>Schedule</h1>
<h3>Wednesday</h3>

<b>9:15-12:00</b>

[[WG211/M7Apel FeatureHouse: Language-Independent, Automated Software Composition]]
Sven Apel [[WG211/M7Apel (slides)]]

[[WG211/M7Czarnecki1| Implementing feature algebra in logics]] Krzysztof Czarnecki

[[WG211/M7Czarnecki2| Lenses for code]] Krzysztof Czarnecki

[[WG211/M7Hermann| Timing Verification of Hume Box Compositions via Abstractions in Agda2]]
Christoph Herrmann

<b>1:30-3:00</b>

[[WG211/M7Kamin| Typing program generators using the record calculus]]
Sam Kamin (with T. Baris Aktemur) [[WG211/M7Kamin| (slides)]]

[[WG211/M7Weirich1 Adventures in Dependently-Typed Metatheory]]
Stephanie Weirich [[WG211/M7Weirich1 (slides)]]

<b>3:30-4:45</b>

[[WG211/M7VanWyk| Verifiable Composition of Grammars]]
Eric Van Wyk [[WG211/M7VanWyk| (slides)]]

[[WG211/M7Sloane| A Pure Object-Oriented Embedding of Attribute Grammars]] Tony Sloane [[WG211/M7Sloane| (slides)]]

<h3>Thursday</h3>

<b>9:15-12:00</b>

[[WG211/M7Kelly| SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata]]
Paul H J Kelly [[WG211/M7Kelly| (slides)]]

[[WG211/M7Lawall| Enforcing the Use of API Functions in Linux Code]]
Julia Lawall [[WG211/M7Lawall| (slides)]]

[[WG211/M7Reveillere| Automatic Generation of Network Protocol Gateways]]
Laurent R�veill�re

[[WG211/M7Cook| Slice, Partition, and Reforest for Data Access and Distribution]]
William R. Cook [[WG211/M7Cook| (slides)]]

<b>1:30-3:00</b>

[[WG211/M7Smith1| Calculating Refinements in Algorithm and System Design]]
Doug Smith

[[WG211/M7Carrette| Modern Mechanized Mathematics]]
Jacques Carette [[WG211/M7Carrette| (slides)]]

<b>3:30-4:45</b>

[[WG211/M7Shan| Self-applicable probabilistic inference without interpretive overhead]]
Oleg Kiselyov and Chung-chieh Shan [[WG211/M7Shan| (slides)]]

[[WG211/M7Stump| Purifying Natural Deduction Using Sequent Calculus]]
Aaron Stump [[WG211/M7Stump| (slides)]]

<h3>Friday</h3>

<b>9:15-12:00</b>

[[WG211/M7Sheard| Sparse Bitmaps for pattern match coverage]] Tim Sheard

[[WG211/M7Smaragdakis| Expressive and Safe Static Reflection with MorphJ]] Yannis Smaragdakis [[WG211/M7Smaragdakis| (slides)]]

[[WG211/M7Bodik| Program Synthesis by Sketching]] Rastislav Bodik [[WG211/M7Bodik| (slides)]]

[[WG211/M7Taha| Java Mint]]
Walid Taha [[WG211/M7Taha| (slides)]]

WG211/M6Schedule

2011-12-16T13:43:08Z

Walid:

[[Category:WG211]]

IFIP Working Group 2.11 Sixth Meeting<br>
June 19-21, 2008, Passau, DE.

<h1 class="style3">
Registration
</h1>

Meeting Fee: EUR 160, payable by credit card or money transfer [[http://shop.uni-passau.de (payment page)]]. This includes breaks and meals.

In order to plan the meeting, we would like your firm registration deadline by
'''May 18'''. Hotel rooms are being held until then. If you plan a talk, please
enter a title and abstract on the WG's Web site.

<h1 class="style3">
Accommodation
</h1>

We have made the following room reservations:

<a href="http://www.ichotelsgroup.com/h/d/hi/1/en/home">
Holiday Inn</a> (tel: +49/851/59000):
30 rooms (single: EUR 81, double: EUR 95.50). Use the keyword "Uni Passau" when contacting the hotel.

<a href="http://www.weisser-hase.de">
Hotel Weisser Hase</a> (tel: +49/851/92110)
8 single rooms (single: EUR 69, double: EUR: 99). Use the keyword "WG 2.11" when contacting the hotel.

These and other hotels are in walking distance of the university.
'''Please book directly.'''

<h1>
Registered Attendees (as of May 14)
</h1>

Apel,
Brady,
Consel,
Cook,
Danvy,
Denney,
Fischer,
Glueck,
Groesslinger,
Hammond,
Herrmann,
Laemmel,
Lawall,
Le Meur,
Lengauer,
Moggi,
O'Donnell,
Schultz,
Sloane,
Striegnitz,
Visser

<h1 class="style3">
Schedule
</h1>

The meeting will begin on the morning of Thursday, June 19 and end early in the afternoon of Saturday, June 21.

<h1 class="style3">
Transportation
</h1>

If you come from overseas, fly into Frankfurt and take the train. The ride is
about 4 hours on the major East-West train line from Basel to Budapest.

If you come from somewhere in Europe, fly to Munich and take the train. This is
a local line, and the ride is about 2 hours. To get to the train, you should take a bus from the airport to Freising. You can get train tickets at the central area of the airport. This covers the bus as well.

More information about travel from both the Frankfurt airport and the Munich airport is available
[[http://www.infosun.fim.uni-passau.de/cl/location/ here]]. Please ignore the hotel information on this page.

It is also possible to fly to Vienna and then take a direct train to Passau (3 hours). To get to the train, take a bus
from the airport to the train station Vienna West (German: Wien West).

<h1 class="style3">
Meeting location
</h1>

* [[Media:passaumap.pdf | passaumap.pdf ]]: Map to the meeting location (20 minute walk from the Holiday Inn)

The upper hand-drawn circle marks the location of the Holiday
Inn, the lower circle (at number 9) the informatics building, in which
the meeting will take place.

<h1 class="style3">
Program
</h1>
The program will start on Thursday, June 19, 9 a.m. and end on Saturday, June 21, after lunch.

<p>

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.

<p>
[-[http://smart-generators.org/M6Name*][Talk title]-]<br>
Name

Plan to talk for 20-30 minutes.

<h4>Thursday morning, 8:45-12:10</h4>

<p>
[[http://smart-generators.org/M6EelcoVisser* Code Generation by Model Transformation]]<br>
Eelco Visser

<p>
[[http://smart-generators.org/M6NWilliamCook* Strategic Programming by Model Interpretation and Partial Evaluation]]<br>
William Cook

<p>
[[http://smart-generators.org/M6RobertGlueck* Is there a 4th Futamura projection?]]<br>
Robert Gl�ck

<p>
[[http://smart-generators.org/M6AnthonySloane* Combining Attribution and Rewriting]]<br>
Anthony M. Sloane

<h4>Thursday afternoon: 14:30-17:00</h4>

<p>
[[http://smart-generators.org/M6UlrikSchultz* Developing a useful DSL for programming modular robots]]<br>
Ulrik P. Schultz

<p>
[[http://smart-generators.org/M6OlivierDanvy* A derivational explanation of circular programming]]<br>
Olivier Danvy

<p>
[[http://smart-generators.org/M6RalfLaemmel* The Expression Lemma]]<br>
Ralf Lämmel

<h4>Business meeting, 17:00-18:00</h4>

<h4>Friday morning, 9:00-12:10</h4>

<p>
[[http://smart-generators.org/M6Consel* Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services]]<br>
Charles Consel

<p>
[[http://smart-generators.org/M6JohnODonnell* Sublanguages for generating digital circuits]]<br>
John O'Donnell

<p>
[[http://smart-generators.org/M6EwenDenney* Generating Customized Verifiers for Automatically Generated Code]]<br>
Ewen Denney and Bernd Fischer

<p>
[[http://smart-generators.org/M6SvenApel* Recent Developments in Feature-Oriented Software Development]]<br>
Sven Apel

<h4>Friday afternoon: 2:30-18:00</h4>

<p>
[[http://smart-generators.org/M6JuliaLawall* <b>Discussion</b>: What are the important issues in research on domain-specific languages?]]<br>
Julia Lawall

<p>
[[http://smart-generators.org/M6TeachinDisc* <b>Discussion</b>: Whether or not to (and how to) set up a related teaching repository?]]<br>
Ralf Laemmel

<h4>Saturday morning, 9:00-12:10</h4>

<p>
[[http://smart-generators.org/M6LeMeur* A model-based framework for statically and dynamically checking component interactions]]<br>
Anne Francoise Le Meur

<p>
[[http://smart-generators.org/M6ArminGroesslinger* You can throw a loop a curve]]<br>
Armin Groesslinger

<p>
[[http://smart-generators.org/M6EdwinBrady* Correct-by-construction concurrency]]<br>
Edwin Brady

<p>
[[http://smart-generators.org/M6ChristophHermann* The impact of Haskell's type families on DSL implementations with strong resource guarantees]]<br>
Christoph Hermann

<h1 class="style3">
Business meeting
</h1>

Thursday afternoon, after the talks

<h1 class="style3">
Pictures, etc.
</h1>

[[http://www.diku.dk/~glueck/Passau/Passau.html Pictures from the excursion, by Robert Gl�ck]]
==File Attachments==

*[[Media:apel.pdf | apel.pdf]]
*[[Media:passaumap.pdf | passaumap.pdf]]
*[[Media:pictures4.tar.gz | pictures4.tar.gz]]
*[[Media:pictures3.tar.gz | pictures3.tar.gz]]
*[[Media:pictures2.tar.gz | pictures2.tar.gz]]
*[[Media:pictures1.tar.gz | pictures1.tar.gz]]

WG211/M5Schedule

2011-12-16T13:40:48Z

Walid:

[[Category:WG211]]

IFIP WG2.11, meeting schedule

IFIP Working Group 2.11 Fifth Meeting<br>
August 20-22, 2007, Copenhagen, Denmark.

<br>

<h1 class="style3">
Business meeting
</h1>
There will be a business meeting late Monday afternoon (August 20) for members only. The discussion will include the following administrative matters:
* Should we collocate the meeting in 2008 with the WC conference?
* Should we hold the meeting at all at this meeting?
* Should we hold the meeting each 14 months instead of each 10?
* Election of chair and vice chair.

<h1 class="style3">
Travel information
</h1>

Some information about getting to the hotel is available [[http://smart-generators.org/M5Travel* here]].

<h1 class="style3">Schedule</h1>

<h2>Monday</h2>

<h5>9:00-10:30</h5>

<ul>
<li> Edwin Brady: A DSL for resource usage verification

<li> Christoph Hermann: [[Media:hermann.pdf | Generalised algebraic data types for type-safe language embeddings ]]

<li> Charles Consel: Pantachou

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00</h5>

<ul>

<li> Ewen Denney: [[Media:ProgGen_for_NGATS.ppt | Using Program Generation to Support V&V in the Next Generation Air Transportation System ]]

<li> Olivier Danvy: [[Media:danvy.pdf | A connection between calculi with a strongly normalizing reduction strategy, abstract machines for strong normalization, and normalization functions as encountered in normalization by evaluation ]]

</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-15:30</h5>

<ul>

<li> Gunter Kniesel: [[Media:kniesel.pdf | Reusability of Software Transformations ]]

<li> Ulrik Pagh Schultz: Domain-Specific Languages for Physically Interlocked
Systems (aka modular embedded systems with interlocking physical
connectors)

<li> Eric Van Wyk: Composable Specifications of Syntax and Semantics for
Extensible Languages

</ul>

<h5>15:30-16:00: Break</h5>

<h5>16:00-17:30: Business meeting</h5>

<h2>Tuesday</h2>

<h5>9:00-10:30</h5>

<ul>

<li> Robert Glueck: A Reversible Programming Language

<li> Ralf Laemmel: [[http://www.uni-koblenz.de/~laemmel/sle/wg211-copenhagen.pdf Who needs an engineer for software languages?]]

<li> Julia Lawall: [[Media:lawall.pdf | Practical program transformation using temporal logic and model checking ]]

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00</h5>

<ul>

<li> Christian Lengauer: [[Media:lengauer.pdf | Feature Algebra ]]

<li> Harold Ossher: Lightweight Program Generation to support Faceted Objects

</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-16:00: Discussion groups (see web page)</h5>

<h5>16:00-16:30: Break</h5>

<h5>16:30-17:30</h5>

<ul>

<li> Peter Sestoft: [[Media:sestoft.ppt | Zero-overhead aspects for .NET: The YIIHAW aspect weaver ]]
(by Johansen and Spangenberg)

<li> Chung-chieh Shan: [[Media:wg211-talk.pdf | Quotation and effects in natural language: three applications ]]

</ul>

<h5>After dinner</h5>

<ul>

<li> Excursion to Copenhagen
</ul>

<h2>Wednesday</h5>

<h5>9:00-10:30</h5>

<ul>

<li> Laurent Reveillere: Zebu

<li> Yannis Smaragdakis: [[Media:mjpres.pdf | Morphing: Safely Shaping a Class in the Image of Others ]]

<li> Eelco Visser: Domain-Specific Language Engineering. A Case Study in Agile
DSL Development

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00: Demos</h5>

<ul>
<li> Eric Van Wyk: ableJ extensible Java framework.
</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-16:00: General discussion</h5>

<h1 class="style3">Discussions</h1>

<h3>How reusable are transformation modules?</h3>

Discussion proposed by Gunter Kniesel

<p>
Due to the success of Model Driven Engineering, transformations are becoming
increasingly important as strategic softare artefacts. Therefore, their
cost-effective development is crucial. However, my personal impression
of the transformation approaches that I know is that they do not really
support <i>as-is reuse</i> of transformation modules.

I'd like to present a simple reuse scenario that illustrates my point
and would like to ask the audience for their solutions in any approach
that they know. The aim is to compile a list of reuse challenges and
classify the existing approaches according to which challenges they
are able to cope with.

<h3>Advantages and
weaknesses of the industrial program generation approaches</h3>

<p>

Discussion proposed by Christoph Herrmann

<p>

This discussion will consider problems of industrial software generation and alternative approaches that
provide automised, adaptable and scalable solutions regarding verification,
correctness by construction, contracts, safety and resource guarantees.
Please feel free to extend this description with topics that seem relevant.

<h3> [[Media:staged-calculi.pdf | Staging calculi ]]</h3>
Discussion proposed by Oleg Kiselyov and Chung-chieh Shan
<p>

Many formal calculi for staged programming have evolved over the
last couple of decades. Some are typed; some support `run'; some
allow cross-stage persistence; some are call-by-name and others are
call-by-value; some are specified with big-step operational semantics
and others with small-step. With hindsight, we should make these
calculi more uniform and their features more orthogonal to each other,
so that they are easier to study, mechanize, and extend (for example, to
add side effects).

This discussion will aim to:
* compile a definite reference to staged calculi, to reduce rummaging through the literature: which calculus supersedes which, and how do they compare?
* design, with the benefit of hindsight, a common calculus or calculi substrate, which at least shares notation, and to which features such as `run' can be added or removed;
* design calculi that are good models of real implementations such as MetaOCaml;
* compile a database of mechanized calculi.

<h1 class="style3">Registration information</h1>

The fifth meeting will take place at the [[http://www.badehotellet.dk/uk/default.asp Drag�r Badehotel]].

<p>

In the second half of the same week, the [[http://www2.imm.dtu.dk/sas2007/ 14th International Static Analysis Symposium]] will take place just outside of Copenhagen.

<p>

For payment of the registration fee there are two options:

<ul>
<li> Payment by credit card. In this case, the cost will be $375. The registration form is available [[https://cohesion.rice.edu/Services/EventReg/?event=IF07 here]].

<p>
<li> Payment by bank transfer. In this case, the cost will be 2000 Danish
Kroners.
</ul>

If you would like to pay by bank transfer, you should take the following
into account:

<ul>
<li>
The IBAN number is DK263000 4180 720278. The SWIFT code is DABADKKK. The bank is Danske Bank.
<p>
<li> You <b>must</b> pay all associated fees, both for the sender and the receiver.
You will need to check with your bank about how to do that.
<p>
<li> You should clearly indicate that the receiver is "Julia Lawall -- IFIP
working group".
<p>
<li> If you register by bank transfer, send me an e-mail (julia @ diku.dk) letting me know
that you have done so, and letting me know of any dietary preferences or
other constraints.
</ul>

Please register as soon as possible.
<p>

When you register, you should consider reserving your hotel room as well.
Please send your requirements to julia @ diku.dk. The hotel is very near the airport, so if you can get a
night flight, it should be possible to leave directly on the last day of
the meeting.

<h1 class="style3">
Attendees</h1>

Edwin Brady,
Charles Consel,
Olivier Danvy,
Ewen Denney,
Bernd Fischer,
Robert Glueck,
Kevin Hammond,
Christoph Armin Herrmann,
Oleg Kiselyov,
Gunter Kniesel,
Ralf Lammel,
Julia Lawall,
Christian Lengauer,
Harold Ossher,
Laurent Reveillere,
Ulrik Pagh Schultz,
Peter Sestoft,
Chung-chieh Shan,
Yannis Smaragdakis,
Jorg Striegnitz,
Eric Van Wyk,
Eelco Visser

==File Attachments==

*[[Media:staged-calculi.pdf | staged-calculi.pdf]]
*[[Media:mjpres.pdf | mjpres.pdf]]
*[[Media:sestoft.ppt | sestoft.ppt]]
*[[Media:hermann.pdf | hermann.pdf]]
*[[Media:lengauer.pdf | lengauer.pdf]]
*[[Media:danvy.pdf | danvy.pdf]]
*[[Media:lawall.pdf | lawall.pdf]]
*[[Media:kniesel.pdf | kniesel.pdf]]
*[[Media:ProgGen_for_NGATS.ppt | ProgGen_for_NGATS.ppt]]
*[[Media:wg211-talk.pdf | wg211-talk.pdf]]

WG211/M4Schedule

2011-12-16T13:39:11Z

Walid:

[[Category:WG211]]

IFIP WG2.11, meeting schedule

<br>
IFIP Working Group 2.11 Fourth Meeting
<h1 class="style3">Schedule</h1>
October 27-28, 2006, Portland, Oregon.

<br>

=Your Checklist:=

''' [[http://smart-generators.org/M4Directions''' Directions to University Place]]
* Don't forget to [[https://cohesion.rice.edu/services/eventreg/?event=IF06 register for event]]. (closed)
* Don't forget to book your [[http://www.pdx.edu/cegs/uplace.html hotel room]].
''' If you are an observer and would like to give a talk, please add an abstract [[http://smart-generators.org/M4Talks''' here]]
* If your proposal is not listed in "Well Developed Proposals", put it in the right format and send me an email to review it.
* Please sign up for any sessions that you would like to attend in the following section.
''' Arrival: If you want to try to find someone else arriving at the same time, please add your arrival time [[http://smart-generators.org/M4Arrival''' here]]
=Sessions You can Sign Up for (right here)=

# (Friday) Teaching Program Generation (Organizers: Eelco Visser. Participants: Walid Taha, Peter Sestoft, Jeremy Siek, Markus Pueschel, ... )
# (Friday) Assurance techniques for code generators (Organizers: Ewen Denney, Bernd Fischer. Participants: Oleg, Julia, Baris Aktemur, Tom Ellman, Manuel Fahndrich) ([[http://resource-aware.org/twiki/bin/viewfile/WG211/M4Schedule?rev=;filename=Code_generator_assurance_(overview).ppt Overview]], [[http://resource-aware.org/twiki/bin/viewfile/WG211/M4Schedule?rev=;filename=Code_generator_assurance_(summary).ppt Summary]])
# (Friday) Dependently-typed languages (Organizers: Stephanie Weirich. see attached notes).
# (Saturday) Library Specialization (Organizers: Yannis Smaragdakis, Peter Sestoft. Participants: Jeremy Siek, Harold Ossher, Stephanie Weirich, Baris Aktemur, Tom Ellman..., Manuel Fahndrich)
# (Saturday) Embedded Systems (Organizers: Kevin Hammond, Paul Kelly. Participants: Walid, Albert Cohen [Sat only], Oleg, Julia, Markus Pueschel). <B> Notes on the outcomes of this session have now been attached to this page. </B>

=Preliminary Schedule=

| '''Date''' | '''Time''' | '''Activity''' |
| Fri 10/27 | 07:30-08:30 | Breakfast |
| | 08:30-12:00 | Guest talks |
| | | 8:30-9:00: Tom Ellman |
| | | 9:00-9:30: Manuel Fahndrich |
| | | 9:30-10:00: Emir Pasalic |
| | | 10:00-10:30: Break |
| | | 10:30-11:00: Markus Pueschel |
| | | 11:00-11:30: Jeremy Siek |
| | | 11:30-12:00: Laurence Tratt |
| | 12:00-01:30 | Lunch |
| | 01:30-02:30 | Advertisment talks for sessions |
| | | 1:30-1:45 teaching program generation |
| | | 1:45-2:00 assurance techniques |
| | | 2:00-2:15 library specialization |
| | | 2:30-2:45 embedded systems |
| | 02:30-05:30 | Working Sessions |
| | | * teaching program generation |
| | | * assurance techniques |
| | 06:00-07:30 | Dinner |

| '''Date''' | '''Time''' | '''Activity''' |
| Sat 10/28 | 07:30-08:30 | Breakfast |
| | 08:30-11:45 | Working Session |
| | | * library specialization |
| | | * embedded systems |
| | 11:45-01:30 | Lunch |
| | 01:30-05:00 | Summary talks from working sessions |
| | 05:00-05:30 | Business meeting |

=Well Developed Proposal=

<h2>Proposal: WG2.11 Session on library specialization</h2>

Organizers: Yannis Smaragdakis, Peter Sestoft

Participants: Please sign up above

Peter raised the subject of library specialization in his message below and provided a motivating example that we can all work on. His specification document is an attachment to this page: [[http://resource-aware.org/twiki/bin/viewfile/WG211/M4Schedule?rev=1;filename=peter.txt Peter's Overview]]

What we are interested in is language mechanisms for structured, type-safe specialization of types and modules. This is unlike traditional code specialization constructs such as the C/C++ #ifdef, since #ifdef allows inconsistent uses (e.g., defining a method under a #ifdef but calling it outside).

This can be viewed as a reflective meta-programming technique: our static type system allows an "if" construct and keeps track of pieces of code that are only included conditionally. Specifically we want to ask questions like:
<ul>
<li> what is the right type system for such a mechanism?
</li><li> can this be integrated in current languages and how?
</li><li> what is the compilation model when we have conditional methods (e.g., are methods under unsatisfied conditions always removed from the result of compilation, or should they occasionally stay to support separate compilation?)
</ul>

----

----

----

----

----
--

<h2>Proposal: WG2.11 Session on program generation in embedded systems</h2>

Organizers: Paul Kelly and Kevin Hammond

Participants: Please sign up above

Embedded systems (broadly-interpreted) provide compelling motivation for the study of program generation. Embedded development suffers from limited resources, power and performance constraints, a large hardware-software co-design space, difficulties with testing and debugging, and the difficulty of deploying bug-fixes. For these reasons, Program Generation is widely used. Examples include:

<ul>
<li> Generating VLSI and FPGA designs
</li><li> Generating code for multi-processor system-on-chip devices
</li><li> Domain-specific languages and compilers
</li><li> Component configuration, feature composition, product line generation
</li><li> Specialisation
</li><li> Runtime reconfiguration
</li><li> Automatic adaptation to platform
</li><li> Design-space exploration.
</ul>

The objective of this session is to expose the potential for our community's techniques in embedded systems, to identify some actual and promising success stories, to identify some common foundations, and to identify challenges for future work and collaboration. Contributions (short talks) are invited to address these goals.

----

----

----

----

----
--

<h2>Proposal: WG2.11 Session on [[teaching program generation]]</h2>

Organizer: Eelco Visser

Participants: Please sign up above

Getting program generation accepted and used starts with teaching our
students. How should we incorporate program generation in the computer science curriculum? This session gives room for expressing views and reflecting on experience. Issues include:

* experience with teaching courses on/involving program generation
* place in the curriculum (wrt other material)
* theoretical and conceptual framework
* tools
* course organization
* topics and their relative priority (what is important)
* suitable example domains

----

----

----

----

----
--

<h2>Proposal: WG2.11 Session on assurance techniques for code generators</h2>

Organizers: Ewen Denney, Bernd Fischer

Participants: Please sign up above

Automated code generation offers many compelling advantages to software development but reliability is still often seen as a weak point, at least in safety-critical domains. Indeed, code generators can even produce code which is more difficult to verify and certify than manually developed code.

This session will explore different techniques for assuring the output of code generators. There are different forms of assurance that we might aspire towards. For example:

* compliance with requirements
* compliance with specification/model
* coding standards
* traceability
* appropriate documentation
* absence of run-time errors
Various techniques can be used to address this general problem and we would like to discuss the challenges and issues which arise for the different paradigms of code generation, as well as different application domains.

=Underdveloped Proposal=

I'm not sure what the intended format should be, but I added topics that I would be interested in and added my name to them. If others do the same, it may become clear which would be popular topics. Probably the topics should be specified more at some point.

-- Main.EelcoVisser

----

----

----

----

----
--

I'm interested in:
* Program transformation - in particular tools for domain-specific optimisations (and analyses), and active libraries
* Generation of hardware designs (and generation of parallel, embedded and hardware/software codesigns)

-- Main.PaulHJKelly - 14 Jul 2006

----

----

----

----

----
--

I'm interested in:
* embedded software and dependent types
* synchronous/asynchronous languages for real-time systems
* hardware description languages

Edwin Brady has been looking at the first problem from the types
for resource perspective. I know Walid is also interested from
the perspective of resource-aware-programming. Any other takers to
put together a session?

I'm also particularly interested in exploring the issues in "crossover" synchronous/asynchronous
notations such as Lucid Synchrone (with Marc and Albert?).
I'm not sure there's a clear "challenge application" here, more a
collection of problems?

Also, this is probably not mature enough for an open session,
but I'd be interested in talking to like-minded people (Chris L,
Paul K?) about program generation for Grid computing. I'm thinking of skeleton-based/template-driven approaches at a workflow level,
probably on a dynamic generation basis.

-- Main.KevinHammond - 19 Jul 2006

----

----

----

----

----
--

I'm most interested in language for specifying program transformations and
generation of hardware designs.

I would also be interested in hearing about MDE vs DSL and program generation
for grid computing.

-- Main.JuliaLawall - 24 Jul 2006
(why are we all named main? :)

----

----

----

----

----
--

Oleg Kiselyov suggests:

- software radio as an easy and immensely practical example of
code generation with static assurances (currently, they use Python to
generate C++ code, and state typing constraints (like the demodulator
and the filter both communicate single-precision complex numbers) in
the _comments_ of the Python code). Certainly we can do better.

- complex optimization of numeric code (at the very least,
partial loop unrolling and simple loop transformations). The
optimizations are written independently of the code and can be applied
to the naive code.

- staging and delimited continuations. Staging and code
migration.

- staging and generic programming (in the spirit of `Scratch
your boilerplate'). Implementing SYB in MetaOCaml while preserving
equational reasoning. Using staging to implement a capability-safe
subset of OCaml.

-- Main.JuliaLawall - 26 Jul 2006

----

----

----

----

----
--

Peter Sestoft suggests:

* Runtime code generation (RTCG) for managed platforms, that is, Java
Virtual Machine and the Common Language Infrastructure, aka
Microsoft .NET. We have some recent results on implementing
spreadsheets using RTCG for .NET.

* Generation of specialized libraries. We don't have any results
here, but a big wish: The C5 library (www.itu.dk/research/c5) is a
very comprehensive generic collection library for C#. However, you
pay for all the great functionality (at least in memory) even when
you don't need it. How can one allow developers to generate
specialized (reduced) versions of this library code that suits
their needs, in a '''practical''' and '''maintainable''' way?

# theory, you could use a huge number of #if ... #end directives,
but that makes the implementation unmaintainable, and there's no
guarantee that those #if's are inserted in a consistent and
meaningful way. Much the same can be said for conditional
methods. Aspects will (at present) make the implementation too
slow.

Also, there's a question of testing. We have a large number of
unit tests. Conceivably, one could generate a million different
versions of the library. How describe which unit tests should be
expected to succeed in each of those versions?

-- Main.JuliaLawall - 06 Aug 2006

----

----

----

----

----
--
I'm very interested in languages for program generation and transformation, especially safe static reflection over existing programs.

Resource-aware program generation sounds intriguing and I'll probably be interested in participating in a session like that.

-- Main.YannisSmaragdakis - 10 Aug 2006

----

----

----

----

----
-

-- [[Main.EwenDenney | Ewen Denney ]] - 4 Oct 2006

I'm interested in any optimization or concurrent/parallel programming topic, and in particular:

* as proposed by Kevin, in a dedicated discussion, on synchronous/asynchronous language
constructions for predictable concurrent programming and efficient code generation;

* in generative techniques that preserve equational reasoning, type safety, while allowing complex (loop, storage, data layout) optimizations to be performed; the SDR application proposed by Oleg
is great.

Unfortunately, I will only attend the second day of the meeting.

-- [[Main.AlbertCohen | Albert Cohen ]] - 31 Aug 2006

* [[Media:peter.txt | peter.txt ]]: peter.txt

----

----

----

----

----

----

I'm not proposing a session on this at this late stage, but I have become interested in generation of code for high-quality user interfaces based on descriptions of what needs to be shown. To achieve high visual quality, there would have to be a lot of support for hand-tailoring of the visual appearance, leading to interesting round-tripping issues.

-- Main.HaroldOssher - 09 Oct 2006

=Attendees=

Tankut Baris Aktemur,
Edwin Brady,
Martin Bravenboer,
Albert Cohen,
Krzysztof Czarnecki,
Ewen Denney,
Tom Ellman,
Manuel Alfred Fahndrich,
Bernd Fischer,
Kevin Hammond,
Sam Kamin,
Gabor Karsai,
Paul H J Kelly,
Oleg Kiselyov,
Ralf Lammel,
Julia Lawall,
Anne-Francoise Le Meur,
Crista Lopes,
John O'Leary,
Harold Ossher,
Emir Pasalic,
Markus Pueschel,
Peter Sestoft,
Tim Sheard,
Yannis Smaragdakis,
Walid Taha,
Laurence Tratt,
Eelco Visser,
Stephanie Weirich

==File Attachments==

*[[Media:Code_generator_assurance_(summary).ppt | Code_generator_assurance_(summary).ppt]]
*[[Media:Code_generator_assurance_(overview).ppt | Code_generator_assurance_(overview).ppt]]
*[[Media:dependent-types.ppt | dependent-types.ppt]]
*[[Media:peter.txt | peter.txt]]
*[[Media:embedded-system-notes.txt | embedded-system-notes.txt]]

WG211/M3Weirich

2011-12-16T13:37:21Z

Walid:

[[Category:WG211]]

Stephanie Weirich

Title:
Practical type inference for advanced type systems
<br>Speaker: Stephanie Weirich
<p>
Slides: [[Media:weirich-wg211.ppt| weirich-wg211.ppt]]
<br>
Abstract:<br>
None.

WG211/M3Weirich

2011-12-16T13:37:11Z

Walid:

WG211/M3VisserDiscussion

2011-12-16T13:36:21Z

Walid:

[[Category:WG211]]

Eelco Visser

Title:
Is program generation here to stay?
<br>Discussion Leader: Eelco Visser
<br>
Abstract:<br>

Is program generation a fundamental tool for software engineering or is it a crutch to help users of disfunctional programming languages?

Consiser this quote from an [[http://www.codegeneration.net/tiki-read_article.php?articleId=9 interview]] on Code Generation Net with Dave Thomas

<blockquote>
CGN: What do think the future is for code generation?

Dave: I think that in the long term the larger code generation efforts, the "application generators," will become a thing of the past. They are there because the underlying technologies and architectures don't yet support programming at a high level. But I'm betting that languages such as Java and C++ will in the long term be seen as a curious branch in the evolution of computing. I'm hoping that somewhere out there some bright spark is coming up with a way of letting us write applications expressively and dynamically. Once this happens, the need for these kinds of code generators will diminish.

For example, I rarely (if ever) write a code generator that generates Ruby code: there's just no need, as Ruby is dynamic enough to let be do what I want without leaving the language.

In the shorter term, though, I think code generators of all kinds will continue to contribute significantly to the industry. Java and C# are both such stifling languages that you need to be able to use code generators to make them effective.
</blockquote>

So the thesis is: better abstraction mechanisms make program generation obsolete.

In this discussion I would be interested in arguments for or against this thesis.
Preferably such arguments should be illustrated with evidence (examples)

* successful applications of code generation, especially those that are are here to stay
* abstractions that make generation obsolete

A followup question might be: If generation is (temporarily) useful, how important is it to have static guarantees about generators such as syntactic or type correctness of the output programs? Many text-based program generation techniques flourish apparently without suffering from the problem that they do not provide such guarantees.

5-min position statements are invited. Send proposals to [[mailto:visser@cs.uu.nl | Eelco ]].

[WalidTaha]: Eelco, nice discussion topic! For me it depends on how you define program generation. There are concrete aspects (like using "printf" somewhere in your "generator"), and there are much more abstract aspects (like "evaluation under lambda"). MSP, for example, is already a framework were evaluation under lambda is built into the language, and you don't have to leave the language.

WG211/M3Visser

2011-12-16T13:35:23Z

Walid:

[[Category:WG211]]

Eelco Visser

Title:
A Framework for Transformation of Java Programs
<br>Speaker: Eelco Visser
<p>
Slides: [[Media:Visser-JavaTransform.pdf|Visser-JavaTransform .pdf]]
<p>
Abstract:<br>
Stratego/XT is a language independent framework for building program transformation systems.
In order to do anything useful with Stratego, one needs to instantiate it for a particular source language.
Recently we have been working on a framework for the transformation of Java programs using Stratego.
The main components are java-front, which provides syntactic tools, i.e., a syntax definition for Java 5 and a pretty-printer,
and dryad, which supports bytecode engineering and type analysis.

So far we have mainly applied the framework for the embedding of domain-specific (<nop>MetaBorg) and general-purpose languages (for building code generators in Java).
The type analysis is used in these applications for disambiguation and type correctness of embedded DSLs.
The final goal is an open and extensible Java programming environment.

In the talk I will give an overview of the framework and discuss a couple of example applications.

WG211/M3Veldhuizen

2011-12-16T13:34:28Z

Walid:

[[Category:WG211]]

Todd Veldhuizen

Title:
Tradeoffs in Metaprogramming
<br>Speaker: Todd Veldhuizen
<br>
Slides: [[Media:tradeoffs.pdf| tradeoffs.pdf]]
<br>
Abstract:<br>
The design of metaprogramming languages requires appreciation
of the tradeoffs that exist between important language characteristics
such as safety properties, expressive power, and succinctness.
Unfortunately, such tradeoffs are little understood, a situation we
try to correct by embarking on
a study of metaprogramming language tradeoffs using tools from computability
theory. Safety properties of metaprograms are in general undecidable;
for example, the property that a metaprogram always halts and
produces a type-correct instance is [[File:9ee97d2bab9cce6f0b661e0a8782c1ef.png-complete.]] Although such
safety properties are undecidable, they may sometimes be <i>captured</i>
by a restricted language, a notion we adapt from complexity theory.
We give some sufficient conditions and negative results on when
languages capturing properties can exist: there can be no languages
capturing total correctness for metaprograms,
and no `functional' safety properties above [[File:276dc4422ef77a950a94008a4415754f.png]]
can be captured. We prove that translating a metaprogram from a
general-purpose to a restricted metaprogramming language capturing
a property is tantamount to <i>proving</i> that property for the
metaprogram. Surprisingly, when one shifts perspective from
programming to metaprogramming, the corresponding safety questions
do not become substantially harder there is no `jump' of Turing
degree for typical safety properties.
</p>

<p>
This talk will be based in part on the paper:<br>
Todd L. Veldhuizen. Tradeoffs in Metaprogramming. <i>ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation (PEPM 2006)</i>, Charleston, South Carolina,
January 9-10 2006. [[[http://arxiv.org/pdf/cs.PL/0512065 PDF]]]
</p>

==File Attachments==

*[[Media:9ee97d2bab9cce6f0b661e0a8782c1ef.png | 9ee97d2bab9cce6f0b661e0a8782c1ef.png]]
*[[Media:276dc4422ef77a950a94008a4415754f.png | 276dc4422ef77a950a94008a4415754f.png]]

WG211/M3Veldhuizen

2011-12-16T13:32:54Z

Walid:

[[Category:WG211]]

Todd Veldhuizen

Title:
Tradeoffs in Metaprogramming
<br>Speaker: Todd Veldhuizen
<br>
Slides: [[Media:tradeoffs.pdf| tradeoffs.pdf]]
<br>
Abstract:<br>
The design of metaprogramming languages requires appreciation
of the tradeoffs that exist between important language characteristics
such as safety properties, expressive power, and succinctness.
Unfortunately, such tradeoffs are little understood, a situation we
try to correct by embarking on
a study of metaprogramming language tradeoffs using tools from computability
theory. Safety properties of metaprograms are in general undecidable;
for example, the property that a metaprogram always halts and
produces a type-correct instance is [[File:9ee97d2bab9cce6f0b661e0a8782c1ef.png-complete.]] Although such
safety properties are undecidable, they may sometimes be <i>captured</i>
by a restricted language, a notion we adapt from complexity theory.
We give some sufficient conditions and negative results on when
languages capturing properties can exist: there can be no languages
capturing total correctness for metaprograms,
and no `functional' safety properties above [[File:276dc4422ef77a950a94008a4415754f.png]]
can be captured. We prove that translating a metaprogram from a
general-purpose to a restricted metaprogramming language capturing
a property is tantamount to <i>proving</i> that property for the
metaprogram. Surprisingly, when one shifts perspective from
programming to metaprogramming, the corresponding safety questions
do not become substantially harder
----
there is no `jump' of Turing
degree for typical safety properties.
</p>

<p>
This talk will be based in part on the paper:<br>
Todd L. Veldhuizen. Tradeoffs in Metaprogramming. <i>ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation (PEPM 2006)</i>, Charleston, South Carolina,
January 9-10 2006. [[[http://arxiv.org/pdf/cs.PL/0512065 PDF]]]
</p>

==File Attachments==

*[[Media:9ee97d2bab9cce6f0b661e0a8782c1ef.png | 9ee97d2bab9cce6f0b661e0a8782c1ef.png]]
*[[Media:276dc4422ef77a950a94008a4415754f.png | 276dc4422ef77a950a94008a4415754f.png]]

WG211/M3Taha

2011-12-16T13:31:44Z

Walid:

[[Category:WG211]]

Walid Taha

Title:
A monadic approach to avoiding code duplication
<br>Speaker: [[http://www.cs.rice.edu/~taha/ Walid Taha]]
<p>
Slides: [[Media:MonadsforCodeDuplication.pdf| MonadsforCodeDuplication.pdf]]
<br>
Abstract:<br>
Building program generators that do not duplicate generated code can
be challenging. At the same time, code duplication can easily increase
both generation time and runtime of generated programs by an
exponential factor. We identify an instance of this problem that can
arise when memoized functions are staged. Without addressing this
problem, it would be impossible to effectively stage dynamic programming algori
thms. Intuitively, direct staging undoes the effect
of memoization. To solve this problem once and for all, and for any
function that uses memoization, we propose a staged
monadic combinator library. Experimental results confirm that the
library works as expected. Preliminary results also indicate that
the library is useful even when memoization is not used.

For more information, please see the [[http://www.cs.rice.edu/~taha/publications/conference/pepm06.pdf PEPM 2006 paper]] describing this approach.

WG211/M3Swierstra2

2011-12-16T13:30:36Z

Walid:

[[Category:WG211]]

Doaitse Swierstra

Title: Implicit Program Generation
<br>Speaker: Doaitse Swierstra
<p>
Slides: [[Media:PermParsers2002.pdf| PermParsers2002.pdf]]
<br>
Abstract:<br>
I show how by creating parsers on the fly we can create parsers that recognise permutations of a collection of elements. This is done by dynamically creating parsers on the fly, based on the information recognised thus far. The technique relies heavily on lazy evaluation in order to limit the size of the generated parsers.

I challenge others to solve the problem using their favorite program generator ;-)

@article{BaLoSw04,
<br> year = {2004},
<br> author = {Arthur I. Baars and Andres L\"oh and S. Doaitse Swierstra},
<br> title = {Parsing Permutation Phrases},
<br> journal = {14},
<br> volume = {6},
<br> month = {November},
<br> urlpdf = {http://www.cs.uu.nl/people/doaitse/papers/2004/perms.pdf},
<br> pubcat = {journal},
<br> }

-- Main.DoaitseSwierstra - 29 Jan 2006

WG211/M3Swierstra2

2011-12-16T13:30:07Z

Walid:

[[Category:WG211]]

Doaitse Swierstra

Title: Implicit Program Generation
<br>Speaker: Doaitse Swierstra
<p>
Slides: [[Media:PermParsers2002.pdf| PermParsers2002.pdf]]
<p>
Abstract:<br>
I show how by creating parsers on the fly we can create parsers that recognise permutations of a collection of elements. This is done by dynamically creating parsers on the fly, based on the information recognised thus far. The technique relies heavily on lazy evaluation in order to limit the size of the generated parsers.

I challenge others to solve the problem using their favorite program generator ;-)

@article{BaLoSw04,
<br> year = {2004},
<br> author = {Arthur I. Baars and Andres L\"oh and S. Doaitse Swierstra},
<br> title = {Parsing Permutation Phrases},
<br> journal = {14},
<br> volume = {6},
<br> month = {November},
<br> urlpdf = {http://www.cs.uu.nl/people/doaitse/papers/2004/perms.pdf},
<br> pubcat = {journal},
<br> }

-- Main.DoaitseSwierstra - 29 Jan 2006

WG211/M3Striegnitz

2011-12-16T13:29:12Z

Walid:

[[Category:WG211]]

Jörg Striegnitz

Title: Type Systems to Support Language Embeddings
<br>Speaker: Jörg Striegnitz
<br>
Slides: [[Media:Striegnitz.pdf| Striegnitz.pdf]]
<p>
Abstract:<br>
None.

WG211/M3Smaragdakis

2011-12-16T13:28:09Z

Walid:

[[Category:WG211]]

Yannis Smaragdakis

Title:
Easy Non-Intrusive Java Language Extensions with MAJ
<br>Speaker: Yannis Smaragdakis
<p>
Slides: [[Media:yannis-smaragdakis-ifip06.pdf| yannis-smaragdakis-ifip06.pdf]]
<br>
Abstract:<br>
Domain-specific languages hold the potential of automating the
software development process. Nevertheless, the adoption of a
domain-specific language is hindered by the difficulty of
transitioning to different language syntax and employing a separate
translator in the software build process. We present a methodology
that simplifies the development and deployment of small language
extensions, in the context of Java. The main language design principle
is that of language extension through unobtrusive annotations. The
main language implementation idea is to express the language as a
generator of customized AspectJ aspects, using our Meta-AspectJ tool.
The advantages of the approach are twofold. First, the tool
integrates into an existing software application much as a regular API
or library, instead of as a language extension. This means that the
programmer can remove the language extension at any point and choose
to implement the required functionality by hand without needing to
rewrite the client code. Second, a mature language implementation is
easy to achieve with little effort since AspectJ takes care of the
low-level issues of interfacing with the base Java language.

WG211/M3Schedule

2011-12-16T13:26:46Z

Walid:

[[Category:WG211]]

IFIP WG2.11, meeting schedule

IFIP Working Group 2.11 Third Meeting
<h1 class="style3">Schedule</h1>
January 25-28, 2006, Dagstuhl, Germany

[[WG211/ArrivalDepartureTaxiSharing]]

<h2>Attendees</h2>

<h3>Members: (20)</h3>

Albert Cohen,
Charles Consel,
Krzysztof Czarnecki,
Robert Glück,
Kevin Hammond,
Christoph A. Herrmann,
Sam Kamin,
Paul Kelly,
Julia Lawall,
Christian Lengauer,
Eugenio Moggi,
John O'Donnell,
Christine Paulin,
Marc Pouzet,
Laurent Reveillere,
Yannis Smaragdakis,
Jörg Striegnitz,
Walid Taha,
Todd Veldhuizen,
Eelco Visser

<h3>Observers: (10)</h3>

Edwin Brady,
Marco Danelutto,
Gabor Karsai,
Ralf Lämmel,
Anne-Francoise Le Meur,
Roberto Lopez-Herrejon,
Francesco Nidito,
Lawrence Rauchwerger,
Doaitse Swierstra,
Stephanie Weirich

<h2>Costs</h2>

The cost of the meeting will be 80 euros per night for a single room and 50
euros per person per night for a double room. Costs are payable at the end
of the meeting.

<h2>Schedule</h2>

Talks will be 20 minutes in length, excluding questions.

<h2>Wednesday 9:00-10:00</h2>

Session chair: Christian Lengauer

<p>
[[WG211/M3Consel | A proposal for Domain-Specific Software Engineering]]<br>
Charles Consel
</p>

<h2>Wednesday 10:30-12:00</h2>

Session chair: Walid Taha

<p>
[[WG211/M3Czarnecki | Verifying Model Templates]]<br>
Krzysztof Czarnecki

</p><p>

[[WG211/M3Danelutto| Generative aspects in skeletons]]
<br>
Marco Danelutto

</p><p>

[[WG211/M3Kamin| Partial evaluation of static analyses for programs with holes]]<br>
Sam Kamin
</p>

<h2>Wednesday 14:30-16:00</h2>

Session chair: Christoph Herrmann

<p>
[[WG211/M3Lammel| Typed XML programming without serialization]]<br>
Ralf Lämmel

</p><p>

[[WG211/M3Striegnitz| Type Systems to Support Language Embeddings]]<br>
Jörg Striegnitz
</p><p>

[[WG211/M3Weirich | Practical type inference for advanced type systems]]<br>
Stephanie Weirich

</p>

<h2>Wednesday 16:30-18:00</h2>

Session chair: Paul H. J. Kelly

<p>
[[WG211/M3Swierstra | Dynamically Extending Syntax and Semantics]]<br>
Doaitse Swierstra

</p><p>

[[WG211/M3Smaragdakis | Easy Non-Intrusive Java Language Extensions with MAJ]]<br>
Yannis Smaragdakis
</p>
<p>
[[WG211/M3LeMeur| Integrating concerns into software architectures]]<br>
Anne-Françoise Le Meur
</p>

<h2>Thursday 9:00-10:00</h2>

Session chair: John T O'Donnell

<p>

[[WG211/M3Taha | A monadic approach to avoiding code duplication]]<br>
Walid Taha

</p><p>

[[WG211/M3Veldhuizen| Tradeoffs in Metaprogramming]]<br>
Todd Veldhuizen.

</p>

<h2>Thursday 10:30-12:00</h2>

Discussion Session:

<p>
[[WG211/M3CohenDiscussion| How can we make metaprogramming predictable and enjoyable?]]<br>
Albert Cohen
</p>

<h2>Thursday 14:30-16:00</h2>

Session chair: Julia Lawall

<p>
[[WG211/M3Kelly| Domain-Specific Interpreters]]<br>
Paul Kelly

</p><p>

[[WG211/M3Moggi| Program generation by linking]]<br>
Eugenio Moggi

</p><p>

[[WG211/M3LopezHerrejon| Mapping Features to Aspects]]<br>
Roberto Lopez-Herrejon
</p>

<h2>Thursday 16:30-18:00</h2>

Discussion Session:

<p>
[[WG211/M3LawallLengauerDiscussion| The future and potential of AOP]]</a><br>
Julia Lawall and Christian Lengauer

</p>

<h2>Thursday 20:00-21:00</h2>

Discussion Session:

<p>
[[WG211/M3LawallLengauerDiscussion| The future and potential of AOP (cont'd)]]</a><br>
Julia Lawall and Christian Lengauer

</p>

<h2>Friday 9:00-10:00</h2>

Session chair: Albert Cohen

<p>
[[WG211/M3Glück | The structure of a program inverter]]<br>
Robert Glück

</p>
<p>
[[WG211/M3Pouzet| Extending Synchronous Dataflow with State Machines by Means of Program Transformations]]<br>
Marc Pouzet

</p>

<h2>Friday 10:30-12:00</h2>

Session chair: Todd Veldhuizen

<p>

[[WG211/M3Visser| A Framework for Transformation of Java Programs]]<br>
Eelco Visser
</p>
<p>

[[WG211/M3Hammond| Proving Size Bounds with Dependent Types]]<br>
Edwin Brady

</p><p>
[[WG211/M3Cohen| N-Synchronous Kahn Networks: A Domain-Specific Program Generation Perspective]]<br>
Albert Cohen
</p>

<h2>Friday 14:30-16:00</h2>

Session chair: Kevin Hammond

<p>

[[WG211/M3ODonnell| Equational Reasoning with Circuit Transformations in Hydra]]<br>
John O'Donnell
</p><p>
[[http://smart-generators.org/M3Herrmann* Generating size-parameterized functions for circuit simulation using Template Haskell]]<br>
Christoph A. Herrmann
</p>
<p>
[[WG211/M3Rauchwerger| STAPL: A High Productivity Parallel Programming Environment]]<br>
Lawrence Rauchwerger
</p>

<h2>Friday 16:30-18:00</h2>

Discussion Session:

<p>

[[WG211/M3KaminDiscussion| Compelling examples of program generation]]<br>
Sam Kamin and Eelco Visser

</p>

<h2>Friday 20:00-21:00</h2>

Discussion Session:

<p>
Planning of future WG 2.11 activities and events<br>
Walid Taha
</p>

<h2>Saturday 9:00-10:00</h2>

Session chair: Christian Lengauer

<p>

[[WG211/M3Swierstra2| Implicit Program Generation]]<br>
Doaitse Swierstra

</p>

<h2>Saturday 10:30-12:00</h2>

Final discussions

<h2>Meeting coordinator</h2>

Christian Lengauer: e-mail:
[[mailto:lengauer@fmi.uni-passau.de lengauer@fmi.uni-passau.de]]

==File Attachments==

*[[Media:dslides.pdf | dslides.pdf]]
*[[Media:weirich-wg211.ppt | weirich-wg211.ppt]]
*[[Media:reveillere-aop.pdf | reveillere-aop.pdf]]
*[[Media:lemeur-IFIP-Wg2.11.pdf | lemeur-IFIP-Wg2.11.pdf]]
*[[Media:MoggiE-M3.pdf | MoggiE-M3.pdf]]
*[[Media:foozles.pdf | foozles.pdf]]
*[[Media:tradeoffs.pdf | tradeoffs.pdf]]
*[[Media:yannis-smaragdakis-ifip06.pdf | yannis-smaragdakis-ifip06.pdf]]
*[[Media:Visser-JavaTransform.pdf | Visser-JavaTransform.pdf]]
*[[Media:LengauerAOP.pdf | LengauerAOP.pdf]]
*[[Media:RG-slides-Dagstuhl060127.pdf | RG-slides-Dagstuhl060127.pdf]]
*[[Media:MonadsforCodeDuplication.pdf | MonadsforCodeDuplication.pdf]]
*[[Media:dagstuhl06.ppt | dagstuhl06.ppt]]
*[[Media:PermParsers2002.pdf | PermParsers2002.pdf]]
*[[Media:weirich-aop.ppt | weirich-aop.ppt]]
*[[Media:talk.ppt | talk.ppt]]
*[[Media:brady.pdf | brady.pdf]]
*[[Media:herrmann.pdf | herrmann.pdf]]
*[[Media:LopezHerrejonFeaturesToAspects.pdf | LopezHerrejonFeaturesToAspects.pdf]]
*[[Media:Striegnitz.pdf | Striegnitz.pdf]]
*[[Media:nsynchronous.pdf | nsynchronous.pdf]]
*[[Media:xlanguage.pdf | xlanguage.pdf]]
*[[Media:DSI-WG211-Talk-Draft03.ppt | DSI-WG211-Talk-Draft03.ppt]]

WG211/M3Schedule

2011-12-16T13:20:20Z

Walid:

[[Category:WG211]]

IFIP WG2.11, meeting schedule

IFIP Working Group 2.11 Third Meeting
<h1 class="style3">Schedule</h1>
January 25-28, 2006, Dagstuhl, Germany

[[WG211/ArrivalDepartureTaxiSharing]]

<h2>Attendees</h2>

<h3>Members: (20)</h3>

Albert Cohen,
Charles Consel,
Krzysztof Czarnecki,
Robert Glück,
Kevin Hammond,
Christoph A. Herrmann,
Sam Kamin,
Paul Kelly,
Julia Lawall,
Christian Lengauer,
Eugenio Moggi,
John O'Donnell,
Christine Paulin,
Marc Pouzet,
Laurent Reveillere,
Yannis Smaragdakis,
Jörg Striegnitz,
Walid Taha,
Todd Veldhuizen,
Eelco Visser

<h3>Observers: (10)</h3>

Edwin Brady,
Marco Danelutto,
Gabor Karsai,
Ralf Lämmel,
Anne-Francoise Le Meur,
Roberto Lopez-Herrejon,
Francesco Nidito,
Lawrence Rauchwerger,
Doaitse Swierstra,
Stephanie Weirich

<h2>Costs</h2>

The cost of the meeting will be 80 euros per night for a single room and 50
euros per person per night for a double room. Costs are payable at the end
of the meeting.

<h2>Schedule</h2>

Talks will be 20 minutes in length, excluding questions.

<h2>Wednesday 9:00-10:00</h2>

Session chair: Christian Lengauer

<p>
[[WG211/M3Consel | A proposal for Domain-Specific Software Engineering]]<br>
Charles Consel
</p>

<h2>Wednesday 10:30-12:00</h2>

Session chair: Walid Taha

<p>
[[WG211/M3Czarnecki | Verifying Model Templates]]<br>
Krzysztof Czarnecki

</p><p>

[[WG211/M3Danelutto| Generative aspects in skeletons]]
<br>
Marco Danelutto

</p><p>

[[http://smart-generators.org/M3Kamin* Partial evaluation of static analyses for programs with holes]]<br>
Sam Kamin
</p>

<h2>Wednesday 14:30-16:00</h2>

Session chair: Christoph Herrmann

<p>
[[http://smart-generators.org/M3Lammel* Typed XML programming without serialization]]<br>
Ralf Lämmel

</p><p>

[[http://smart-generators.org/M3Striegnitz* Type Systems to Support Language Embeddings]]<br>
Jörg Striegnitz
</p><p>

[[http://smart-generators.org/M3Weirich* Practical type inference for advanced type systems]]<br>
Stephanie Weirich

</p>

<h2>Wednesday 16:30-18:00</h2>

Session chair: Paul H. J. Kelly

<p>
[[http://smart-generators.org/M3Swierstra* Dynamically Extending Syntax and Semantics]]<br>
Doaitse Swierstra

</p><p>

[[http://smart-generators.org/M3Smaragdakis* Easy Non-Intrusive Java Language Extensions with MAJ]]<br>
Yannis Smaragdakis
</p>
<p>
[[http://smart-generators.org/M3LeMeur* Integrating concerns into software architectures]]<br>
Anne-Françoise Le Meur
</p>

<h2>Thursday 9:00-10:00</h2>

Session chair: John T O'Donnell

<p>

[[http://smart-generators.org/M3Taha* A monadic approach to avoiding code duplication]]<br>
Walid Taha

</p><p>

[[http://smart-generators.org/M3Veldhuizen* Tradeoffs in Metaprogramming]]<br>
Todd Veldhuizen.

</p>

<h2>Thursday 10:30-12:00</h2>

Discussion Session:

<p>
[[http://smart-generators.org/M3CohenDiscussion* How can we make metaprogramming predictable and enjoyable?]]<br>
Albert Cohen
</p>

<h2>Thursday 14:30-16:00</h2>

Session chair: Julia Lawall

<p>
[[http://smart-generators.org/M3Kelly* Domain-Specific Interpreters]]<br>
Paul Kelly

</p><p>

[[http://smart-generators.org/M3Moggi* Program generation by linking]]<br>
Eugenio Moggi

</p><p>

[[http://smart-generators.org/M3LopezHerrejon* Mapping Features to Aspects]]<br>
Roberto Lopez-Herrejon
</p>

<h2>Thursday 16:30-18:00</h2>

Discussion Session:

<p>
[[http://smart-generators.org/M3LawallLengauerDiscussion* The future and potential of AOP]]</a><br>
Julia Lawall and Christian Lengauer

</p>

<h2>Thursday 20:00-21:00</h2>

Discussion Session:

<p>
[[http://smart-generators.org/M3LawallLengauerDiscussion* The future and potential of AOP (cont'd)]]</a><br>
Julia Lawall and Christian Lengauer

</p>

<h2>Friday 9:00-10:00</h2>

Session chair: Albert Cohen

<p>
[[http://smart-generators.org/M3Glück* The structure of a program inverter]]<br>
Robert Glück

</p>
<p>
[[http://smart-generators.org/M3Pouzet* Extending Synchronous Dataflow with State Machines by Means of Program Transformations]]<br>
Marc Pouzet

</p>

<h2>Friday 10:30-12:00</h2>

Session chair: Todd Veldhuizen

<p>

[[http://smart-generators.org/M3Visser* A Framework for Transformation of Java Programs]]<br>
Eelco Visser
</p>
<p>

[[http://smart-generators.org/M3Hammond* Proving Size Bounds with Dependent Types]]<br>
Edwin Brady

</p><p>
[[http://smart-generators.org/M3Cohen* N-Synchronous Kahn Networks: A Domain-Specific Program Generation Perspective]]<br>
Albert Cohen
</p>

<h2>Friday 14:30-16:00</h2>

Session chair: Kevin Hammond

<p>

[[http://smart-generators.org/M3ODonnell* Equational Reasoning with Circuit Transformations in Hydra]]<br>
John O'Donnell
</p><p>
[[http://smart-generators.org/M3Herrmann* Generating size-parameterized functions for circuit simulation using Template Haskell]]<br>
Christoph A. Herrmann
</p>
<p>
[[http://smart-generators.org/M3Rauchwerger* STAPL: A High Productivity Parallel Programming Environment]]<br>
Lawrence Rauchwerger
</p>

<h2>Friday 16:30-18:00</h2>

Discussion Session:

<p>

[[http://smart-generators.org/M3KaminDiscussion* Compelling examples of program generation]]<br>
Sam Kamin and Eelco Visser

</p>

<h2>Friday 20:00-21:00</h2>

Discussion Session:

<p>
Planning of future WG 2.11 activities and events<br>
Walid Taha
</p>

<h2>Saturday 9:00-10:00</h2>

Session chair: Christian Lengauer

<p>

[[http://smart-generators.org/M3Swierstra2* Implicit Program Generation]]<br>
Doaitse Swierstra

</p>

<h2>Saturday 10:30-12:00</h2>

Final discussions

<h2>Meeting coordinator</h2>

Christian Lengauer: e-mail:
[[mailto:lengauer@fmi.uni-passau.de lengauer@fmi.uni-passau.de]]

</html>

==File Attachments==

*[[Media:dslides.pdf | dslides.pdf]]
*[[Media:weirich-wg211.ppt | weirich-wg211.ppt]]
*[[Media:reveillere-aop.pdf | reveillere-aop.pdf]]
*[[Media:lemeur-IFIP-Wg2.11.pdf | lemeur-IFIP-Wg2.11.pdf]]
*[[Media:MoggiE-M3.pdf | MoggiE-M3.pdf]]
*[[Media:foozles.pdf | foozles.pdf]]
*[[Media:tradeoffs.pdf | tradeoffs.pdf]]
*[[Media:yannis-smaragdakis-ifip06.pdf | yannis-smaragdakis-ifip06.pdf]]
*[[Media:Visser-JavaTransform.pdf | Visser-JavaTransform.pdf]]
*[[Media:LengauerAOP.pdf | LengauerAOP.pdf]]
*[[Media:RG-slides-Dagstuhl060127.pdf | RG-slides-Dagstuhl060127.pdf]]
*[[Media:MonadsforCodeDuplication.pdf | MonadsforCodeDuplication.pdf]]
*[[Media:dagstuhl06.ppt | dagstuhl06.ppt]]
*[[Media:PermParsers2002.pdf | PermParsers2002.pdf]]
*[[Media:weirich-aop.ppt | weirich-aop.ppt]]
*[[Media:talk.ppt | talk.ppt]]
*[[Media:brady.pdf | brady.pdf]]
*[[Media:herrmann.pdf | herrmann.pdf]]
*[[Media:LopezHerrejonFeaturesToAspects.pdf | LopezHerrejonFeaturesToAspects.pdf]]
*[[Media:Striegnitz.pdf | Striegnitz.pdf]]
*[[Media:nsynchronous.pdf | nsynchronous.pdf]]
*[[Media:xlanguage.pdf | xlanguage.pdf]]
*[[Media:DSI-WG211-Talk-Draft03.ppt | DSI-WG211-Talk-Draft03.ppt]]

WG211/M3Swierstra

2011-12-16T13:17:21Z

Walid:

[[Category:WG211]]

Doaitse Swierstra

Title: Dynamically Extending Syntax and Semantics
<br>Speaker: Doaitse Swierstra
<br>
Slides: [[Media:Dagstuhl211.pdf | Dagstuhl211.pdf.pdf]]
<br>
Abstract:<br>
I give an overview of the issues involved in implementing syntax macro mechanisms; we introduce the use of higher order domains, in order to create program transformations of the fly.

We discuss some things that went well, and problems we encountered.

==File Attachments==

*[[Media:Dagstuhl211.pdf | Dagstuhl211.pdf]]

WG211/M3Consel

2011-12-16T13:00:13Z

Walid:

[[Category:WG211]]

Charles Consel
Title:
A proposal for Domain-Specific Software Engineering
<br>Speaker: Charles Consel
<p>
Slides: [[Media:dagstuhl06.ppt|dagstuhl06.ppt]]
<br>
Abstract:<br>
Domain-Specific Software Engineering
Traditionally, software development does not rely on an in-depth knowledge of the target domain. Instead, domain-specific knowledge is integrated in the software development process in an ad hoc and partial fashion, without much formal basis or tools. In doing so, software systems are takled in isolation, making conceptual or implementation factorization difficult. Yet, it is fundamental to observe that programs often belong to a family. In this family, they share commonalities and expose specific variations.

This talk advocates the key role of domain expertise in the development of members of a program family. In this situation, we believe that a domain-centered approach should not be limited to a specific development step or software layer. Instead, we propose a domain-centered approach that is a continuum between modeling, programming and implementation.

WG211/M3Consel

2011-12-16T12:58:55Z

Walid:

[[Category:WG211]]

Charles Consel
Title:
A proposal for Domain-Specific Software Engineering
<br>Speaker: Charles Consel
<p>
Slides: [[Media:dagstuhl06.ppt|dagstuhl06.ppt]]
<p>
Abstract:<br>
Domain-Specific Software Engineering
Traditionally, software development does not rely on an in-depth knowledge of the target domain. Instead, domain-specific knowledge is integrated in the software development process in an ad hoc and partial fashion, without much formal basis or tools. In doing so, software systems are takled in isolation, making conceptual or implementation factorization difficult. Yet, it is fundamental to observe that programs often belong to a family. In this family, they share commonalities and expose specific variations.

This talk advocates the key role of domain expertise in the development of members of a program family. In this situation, we believe that a domain-centered approach should not be limited to a specific development step or software layer. Instead, we propose a domain-centered approach that is a continuum between modeling, programming and implementation.

WG211/M3Rauchwerger

2011-12-16T12:51:35Z

Walid:

[[Category:WG211]]

Lawrence Rauchwerger

Title: STAPL: A High Productivity Parallel Programming Environment
<br>Speaker: Lawrence Rauchwerger
<br>
Abstract:<br>
The Standard Template Adaptive Parallel Library (STAPL) is a collection
of generic data structures and algorithms that provides a high
productivity, parallel programming infrastructure with an approach that
draws heavily in design from the C++ Standard Template Library (STL).
By abstracting much of the complexity of parallelism from the end
user, STAPL provides a platform for high productivity by enabling
the user to focus on algorithmic design instead of lower level
parallel implementation issues. In this talk, we provide an overview
of the major STAPL components, discuss its framework for adaptive
algorithm selection, and show that several common applications can be
written with relative ease in STAPL and still have scalable performance.

WG211/M3ODonnell

2011-12-16T12:50:43Z

Walid:

[[Category:WG211]]

John O'Donnell

Title:
Equational Reasoning with Circuit Transformations in Hydra
<br>Speaker: John O'Donnell
<br>
Abstract:<br>
TBA

WG211/M3Moggi

2011-12-16T12:49:57Z

Walid:

[[Category:WG211]]

Title: Program generation by linking

Speaker: Eugenio Moggi

Slides: [[Media:MoggiE-M3.pdf | MoggiE-M3.pdf]]

Abstract. In joint work with Ancona we have introduced a monadic metalanguage with name generation and linking [[http://www.disi.unige.it/person/MoggiE/ftp/fmco04.pdf FMCO'04]]. This presentation considers a 2-level variant of MetaML and give a translation (preserving the operational semantics) into this monadic metalanguage.

WG211/M3Pouzet

2011-12-16T12:49:06Z

Walid:

[[Category:WG211]]

Marc Pouzet

Title:
A Conservative Extension of Synchronous Data-flow with State Machines
<br>Speaker: Marc Pouzet
<p>
Slides: [[Media:slides.pdf|slides.pdf]]
<br>
Abstract:<br>
In this talk, we present an extension of a synchronous data-flow
language such as Scade/Lustre with
imperative features expressed in terms of powerful state machine.
This extension is fully conservative in the sense that all the programs from the
basic language still make sense in the extended language and their
semantics is preserved.

From a syntactical point of view this extension consists in
hierarchical state machines that may carry at each hierarchy level a
bunch of equations. This proposition is an alternative to the joint
use of Simulink and Stateflow but improves it by allowing a fine
grain mix of both styles.

The central idea is to base this extension on the use of
clocks, translating imperative constructs into well clocked
data-flow programs from the basic language. This clock directed
approach is an easy way to define a semantics for the extension, it is
light to implement in an existing compiler and experiments show that
the generated code compete favorably with ad-hoc techniques.
The proposed extension has been implemented in the Reluc compiler of
Scade/Lustre developped at Esterel-Technologies and in the Lucid Synchrone
compiler.

==File Attachments==

*[[Media:slides.pdf | slides.pdf]]

WG211/M3LopezHerrejon

2011-12-16T12:47:33Z

Walid:

[[Category:WG211]]

Roberto Lopez-Herrejon

Title:
Mapping Features to Aspects
<br>Speaker: Roberto Lopez-Herrejon
<p>
Slides: [[Media:LopezHerrejonFeaturesToAspects.pdf | LopezHerrejonFeaturesToAspects.pdf]]
<br>
Abstract:<br>
Features are increments in program functionality and constitute the building blocks of software product lines. Aspects offer powerful mechanisms to modularize crosscutting concerns. Aspect Oriented Programming (AOP) has been successfully applied to several domains; however, their application to product line engineering has been limited. Work on Feature Oriented Programming (FOP) has shown that a crucial factor to synthesize product lines is a composition model based on functional composition. In this talk I show how to emulate functional composition using AspectJ and its application to synthesize a large scale product line.