Difference between revisions of "WG211/M17Schedule"
(→Talks) |
m (Renamed the talk slides) |
||
(36 intermediate revisions by 11 users not shown) | |||
Line 75: | Line 75: | ||
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. | Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. | ||
− | Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan ( | + | Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev. |
== Talks == | == Talks == | ||
Line 82: | Line 82: | ||
* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]] | * Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]] | ||
− | * Jacques Carette [[WG211/M17Carette | | + | * Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]] |
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]] | * Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]] | ||
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]] | * Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]] | ||
+ | * Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]] | ||
+ | * Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]] | ||
+ | * Paul Kelly [[ WG211/M17Kelly | Domain-specific optimisation of finite-element integration loops – and what we learned ]] | ||
+ | * Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]] | ||
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]] | * Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]] | ||
− | * | + | * Stefan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf | (slides) ]] |
− | + | ||
− | * Markus Püschel [[WG211/M17Puschel | | + | * Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf | (slides) ]] |
− | * Christoph Reichenbach [[WG211/M17Reichenbach | | + | * Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]] |
+ | * Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend to PQL/Java]] [[Media:WG211-M17-creichen-pql-backend.pdf| (slides) ]] | ||
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]] | * Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]] | ||
− | * | + | * Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18) |
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]] | * Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]] | ||
+ | * Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]] | ||
+ | * Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]] | ||
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]] | * Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]] | ||
+ | * Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]] | ||
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]] | * Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]] | ||
Line 100: | Line 108: | ||
=== Scientific program === | === Scientific program === | ||
− | The | + | The scheduling of the talks is as follows: |
+ | |||
+ | Monday July 17: | ||
+ | * 8.45-9.00: Welcome | ||
+ | * 9.00-10:30: 2 talks | ||
+ | ** Jacques Carette: Multi-lingual code generation in Drasil | ||
+ | ** Yannis Smaragdakis: Stream Fusion, to Completeness | ||
+ | * 10:30-11:00: Break | ||
+ | * 11:00-12:30: 2 talks | ||
+ | ** Yukiyoshi Kameyama: Environment Classifiers, Revisited | ||
+ | ** Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies | ||
+ | * 12:30-14.15: Lunch (break) | ||
+ | * 14.15-15.00: 1 talk | ||
+ | ** Friedrich Steimann: Transactional Editing: Giving ACID to Programmers | ||
+ | * 15.00-15.30: Break | ||
+ | * 15.30-16:15: 1 talk | ||
+ | ** Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging | ||
+ | * 16.50: meet in hotel lobby and start walking at 17:00 to social event | ||
+ | |||
+ | Tuesday July 18: | ||
+ | * 9.00-10.30: 2 talks | ||
+ | ** Jeremy Yallop: Staged Generic Programming | ||
+ | ** Atsushi Igarashi: Towards gradually typed multi-stage programming | ||
+ | * 10.30-11.00: Break | ||
+ | * 11.00-12.30: 2 talks | ||
+ | ** Nada Amin: Collapsing Towers of Interpreters | ||
+ | ** Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study | ||
+ | * 12.30-14.15: Lunch (break) | ||
+ | * 14.15-15.00: 1 talk | ||
+ | ** Chung-chieh Shan: Inference building blocks | ||
+ | * 15.00-15.30: Break | ||
+ | * 15.30-17.00: Business meeting (members only) | ||
+ | * 17.15: Social event | ||
+ | |||
+ | Wednesday July 19: | ||
+ | * 9.00-10.30: 2 talks | ||
+ | ** Markus Püschel: Program generation for small linear algebra | ||
+ | ** Armando Solar-Lezama: Type system support for template based synthesis | ||
+ | * 10.30-11.00: Break | ||
+ | * 11.00-12.30: 2 talks | ||
+ | ** Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization | ||
+ | ** Ulrik Pagh Schultz: Safety as a Programming Language Concept | ||
+ | * 12.30-14.15: Lunch (break) | ||
+ | * 14.15-15.45: 2 talks | ||
+ | ** Christoph Reichenbach: Adding an extensible backend to PQL/Java | ||
+ | ** Eric Van Wyk: Extensible and composable type qualifiers in AbleC | ||
+ | * 15.45-16:15: Break | ||
+ | * 18:15: meet in lobby to walk or bus to social event | ||
+ | * 18:45: Social event | ||
+ | |||
+ | Thursday July 20: | ||
+ | * 9.00-10.30: 2 talks | ||
+ | ** Robert Glück An experiment in ping-pong protocol verification by pushdown automata | ||
+ | ** Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned | ||
+ | * 10.30-11.00: Break | ||
+ | * 11.00-11.45: 1 talk | ||
+ | ** Ralf Lämmel Systematic comparison of metaprogramming technologies | ||
+ | * 12.00: Lunch | ||
=== Social events === | === Social events === | ||
Line 106: | Line 171: | ||
* Sunday 16 July; 6pm - ... | * Sunday 16 July; 6pm - ... | ||
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft] | ** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft] | ||
− | * Monday 17 July; | + | * Monday 17 July; 4.50-8pm |
+ | ** meet in hotel lobby at 4.50pm to start walking at 5.00pm | ||
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries] | ** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries] | ||
− | * Tuesday 18 July; | + | * Tuesday 18 July; 5.15-7pm |
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik] | ** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik] | ||
* Tuesday 18 July; 7.30-10pm | * Tuesday 18 July; 7.30-10pm | ||
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls | ** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls | ||
− | * Wednesday 19 July; | + | * Wednesday 19 July; 6.45-11pm |
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz] | ** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz] | ||
− | * Thursday 20 July; 12. | + | * Thursday 20 July; 12.30-1.30pm |
− | ** Lunch in the city center | + | ** Lunch in the city center: Restaurant Aubergine (close to the train station) |
Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday. | Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday. | ||
Line 121: | Line 187: | ||
== Excursion== | == Excursion== | ||
− | + | [https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne. | |
− | |||
− | |||
− | |||
− | |||
− |
Latest revision as of 19:14, 21 July 2017
IFIP Working Group 2.11, Seventeenth Meeting
July 17-20, 2017 in Koblenz, Germany.
The meeting will be held in Koblenz, Germany, hosted by Ralf Lämmel (University of Koblenz-Landau).
The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.
Venue
The meeting will take place at Contel Hotel Koblenz (Google Maps). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.
Travel
Frankfurt Airport is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should buy the train ticket online. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.
Accommodation
The deal for the conference hotel assumes that we are also booking rooms in the same hotel.
The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).
Please reserve your hotel room by email: hotel@contel-koblenz.de
Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.
You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.
Here is a cleverly crafted hotel reservation mailto link that includes the relevant information.
Registration
To register add your name to the attendance list below (or email a chair-person to have it added for you) and reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.
You pay in two parts.
Part I: Conference facilities
(Note: If you travel with spouse, this part is not relevant for your spouse.)
Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.
For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.
This covers use of conference facilities, refreshments, and lunch.
Part II: Catering and social events
(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)
In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).
You can pay by bank transfer or cash onsite.
This covers all the social events.
You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.
Payment details if you opt for bank transfer (rather than cash onsite):
- Amount: 147 Euro
- Account holder: Landeshochschulkasse Mainz
- Bank: Deutsche Bundesbank Filiale Mainz
- IBAN: DE25 5500 0000 0055 0015 11
- BIC: MARKDEF1550
You must include this note to payee: 6501Ko/1509-28202/5142128
Also mention IFIP WG 2.11.
Make sure that you cover all costs of bank transfer.
Attendance
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.
Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, 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, following the template below.
- Nada Amin Collapsing Towers of Interpreters
- Jacques Carette Multi-lingual code generation in Drasil
- Bernd Fischer Breaking Parsers
- Robert Glück An experiment in ping-pong protocol verification by pushdown automata
- Atsushi Igarashi Towards gradually typed multi-stage programming
- Yukiyoshi Kameyama Environment Classifiers, Revisited
- Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
- Stefan Kronawitter, Christian Lengauer The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
- Ralf Lämmel Systematic comparison of metaprogramming technologies
- Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging (slides)
- Bruno C. d. S. Oliveira Semantic Modularization Techniques in Practice: A TAPL case study (slides)
- Markus Püschel Program generation for small linear algebra (not on Monday or last talk Thursday)
- Christoph Reichenbach Adding an extensible backend to PQL/Java (slides)
- Ulrik Pagh Schultz Safety as a Programming Language Concept
- Chung-chieh Shan Inference building blocks (I don't have to speak; I'm only around on July 17 and 18)
- Yannis Smaragdakis Stream Fusion, to Completeness
- Armando Solar-Lezama Type system support for template based synthesis
- Friedrich Steimann Transactional Editing: Giving ACID to Programmers
- Eric Van Wyk Extensible and composable type qualifiers in AbleC
- Jeremy Yallop Staged Generic Programming
- Vadim Zaytsev Succeeding at Impossible Industrial Projects with Generative Technologies
Program / schedule
Scientific program
The scheduling of the talks is as follows:
Monday July 17:
- 8.45-9.00: Welcome
- 9.00-10:30: 2 talks
- Jacques Carette: Multi-lingual code generation in Drasil
- Yannis Smaragdakis: Stream Fusion, to Completeness
- 10:30-11:00: Break
- 11:00-12:30: 2 talks
- Yukiyoshi Kameyama: Environment Classifiers, Revisited
- Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies
- 12:30-14.15: Lunch (break)
- 14.15-15.00: 1 talk
- Friedrich Steimann: Transactional Editing: Giving ACID to Programmers
- 15.00-15.30: Break
- 15.30-16:15: 1 talk
- Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
- 16.50: meet in hotel lobby and start walking at 17:00 to social event
Tuesday July 18:
- 9.00-10.30: 2 talks
- Jeremy Yallop: Staged Generic Programming
- Atsushi Igarashi: Towards gradually typed multi-stage programming
- 10.30-11.00: Break
- 11.00-12.30: 2 talks
- Nada Amin: Collapsing Towers of Interpreters
- Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study
- 12.30-14.15: Lunch (break)
- 14.15-15.00: 1 talk
- Chung-chieh Shan: Inference building blocks
- 15.00-15.30: Break
- 15.30-17.00: Business meeting (members only)
- 17.15: Social event
Wednesday July 19:
- 9.00-10.30: 2 talks
- Markus Püschel: Program generation for small linear algebra
- Armando Solar-Lezama: Type system support for template based synthesis
- 10.30-11.00: Break
- 11.00-12.30: 2 talks
- Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
- Ulrik Pagh Schultz: Safety as a Programming Language Concept
- 12.30-14.15: Lunch (break)
- 14.15-15.45: 2 talks
- Christoph Reichenbach: Adding an extensible backend to PQL/Java
- Eric Van Wyk: Extensible and composable type qualifiers in AbleC
- 15.45-16:15: Break
- 18:15: meet in lobby to walk or bus to social event
- 18:45: Social event
Thursday July 20:
- 9.00-10.30: 2 talks
- Robert Glück An experiment in ping-pong protocol verification by pushdown automata
- Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
- 10.30-11.00: Break
- 11.00-11.45: 1 talk
- Ralf Lämmel Systematic comparison of metaprogramming technologies
- 12.00: Lunch
Social events
- Sunday 16 July; 6pm - ...
- Informal meeting at Kaffeewirtschaft
- Monday 17 July; 4.50-8pm
- meet in hotel lobby at 4.50pm to start walking at 5.00pm
- Planwagentour ("mobile wine tasting") in Winningen mit Winzermeister Fries
- Tuesday 18 July; 5.15-7pm
- Guided city tour in Koblenz mit Koblenz Touristik
- Tuesday 18 July; 7.30-10pm
- Dinner at Weingut Schwaab in Güls
- Wednesday 19 July; 6.45-11pm
- Dinner at Weindorf Koblenz
- Thursday 20 July; 12.30-1.30pm
- Lunch in the city center: Restaurant Aubergine (close to the train station)
Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.
Excursion
TripAdvisor provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at Deutsches Eck ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for Lorelei (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.