sts

sts@lists.urchin.earth.li

102 discussions

GPCE 2011 Call for Papers
by Chang Hwan Peter Kim 07 Mar '11

07 Mar '11

------------------------------------------------------------------------ CALL FOR PAPERS Tenth International Conference on Generative Programming and Component Engineering (GPCE 2011) October 22-23, 2011 Portland, Oregon, USA (collocated with SPLASH 2011) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF LinkedIn: GPCE (http://tinyurl.com/48eoovb) ------------------------------------------------------------------------ IMPORTANT DATES * Submission of abstracts: Monday, May 16, 2011 * Submission of papers: Sunday, May 22, 2011 * Paper notification: Wednesday, July 6, 2011 * Submission of tech talks: Sunday, August 7, 2011 SCOPE Generative and component approaches are revolutionizing software development just as automation and componentization revolutionized manufacturing. Key technologies for automating program development are Generative Programming for program synthesis, Component Engineering for modularity, and Domain-Specific Languages (DSLs) for compact problem-oriented programming notations. The International Conference on Generative Programming and Component Engineering is a venue for researchers and practitioners interested in techniques that use program generation and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative and component-based software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS Research papers: 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). Tool demonstrations: Tool demonstrations should present tools that implement generative and component-based software engineering techniques, and are available for use. Any of the GPCE'11 topics of interest are appropriate areas for tool demonstrations. Purely commercial tool demonstrations will not be accepted. Submissions should contain a tool description of up to 6 pages in SIGPLAN proceedings style (sigplanconf.cls) and a demonstration outline of up to 2 pages text plus 2 pages screen shots. The six page description will, if the demonstration is accepted, be published in the proceedings. The 2+2 page demonstration outline will only be used by the PC for evaluating the submission. Workshops and tech talks: Workshops are organized by SPLASH - see the SPLASH website for details (http://splashcon.org). Tech talks are organized by GPCE as one or two talks at the end of each day of the conference. The talks will be about an hour in length and, similarly to tutorials, do not (need to) present original new research material. Unlike longer tutorials, these talks cannot be very interactive, and should instead aim to be 'keynote' style presentations. Please see the tech talks call for contributions at www.gpce.org for details. TOPICS GPCE seeks contributions in software engineering and in programming languages related (but not limited) to: * Generative programming o Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement, generic programming, automated code generation o Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation o Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line architectures o Distributed, real-time and embedded systems o Model-driven development and architecture o Resource bounded/safety critical systems. * Component-based software engineering o Reuse, distributed platforms and middleware, distributed systems, evolution, patterns, development methods, deployment and configuration techniques, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis o Domain-specific languages including visual and UML-based DSLs * Separation of concerns o Aspect-oriented and feature-oriented programming, o Intentional programming and multi-dimensional separation of concerns * Applications of the above in industrial scenarios or to real-world problems, bridging the gap between theory and practice * Empirical studies o Original work in any of the areas above where there is a substantial empirical dimension to the work being presented. Such contributions might take the form of a case/field study, comparative analysis, controlled experiment, survey or meta-analysis of previous studies. Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm). Please contact the program chair if you have any questions about how this policy applies to your paper (chairs(a)gpce.org). ORGANIZATION Chairs (chairs(a)gpce.org) General Chair: Ewen Denney (SGT/NASA Ames, USA) Program Chair: Ulrik Pagh Schultz (Univ. of Southern Denmark, Denmark) Publicity Chair: Chang Hwan Peter Kim (Univ. of Texas at Austin, USA) Program Committee * Andrzej Wasowski (IT University of Copenhagen, Denmark) * Aniruddha Gokhale (Vanderbilt University, USA) * Bernd Fischer (University of Southampton, UK) * Bruno C. d. S. Oliveira (Seoul National University, Korea) * Christian Kaestner (Philipps Universitat Marburg, Germany) * Chung-Chieh Shan (Rutgers, The State University of New Jersey, USA) * Don Batory (University of Texas at Austin, USA) * Eli Tilevich (Virginia Tech, USA) * Eric Tanter (University of Chile, Chile) * Gorel Hedin (Lund Institute of Technology, Sweden) * Ina Schaefer (TU Braunschweig, Germany) * Jeremiah Willcock (Indiana University, USA) * Jeremy Siek (University of Colorado at Boulder, USA) * Jurgen Vinju (Centrum Wiskunde en Informatica, The Netherlands) * Lionel Seinturier (University of Lille, France) * Marjan Mernik (University of Maribor, Slovenia) * Mat Marcus (Adobe Systems, USA) * Nicolas Loriant (INRIA, France) * Ras Bodik (University of California at Berkeley, USA) * Robert Gluck (University of Copenhagen, Denmark) * Steffen Zschaler (King's College London, UK) * Tudor Girba (netstyle.ch, Switzerland) * Walter Binder (University of Lugano, Switzerland) * Yanhong A. Liu (State University of New York at Stony Brook, USA)

1 0

CfP: PPDP 2011
by Michael Hanus 01 Mar '11

01 Mar '11

====================================================================== CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) ====================================================================== PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter Achten Radboud University Nijmegen, The Netherlands Sergio Antoy Portland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-Kamp University of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program Chair: Michael Hanus University of Kiel, Germany Email: mh(a)informatik.uni-kiel.de Symposium Chair: Peter Schneider-Kamp University of Southern Denmark Email: petersk(a)imada.sdu.dk ----------------------------------------------------------------------

1 0

CfP: PPDP 2011
by mh＠informatik.uni-kiel.de 13 Jan '11

13 Jan '11

1 0

PhD position available on the DMPL project at Bergen Language Design Laboratory (BLDL)
by Magne Haveraaen 10 Dec '10

10 Dec '10

A PhD scholarship is currently available on the project "Design of a Mouldable Programming Language" (DMPL) financed by the Research Council of Norway. DMPL is a research project at the Bergen Language Design Laboratory (BLDL) within the Department of Informatics at the University of Bergen. The project centres around exploring ideas of flexibility, adaptability, genericity and robustness (in short, mouldability) in programming languages. As part of the project, we are designing and implementing the prototype mouldable language Magnolia, and also putting it to real life testing by developing applications using the language. http://bldl.ii.uib.no/dmpl.html Application deadline 2010-12-19 CET through the form at (click in the upper right corner for English): http://www.jobbnorge.no/job.aspx?jobid=70684 Note that the online application procedure is somewhat cumbersome, so start filling in the application well before the deadline. For more information on positions at BLDL: http://bldl.ii.uib.no/vacancies.html -- Magne Haveraaen https://www.ii.uib.no/~magne/ http://bldl.ii.uib.no/

1 0

GTTSE/SLE Call for Workshop Proposals
by Jurgen Vinju 02 Dec '10

02 Dec '10

Call for Workshop Proposals 4th International Summer School on Generative and Transformational Techniques in SE (GTTSE 2011) 4th International Conference on Software Language Engineering (SLE 2011) 2–10 July 2011 (tentative) Braga, Portugal ________________________________ In the 2011 editions of GTTSE and SLE, these two different forms of scientific venues on software language engineering and software transformation will team up to create a synergy which promises to attract a considerable number of both senior scientists and PhD students for an intensive exchange in the special environment of Hotel Falperra in the scenic outskirts of Braga. A small number of workshops will be hosted before GTTSE/SLE in the same venue. Workshop rooms are available at the conference site, and all local arrangements will be facilitated by the GTTSE/SLE organization. Proposals for half-day to full-day workshops are cordially invited. The workshops should clearly relate to the broader mission of GTTSE/SLE, or they should focus on general aspects of research (e.g., Research 2.0). The proposals should be sent by 21 December 2010, to sle2011(a)di.uminho.pt and should include the following information: Name of the workshop Intended aims and scope Form of proceedings (online?) Expected number of participants (min/avg/max) Contact person with full contact information If you have any questions, please contact any member of the selection committee (see below). ________________________________ Important Dates Submission deadline for proposals: 21 December 2010 Notification: 10 January, 2011 Workshop days: 2-3 July, 2011 (tentative) ________________________________ Workshop Selection Chair Jurgen Vinju (CWI, Amsterdam, The Netherlands) -- Jurgen Vinju - Centrum Wiskunde & Informatica - SEN1 - INRIA Lille - ATEAMS - Universiteit van Amsterdam www: http://jurgen.vinju.org, http://www.rascal-mpl.nl,http://twitter.com/jurgenvinju skype: jurgen.vinju

1 0

CFP - Program Generation and Transformation for HPC Applications
by Magne Haveraaen 30 Nov '10

30 Nov '10

