WGP09
ACM SIGPLAN
Workshop on Generic Programming 2009
Edinburgh, UK, Sun. 30:th August 2009 (just before ICFP09)
(This page: http://wiki.portal.chalmers.se/cse/pmwiki.php/WGP09/ )
News
- 2011-11-08: The WGP Permanent Home Page is now at http://www.wgp-sigplan.org/
- 2009-08-30: WGP 2009 is over - time to prepare for WGP 2010:
- New chairs: Bruno Oliveira and Marcin Zalewski
- Prel. plan: Sept. 2010 in Baltimore (affiliated with ICFP 2010)
- 2009-08-17: WGP09_programme.pdf and Presentation Format available.
- 2009-07-06: Programme settled.
- 2009-06-22: Registration site open (reg. for ICFP + co-located workshops are in one place)
- 2009-05-30: Decision of accepted papers
- 2009-05-11: Submission site closed.
- 2009-04-17: (Submission site open)
- 2009-03-24: Authors of accepted papers will be invited to submit a revised version to the forthcoming JFP Special Issue on Generic Programming.
- 2009-01-18: CFP, CFP.pdf CFP.txt
Accepted papers for WGP 2009
The WGP programme committee has selected the following 8 papers (out of 14 submissions):
- Polytypic Properties and Proofs in Coq. Wendy Verbruggen, Edsko de Vries and Arthur Hughes.
- Adaptable Component Frameworks: Using vector from the C++ Standard Library as an Example. Jyrki Katajainen and Bo Simonsen.
- The Function Concept in C++ - An Empirical Study. Daniel Lincke and Sibylle Schupp.
- What Does Aspect-Oriented Programming Mean for Functional Programmers? Meng Wang and Bruno Oliveira.
- Type-Specialized Staged Programming with Process Separation. Yu David Liu, Christian Skalka and Scott Smith.
- Type-Safe Diff for Families of Datatypes. Eelco Lempsink, Sean Leather and Andres Loeh.
- Meeting a Fanclub - A Lattice of Generic Shape Selectors. Roland Backhouse, Richard Bird and Paul Hoogendijk.
- Parametric Datatype-Genericity. Jeremy Gibbons and Ross Paterson.
All accepted papers be published in the workshop proceedings and presented to the participants of the workshop; thus, at least one of the authors is expected to register for the workshop and come to Edinburgh.
Important dates for WGP'09:
| Final papers due: | Tuesday | 2009-06-17 |
| Workshop: | Sunday | 2009-08-30 |
| Deadline for submission: | Sunday | 2009-05-10 (five days after ICFP09 notification) |
| Notification of acceptance: | Monday | 2009-06-01 |
Authors should submit papers, in PDF format to the WGP09 EasyChair instance by 10th of May 2009. The length should be restricted to 12 pages in standard (two-column, 9pt) ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers are published by the ACM and will additionally appear in the ACM digital library.
Goals of the workshop
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and for at least 20 years generic programming techniques have been a specific focus of research in the functional and object-oriented programming language communities. Generic programming has gradually spread to more and more mainstream languages and is today widely used also in industry. This workshop will bring together leading researchers and practitioners in generic programming from around the world, and feature papers capturing the state of the art in this important area.
We welcome contributions on all aspects, theoretical as well as practical, of
- adaptive object-oriented programming,
- aspect-oriented programming,
- concepts (as in the STL / C++ sense)
- component-based programming,
- generic programming,
- meta-programming,
- polytypic programming,
- programming with modules,
- and so on.
Organisers:
Programme Committee
| Given | Family | Affiliation | Work page | |
|---|---|---|---|---|
| Edwin | Brady | U. of St Andrews | http://www.cs.st-andrews.ac.uk/~eb/ | |
| Peter | Gottschling | TU Dresden | http://www.linkedin.com/pub/1/BA6/91A | |
| Patrik | Jansson | Chalmers | http://www.cse.chalmers.se/~patrikj/ | Chair |
| Barry | Jay | U. of T., Sydney | http://www-staff.it.uts.edu.au/~cbj/ | |
| Jaakko | Järvi | Texas A&M | http://parasol.tamu.edu/~jarvi/ | |
| Oleg | Kiselyov | FNMOC | http://okmij.org/ftp/ | |
| Andres | Löh | Utrecht U. | http://people.cs.uu.nl/andres/ | |
| Fritz | Ruehr | Willamette U. | http://www.willamette.edu/~fruehr/ | |
| Sibylle | Schupp | TU Hamburg Harburg | http://www.sts.tu-harburg.de/~schupp/ | Co-Chair |
| Marcin | Zalewski | Indiana U. | http://www.cs.indiana.edu/people/z/zalewski.html |
PC members will advertise the workshop in their communities and research groups, and encourage co-workers and students to participate. PC members themselves are normally expected to attend the workshop (and they are also are encouraged to submit papers).
We plan to have formal proceedings, published by the ACM.
History of the Workshop on Generic Programming
This year:
- Edinburgh, UK 2009 (affiliated with ICFP09)
Earlier Workshops on Generic Programming have been held in
- Victoria, BC, Canada 2008 (affiliated with ICFP),
- Portland 2006 (affiliated with ICFP),
- Utrecht 2005 (informal workshop),
- Dagstuhl 2002 (IFIP WG2.1 Working Conference),
- Nottingham 2001 (informal workshop),
- Ponte de Lima 2000 (affiliated with MPC),
- Marstrand 1998 (affiliated with MPC).
There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached).