WG211/M8Schedule
Contents
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
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 [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:
[[1]]
[[2]]
[[3]]
[[4]]
[[5]]
[[6]]
More information about accomodations is available [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 [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 [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
Virtual separation of concerns - Toward preprocessors 2.0 (slides) Christian Kaestner
An experiment with the fourth Futamura projection Robert Glueck
Safe Generation in Feature-Oriented Software Development (slides) Sven Apel
Costing by Construction for Box-based System Development (slides) Greg Michaelson
Programming for adaptive sensor networks: back to the future (slides) Simon Dobson
Online Partial Evaluation of Model Interpreters in Java William Cook
Relating Staged Computation to the Record Calculus (slides) Baris Aktemur
Software Product Lines (slides) Ina Schaefer
Datapath and control correspond to language and program John O'Donnell
AnySL: Efficient and Portable Multi-Language Shading Sebastian Hack
An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks (slides) Christoph Hermann
Building IDEs for Domain-Specific Languages with Spoofax/IMP Eelco Visser
Generic programming with dependent types (slides) Stephanie Weirich
Bidirectional Attribute Grammars and their use in Extensible Languages (slides) Eric Van Wyk
DoMinion : Generating Efficient Constraint Programming Solvers Christopher Jefferson
Generating optimised multiplatform finite element solvers from high-level representations (slides) Graham Markall
Mint: Java Multi-stage Programming Using Weak Separability (slides) Ed Westbrook
Language Support for Robust and Reversible Self-Reconfiguration Ulrik Schultz
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 [researchr.org]: Eelco Visser
Schedule
| Monday | Tuesday | Wednesday | |
| 9:00 | Kaestner | Weirich | Dobson |
| 9:45 | Apel | Brady | Jefferson |
| 10:30 | Break | Break | Break |
| 11:00 | Schaefer | Michaelson | O'Donnell |
| 11:45 | Markall | Aktemur | Short presentations by Lengauer and Cook |
| 12:30 | Lunch | Lunch | Lunch |
| 14:00 | Glueck | Excursion | Discussion on teaching program generation and DSLs |
| 14:45 | Cook | Excursion | Hermann |
| 15:30 | Break | Short presentation by Visser | Break |
| 16:00 | Laemmel | Schultz | Van Wyk |
| 16:45 | Westbrook | Visser | 17:00 Departure |
| 17:30 | Business Meeting | ||
| 19:00 | Departure | Departure |