################################################################### CALL FOR PAPERS * "Program Generation and Transformation for HPC Applications" * Workshop at ICCS 2011, Tsukuba, Japan, June 1-3, 2011 * Paper Submission Deadline: January 8, 2011 * website: http://www.mcs.anl.gov/events/workshops/PGTatICCS2011/ ################################################################### Workshop on Program Generation and Transformation for HPC Applications at the 2011 International Conference on Computational Science (ICCS 2011) http://www.iccs-meeting.org/ Tsukuba, Japan, June 1-3, 2011 The efficient use of current hardware for applications in the area of high performance computing requires specific programming skills and awareness of hardware-specific programming languages/interfaces. For complicated numerical models with a large source code base a manual adaptation of the source code to frequently updated hardware environments becomes increasingly untenable. Software transformation systems, automated code generation from domain-specific higher-level abstractions, and automated code optimization are the most promising approaches to bridge the gap between numerical models written in higher-level programming languages and the hardware-specific programming models one has to use to achieve maximal efficiency. Examples are source transformation systems such as Stratego and ROSE, and application areas such as automatic differentiation, performance optimization, automated extraction of computational kernels. To define efficient techniques for the automated manipulation of software, scientists will need compiler front-ends to support relevant HPC languages, the ability to do custom analysis and transformations, and back-ends to generate either source code or object code. The goal of this workshop is to bring together developers and users of such tools to illustrate the state of the art and advance areas of common interest. Organizers: ----------- Magne Haveraaen (University of Bergen, Norway), Koichi Kubota (Chuo University, Tokyo, Japan) Dan Quinlan (Lawrence Livermore National Laboratory, USA) Jean Utke (University of Chicago / Argonne National Laboratory, USA), primary contact Paper Submission: ----------------- Details about the paper submission (10 pages) can be found on the workshop website http://www.mcs.anl.gov/events/workshops/PGTatICCS2011/ Proceedings: ------------ The proceedings of the ICCS 2011 will be published by Elsevier Science in the open-access Procedia Computer Science series. The workshop papers are contained in the same proceeding of the conference. Important Dates: ---------------- January 8, 2011: Full papers submission due February 20, 2011: Notification of acceptance March 7, 2011: Camera ready papers Contact Information: -------------------- In case of questions, please email Jean Utke (utke(a)mcs.anl.gov). Questions about local travel, accommodations etc. should be sent to Koichi Kubota (kubota(a)ise.chuo-u.ac.jp). Please prefix your subject line with ICCS2011. -- Magne Haveraaen https://www.ii.uib.no/~magne/ http://bldl.ii.uib.no/

2 1

Programming Languages opening at Oxford
by Oege.de.Moor＠comlab.ox.ac.uk 16 Aug '10

16 Aug '10

FACULTY POSITION IN PROGRAMMING LANGUAGES AT OXFORD The University of Oxford is offering a tenure-track faculty position in the area of programming languages. Full details can be found at: http://www.comlab.ox.ac.uk/news/231-full.html The closing date for applications is September 24.

1 0

SLE 2010 Doctoral Symposium call for abstracts
by evw＠cs.umn.edu 10 May '10

10 May '10

