Difference between revisions of "Main Page"
From WG 2.11
(Fixed my country affiliation to SE) |
(→Current Members) |
||
| Line 11: | Line 11: | ||
==Current Members== | ==Current Members== | ||
{| | {| | ||
| − | |||
|[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR) | |[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR) | ||
|[http://eb.host.cs.st-andrews.ac.uk/ Edwin Brady] (UK), Vice Chair | |[http://eb.host.cs.st-andrews.ac.uk/ Edwin Brady] (UK), Vice Chair | ||
| + | |[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA), Chair | ||
|- | |- | ||
| − | |||
| − | |||
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US) | |[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US) | ||
| − | |||
|[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA) | |[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA) | ||
|[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (UK) | |[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (UK) | ||
| + | |- | ||
|[http://www.diku.dk/~glueck Robert Glück] (DK) | |[http://www.diku.dk/~glueck Robert Glück] (DK) | ||
| − | |||
|[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) | ||
| + | |- | ||
|[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US) | |[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US) | ||
| − | |||
|[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP) | |[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP) | ||
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK) | |[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK) | ||
| + | |- | ||
|[http://okmij.org/ftp/ Oleg Kiselyov] (JP) | |[http://okmij.org/ftp/ Oleg Kiselyov] (JP) | ||
| − | |||
|[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) | ||
| + | |- | ||
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE) | |[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE) | ||
| + | |[https://www.cs.drexel.edu/~mainland/ Geoffrey Mainland] (US) | ||
| + | |[https://pdmosses.github.io Peter Mosses] (UK, NL) | ||
|- | |- | ||
| − | |||
|[http://ps.informatik.uni-tuebingen.de/team/ostermann/ Klaus Ostermann] (DE) | |[http://ps.informatik.uni-tuebingen.de/team/ostermann/ Klaus Ostermann] (DE) | ||
|[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] (SE) | ||
|- | |- | ||
| − | |||
|[http://tiarkrompf.github.io/ Tiark Rompf] (US) | |[http://tiarkrompf.github.io/ Tiark Rompf] (US) | ||
|[http://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html Sven-Bodo Scholz] (UK) | |[http://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html Sven-Bodo Scholz] (UK) | ||
| + | |[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://raintown.org/ Satnam Singh] (US) | |[http://raintown.org/ Satnam Singh] (US) | ||
|[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU) | |[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU) | ||
| + | |- | ||
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR) | |[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR) | ||
| − | |||
|[https://people.csail.mit.edu/asolar/ Armando Solar-Lezama] (US) | |[https://people.csail.mit.edu/asolar/ Armando Solar-Lezama] (US) | ||
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE) | |[http://www.cs.rice.edu/~taha/ Walid Taha] (SE) | ||
| + | |- | ||
|[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US) | |[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US) | ||
| − | |||
|[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL) | |[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL) | ||
|[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK) | |[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK) | ||
| + | |- | ||
| + | |[https://grammarware.net/ Vadim Zaytsev] (UK) | ||
|- | |- | ||
|} | |} | ||
Revision as of 18:44, 14 July 2020
Welcome to the homepage of IFIP TC-2 working group on Program Generation (WG 2.11)
Contents
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
The next meeting will be in Paris, France, February 17-20th 2020. WG211/M20Schedule
Current Members
| Sandrine Blazy (FR) | Edwin Brady (UK), Vice Chair | Jacques Carette (CA), Chair |
| Ewen Denney (US) | Bernd Fischer (ZA) | Jeremy Gibbons (UK) |
| Robert Glück (DK) | Kevin Hammond (UK) | Atsushi Igarashi (JP) |
| Christian Kästner (US) | Yukiyoshi Kameyama (JP) | Paul Kelly (UK) |
| Oleg Kiselyov (JP) | Ralf Lämmel (DE) | Julia Lawall (FR) |
| Christian Lengauer (DE) | Geoffrey Mainland (US) | Peter Mosses (UK, NL) |
| Klaus Ostermann (DE) | Markus Püschel (CH) | Christoph Reichenbach (SE) |
| Tiark Rompf (US) | Sven-Bodo Scholz (UK) | Ulrik Pagh Schultz (DK) |
| Chung-chieh Shan (US) | Satnam Singh (US) | Anthony M. Sloane (AU) |
| Yannis Smaragdakis (GR) | Armando Solar-Lezama (US) | Walid Taha (SE) |
| Eric Van Wyk (US) | Eelco Visser (NL) | Jeremy Yallop (UK) |
| Vadim Zaytsev (UK) |
Past Activity
- 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.
Related events
Past members
A few past members include
| Sven Apel (DE) | Olivier Danvy (DK) | Christoph Herrmann (DE) |
| Sam Kamin (US) |
Mailing list
- The working group maintains a mailing list for discussions related to program generation. You can subscribe to this list here.
Contact information: Please direct comments or questions to wg2.11-chair@cs.rice.edu.
