Main Page: Difference between revisions
From WG 2.11
Jump to navigationJump to search
change chair |
|||
| (32 intermediate revisions by 10 users not shown) | |||
| Line 7: | Line 7: | ||
==Current Activity== | ==Current Activity== | ||
''' | '''Next meeting''': [[WG211/M26Schedule| Twenty-sixth meeting in Niagara-on-the-lake, Ontario, Canada]] (October 13-16, 2026) | ||
==Current Members== | ==Current Members== | ||
{| | {| | ||
|[ | |[https://namin.seas.harvard.edu/ Nada Amin] (US) | ||
|[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR) | |[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR) | ||
|[ | |[https://www.type-driven.org.uk/edwinb Edwin Brady] (UK) | ||
|- | |- | ||
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA | |[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA) | ||
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US) | |[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US) | ||
|[https://www.pl.informatik.uni-mainz.de/erdweg/ Sebastian Erdweg] (DE) | |||
|- | |- | ||
|[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA) | |[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA) | ||
| Line 24: | Line 24: | ||
|- | |- | ||
|[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK) | |[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK) | ||
|[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP) | |[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP), Chair | ||
|[http:// | |[http://denotational.co.uk/ Ohad Kammar] (UK) | ||
|- | |- | ||
|[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP) | |[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP) | ||
| Line 33: | Line 33: | ||
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE) | |[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE) | ||
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR) | |[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR) | ||
|[ | |[https://www.cs.drexel.edu/~mainland/ Geoffrey Mainland] (US) | ||
|- | |- | ||
|[https://pdmosses.github.io Peter Mosses] (UK, NL) | |[https://pdmosses.github.io Peter Mosses] (UK, NL) | ||
| Line 39: | Line 39: | ||
|[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH) | |[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH) | ||
|- | |- | ||
|[http://creichen.net/ Christoph Reichenbach] ( | |[http://creichen.net/ Christoph Reichenbach] (SE) | ||
|[http://tiarkrompf.github.io/ Tiark Rompf] (US) | |[http://tiarkrompf.github.io/ Tiark Rompf] (US) | ||
|[ | |[https://www.ru.nl/personen/scholz-s Sven-Bodo Scholz] (NL) | ||
|- | |- | ||
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK) | |[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK) | ||
|[http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (US) | |[http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (US) | ||
|[http:// | |[http://raintown.org/ Satnam Singh] (US) | ||
|- | |- | ||
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR) | |[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR) | ||
|[https://www.fernuni-hagen.de/ps/team/friedrich.steimann.shtml Friedrich Steimann] (DE) | |||
|[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US) | |||
|- | |- | ||
|[https:// | |[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK), Vice-Chair | ||
|[https://grammarware.net/ Vadim Zaytsev] (NL) | |||
|} | |||
Emeritus members | |||
{| | |||
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE) | |||
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE) | |[http://www.cs.rice.edu/~taha/ Walid Taha] (SE) | ||
|} | |} | ||
==Past Activity== | ==Past Activity== | ||
* [[WG211/M19Schedule | Nineteenth meeting in Salem, USA ]] | * [[WG211/M25Schedule| Twenty-fifth meeting in Stellenbosch, South Africa]] | ||
* [[WG211/M18Schedule | Eighteenth meeting in Kyoto, Japan ]] | * [[WG211/M24Schedule| Twenty-fourth meeting in Edinburgh, Scotland, UK]] | ||
* [[WG211/M17Schedule | Seventeenth meeting in Koblenz, Germany ]] | * [[WG211/M23Schedule| Twenty-third meeting in Philadelphia, Pennsylvania, USA]] | ||
* [[WG211/M16Schedule | Sixteenth meeting in Bloomington, Indiana, USA]] | * [[WG211/M22Schedule| Twenty-second meeting in Delft, The Netherlands]] | ||
* [[WG211/M15Schedule | Fifteenth meeting in London, England]] | * [[WG211/M21Schedule| Twenty-first meeting in Odense, Denmark]] | ||
* [[WG211/M14Schedule | Fourteenth meeting in Stellenbosch, South Africa]] | * [[WG211/M20Schedule| Twentieth meeting in Paris, France]] | ||
* [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]] | * [[WG211/M19Schedule| Nineteenth meeting in Salem, USA]] | ||
* [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]] | * [[WG211/M18Schedule| Eighteenth meeting in Kyoto, Japan]] | ||
* [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]] | * [[WG211/M17Schedule| Seventeenth meeting in Koblenz, Germany]] | ||
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]] | * [[WG211/M16Schedule| Sixteenth meeting in Bloomington, Indiana, USA]] | ||
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]] | * [[WG211/M15Schedule| Fifteenth meeting in London, England]] | ||
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]] | * [[WG211/M14Schedule| Fourteenth meeting in Stellenbosch, South Africa]] | ||
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]] | * [[WG211/M13Schedule| Thirteenth meeting in Pittsburgh, USA]] | ||
* [[WG211/M6Schedule | Sixth meeting in Passau]] | * [[WG211/M12Schedule| Twelfth meeting in Minneapolis, USA]] | ||
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]] | * [[WG211/M11Schedule| Eleventh meeting in Halmstad, Sweden]] | ||
* [[WG211/M4Schedule | Fourth meeting in Portland]] | * [[WG211/M10Schedule| Tenth meeting in Bordeaux, France]] | ||
* [[WG211/M3Schedule | Third meeting at Dagstuhl]] | * [[WG211/M9Schedule| Ninth meeting in Waterloo, Canada]] | ||
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]] | * [[WG211/M8Schedule| Eighth meeting in St. Andrews Scotland]] | ||
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]] | * [[WG211/M7Schedule| Seventh meeting in Mountain View, California]] | ||
* [[WG211/M6Schedule| Sixth meeting in Passau]] | |||
* [[WG211/M5Schedule| Fifth meeting in Copenhagen]] | |||
* [[WG211/M4Schedule| Fourth meeting in Portland]] | |||
* [[WG211/M3Schedule| Third meeting at Dagstuhl]] | |||
* [[WG211/MeetingTwo| Second meeting at Rice, Houston, TX.]] | |||
* [[WG211/MeetingOne| Kickoff meeting in St. Emilion]] | |||
==Background== | ==Background== | ||
* [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011 | * [[WG211/WG211-Aims-2011-02-25| Current aims]] of the working group, revised February 2011 | ||
* [[Media: | * [[index.php?title=Media:Aims-2003-09-01.txt| Initial aims]] of the working group, as submitted to IFIP, September 2003). | ||
* [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [ | * [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/03131 Dagstuhl seminar] that lead directly to the WG 2.11. | ||
==Past members== | ==Past members== | ||
A few past members include | A few past members include | ||
{| | {| | ||
|[ | |[https://www.se.cs.uni-saarland.de/apel/ Sven Apel] (DE) | ||
|[ | |[https://www.yale-nus.edu.sg/faculty/olivier-danvy/ Olivier Danvy] (<del>DK</del> SG) | ||
|[ | |[https://www.infosun.fim.uni-passau.de/cl/staff/herrmann/ Christoph Herrmann] (DE) | ||
|- | |- | ||
|[ | |[https://cs.illinois.edu/about/people/emeritus-faculty/kamin Sam Kamin] (US) | ||
|[https://eelcovisser.org/ Eelco Visser] (NL) | |||
|} | |} | ||
---- | |||
With the sudden and unexpected death of Prof. Eelco Visser, the IFIP WG | |||
2.11 lost one of its founding members and a regular participant and central player in the group for close to two decades. | |||
Eelco stood out by his calm demeanor and pleasant, sonoric voice. It gave him a special presence. Some time ago, he told us that he considered his first invitation to the WG as a pivotal event in his career and that he was very grateful for this. This was Dagstuhl Seminar 03131, which can be viewed as the conception event of WG 2.11. | |||
' | Eelco implemented the group's goals more effectively and tangibly than many of us and he never made a big deal about it. The software systems he developed, be it Stratego, Spoofax or Researchr, have a far reach into the community and beyond. Eelco was always courteous, attentive and friendly but, being also passionate, he would not shy away from lively arguments. He was a pillar of strength and steadiness in the group. We will miss him dearly. | ||
Latest revision as of 18:25, 31 July 2026
Welcome to the homepage of IFIP TC-2 working group on Program Generation (WG 2.11)
Program Generation (WG 2.11)
Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.
Current Activity
Next meeting: Twenty-sixth meeting in Niagara-on-the-lake, Ontario, Canada (October 13-16, 2026)
Current Members
| Nada Amin (US) | Sandrine Blazy (FR) | Edwin Brady (UK) |
| Jacques Carette (CA) | Ewen Denney (US) | Sebastian Erdweg (DE) |
| Bernd Fischer (ZA) | Jeremy Gibbons (UK) | Robert Glück (DK) |
| Kevin Hammond (UK) | Atsushi Igarashi (JP), Chair | Ohad Kammar (UK) |
| Yukiyoshi Kameyama (JP) | Paul Kelly (UK) | Oleg Kiselyov (JP) |
| Ralf Lämmel (DE) | Julia Lawall (FR) | Geoffrey Mainland (US) |
| Peter Mosses (UK, NL) | Klaus Ostermann (DE) | Markus Püschel (CH) |
| Christoph Reichenbach (SE) | Tiark Rompf (US) | Sven-Bodo Scholz (NL) |
| Ulrik Pagh Schultz (DK) | Chung-chieh Shan (US) | Satnam Singh (US) |
| Yannis Smaragdakis (GR) | Friedrich Steimann (DE) | Eric Van Wyk (US) |
| Jeremy Yallop (UK), Vice-Chair | Vadim Zaytsev (NL) |
Emeritus members
| Christian Lengauer (DE) | Walid Taha (SE) |
Past Activity
- Twenty-fifth meeting in Stellenbosch, South Africa
- Twenty-fourth meeting in Edinburgh, Scotland, UK
- Twenty-third meeting in Philadelphia, Pennsylvania, USA
- Twenty-second meeting in Delft, The Netherlands
- Twenty-first meeting in Odense, Denmark
- Twentieth meeting in Paris, France
- Nineteenth meeting in Salem, USA
- Eighteenth meeting in Kyoto, Japan
- Seventeenth meeting in Koblenz, Germany
- Sixteenth meeting in Bloomington, Indiana, USA
- Fifteenth meeting in London, England
- Fourteenth meeting in Stellenbosch, South Africa
- Thirteenth meeting in Pittsburgh, USA
- Twelfth meeting in Minneapolis, USA
- Eleventh meeting in Halmstad, Sweden
- Tenth meeting in Bordeaux, France
- Ninth meeting in Waterloo, Canada
- Eighth meeting in St. Andrews Scotland
- Seventh meeting in Mountain View, California
- Sixth meeting in Passau
- Fifth meeting in Copenhagen
- Fourth meeting in Portland
- Third meeting at Dagstuhl
- Second meeting at Rice, Houston, TX.
- Kickoff meeting in St. Emilion
Background
- Current aims of the working group, revised February 2011
- Initial aims of the working group, as submitted to IFIP, September 2003).
- Compendium of papers resulting from Dagstuhl seminar that lead directly to the WG 2.11.
Past members
A few past members include
| Sven Apel (DE) | Olivier Danvy ( |
Christoph Herrmann (DE) |
| Sam Kamin (US) | Eelco Visser (NL) |
With the sudden and unexpected death of Prof. Eelco Visser, the IFIP WG 2.11 lost one of its founding members and a regular participant and central player in the group for close to two decades.
Eelco stood out by his calm demeanor and pleasant, sonoric voice. It gave him a special presence. Some time ago, he told us that he considered his first invitation to the WG as a pivotal event in his career and that he was very grateful for this. This was Dagstuhl Seminar 03131, which can be viewed as the conception event of WG 2.11.
Eelco implemented the group's goals more effectively and tangibly than many of us and he never made a big deal about it. The software systems he developed, be it Stratego, Spoofax or Researchr, have a far reach into the community and beyond. Eelco was always courteous, attentive and friendly but, being also passionate, he would not shy away from lively arguments. He was a pillar of strength and steadiness in the group. We will miss him dearly.