Doctoral Symposium at the 3rd International Conference on Software Language Engineering Call for Submissions October 11, 2010 Eindhoven, The Netherlands http://planet-sl.org/sle2010/ --------------------------------------------------------------------- * Goals * SLE aims to integrate the different sub-communities of the software-language-engineering community to foster cross-fertilisation and strengthen research overall. The Doctoral Symposium at SLE 2010 contributes towards these goals by providing a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area. The main objectives of this event are: * to provide PhD students with an opportunity to write about and present their research, * to provide PhD students with constructive feedback on their work from their peers and from established researchers in their own and in different SLE sub-communities, * to build bridges for potential research collaboration, and * to foster integrated thinking about SLE challenges crossing the boundaries between sub-communities. The first edition of the Doctoral Symposium will be held in conjunction with SLE 2010 in Eindhoven, The Netherlands, on October 11, 2010. * Event Format * The Doctoral Symposium is a one-day event consisting of two parts: 1) A Plenary Session in the morning, where selected PhD students give short presentations on their research. The emphasis here is on feedback from fellow PhD students and established researchers in the field and on discussion of the research presented. 2) A Mentoring Session in the afternoon, where students are matched up with one or two established researchers from their own and neighboring sub-communities to receive detailed and specific feedback on their research abstracts. Additionally, there will be a poster session as part of the main SLE conference. Doctoral-Symposium participants will be invited to present a poster on their research as part of this poster session. The doctoral symposium will also include a social event in the evening of October 11. Details of this are currently still under negotiation. * Important Dates * Deadline for submissions July 12, 2010 Deadline for notifications August 27, 2010 Deadline for revisions September 17, 2010 Doctoral Symposium October 11, 2010 * Submissions * Submissions are invited from PhD students working on any topic that falls within the SLE conference remit. Students should read the SLE call for papers for more details on topics of interest. Submissions consist of two parts, a research abstract (maximum 4 pages LNCS format plus references) and a letter of recommendation from the student's supervisor. Research Abstracts should be based on the following outline: 1. Problem Description and Motivation Describe the problem you are addressing and motivate why this is a relevant research problem. 2. Brief Overview of Related Work Focus on demonstrating that your work addresses a significant gap in the current research literature. 3. Proposed Solution Give a high-level overview of your proposed solution to the problem identified in part 1. Describe any hypotheses that you have formulated. 4. Research Method Describe the research method you are using. In particular: What steps will you undertake to validate your hypotheses? It is understood that students at different stages of their research will be able to make more or less detailed and stabilised contributions to each of these sections. Therefore, we provide this outline as more of a guide than a strict requirement. Nonetheless, we encourage even early-stage PhD students to consider using this outline. Letters of recommendation should be provided by the student's supervisor and should include an assessment of the current status of the thesis research and an indication of the expected deadline for thesis submission. In addition, the supervisor should indicate what she/he hopes the student would gain from participation in the Doctoral Symposium. Research abstracts should be submitted using EasyChair at http://www.easychair.org/conferences/?conf=sleds10 . Supervisors should send letters of recommendation by email from their university account directly to sleds10(a)easychair.org . Research abstracts will be published as part of the SLE pre-proceedings and will be archived online, most likely at CEUR-WS.org. * Review of Research Abstracts * Students submitting research abstracts will also be asked to review the abstracts of two other submitted abstracts (in addition to reviews by the Selection Committee) to gain some experience in the review process. * Organisation * Doctoral Symposium Co-Chairs: Eric Van Wyk, University of Minnesota, USA, evw(a)cs.umn.edu Steffen Zschaler, Lancaster University, UK, szschaler(a)acm.org Selection Committee: Colin Atkinson, University of Mannheim, Germany Abraham Bernstein, University of Zurich, Switzerland Mark van den Brand, Eindhoven University, The Netherlands Jordi Cabot, Ecole des Mines de Nantes, France Tony Clark, Thames Valley University, UK Charles Consel, LaBRI / INRIA, France James Cordy, Queens University, Canada Dragan Gasevic, Athabasca University, Canada Jeff Gray, University of Alabama at Birmingham, USA Gorel Hedin, Lund University, Sweden Adrian Johnstone, Royal Holloway, University of London, UK Paul Klint, CWI, The Netherlands Dimitrios Kolovos, University of York, UK Ivan Kurtev, University of Twente, The Netherlands Ralf Laemmel, University of Koblenz-Landau, Germany Julia Lawall, DIKU, Denmark Brian Malloy, Clemson University, USA Richard Paige, University of York, UK Joao Saraiva, University of Minho, Portugal Steffen Staab, University of Koblenz-Landau, Germany Jurgen Vinju, CWI, The Netherlands Jos Warmer, Ordina, The Netherlands Jon Whittle, Lancaster University, UK

1 0

PhD & post doctor positions at BLDL (Dept. of Informatics, University of Bergen)
by Magne Haveraaen 04 Mar '10

04 Mar '10

Bergen Language Design Laboratory (BLDL) has several PhD and post doctor positions with starting dates throughout 2010 and 2011. The research is on programming language design and applications, including language support tools, type systems, multi-core (FPGA, GPU) programming models, high performance languages, testing and security. http://bldl.ii.uib.no/vacancies.html There is currently a 3 year university post doctor position available at the Department of Computer Science, University of Bergen. Application deadline is March 10, 2010. Salary level from about 4400 Euro per year. More information, and application, at https://secure.jobbnorge.no/Job.aspx?jobid=64736 (only in Norwegian). This position can be associated with any research group at the department, including BLDL. It is an advantage to contact a prospective supervisor before preparing the application. Magne Haveraaen BLDL head http://bldl.ii.uib.no/ http://www.ii.uib.no/~magne/

1 0

PhD positions in Bergen, Norway
by Magne.Haveraaen＠ii.uib.no 18 Nov '09

18 Nov '09

There are currently four PhD positions/scholarships available at the Department of Computer Science, University of Bergen. Application deadline is November 27, 2009. Salary level 40000-45000 Euro per year. More information, and application, at https://secure.jobbnorge.no/job.aspx?jobid=62564 (choose menu item "English" in the upper right corner). These positions can be associated with any research group at the department, see menu item "Research" at http://www.uib.no/ii/en, including the newly formed Bergen Language Design Laboratory (BLDL) http://bldl.ii.uib.no/ It is an advantage to contact a prospective supervisor before preparing the application. Magne Haveraaen BLDL head http://www.ii.uib.no/~magne/

3 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts