sts

sts@lists.urchin.earth.li

102 discussions

Positions at Oxford: refactoring tools
by Oege.de.Moor＠comlab.ox.ac.uk 12 Feb '07

12 Feb '07

Programming Tools Group University of Oxford, UK http://progtools.comlab.ox.ac.uk http://aspectbench.org >> fully funded 3-year PhD studentship << >> numerous paid 2-months internships << Applications from researchers on transformation systems (or their students) would be particularly welcome! 1. PROJECT SUMMARY: ASPECT REFACTORING TOOLS Software systems are rarely written from scratch: they evolve over long periods of time. When a change is made, this often affects many different locations in a system, and it is hard to make a change consistently. For that reason, automated tools to help the process of software change are desirable. "Refactoring" refers to the process of restructuring an existing piece of software, often prior to introducing new functionality, or to take advantage of a new technology. Refactoring must preserve the behaviour of existing code, and tools that help in refactoring both assist in the restructuring process and in checking that the behaviour has not changed. Unfortunately today's refactoring tools are very hard to construct, they are still quite limited in functionality, and they often contain bugs. This project aims to construct a framework for better refactoring tools. In particular, the work is driven by refactorings for a new set of language features, called `aspect-oriented programming' that have recently been added to Java. Our framework will be based on developments in three separate areas of computer science: * `strategies' to control the process of rewriting program code, from the `term rewriting' community * `reference attributed grammars' to specify the conditions that guarantee behaviour is preserved, from the `compilers' community * `incremental evaluation' of declarative rules, from the `functional and logic programming' community. The quality of our framework will be assessed by coding selected case studies using alternative methods. In particular, we shall implement several refactorings directly in Eclipse, the leading development environment for writing aspect-oriented programs in industry. The project is funded by the EPSRC (UK equivalent of NSF). 2. REQUIREMENTS The PhD student will be concerned with the theoretical foundations of the refactoring framework, for instance proofs of correctness for refactorings, and also for the incremental evaluation mechanism. We are thus looking for someone with good mathematical skills, in particular regarding formal properties of type systems and program analyses. Candidates must have an outstanding undergraduate or master's degree in computer science. Funding is provided to pay for university fees at EU level (overseas candidates need supplementary funding), plus subsistence, travel, equipment etc. The 2-months positions are intended to assist with implementation work. We are thus looking for highly skilled Java programmers; familiarity with program analysis, formal type systems and so on will be an advantage. These internships are in fact short-term appointments as research assistants at the University of Oxford, and so the holders will be paid a salary. Interns can be outstanding undergraduate students who wish to gain research experience. 3. HOW TO APPLY The deadline for applications is March 20, 2007. * For the PhD studentship, follow the instructions on http://web.comlab.ox.ac.uk/oucl/prospective/dphil/ Clearly mark your application "Aspect Refactoring Tools project". Also send a full electronic copy of your application to oege(a)comlab.ox.ac.uk, by March 20, 2007. * For the 2-months positions, send a letter explaining your interest in the project, plus a full cv and the names of 3 referees to oege(a)comlab.ox.ac.uk. 4. FURTHER INFORMATION We are happy to discuss any of the above informally with prospective candidates. Just email one or all of the project leaders: Oege de Moor (oege(a)comlab.ox.ac.uk) Torbjorn Ekman (torbjorn(a)comlab.ox.ac.uk) Mathieu Verbaere (matv(a)comlab.ox.ac.uk)

1 0

PEPM'07 - Call for Participation
by Eelco Visser 07 Dec '06

07 Dec '06

---------------------------------------------------------------------- Call For Participation ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 ---------------------------------------------------------------------- Online registration open * early registration deadline: December 15, 2006 * http://www.regmaster.com/conf/popl2007.html Program * 16 accepted papers * 2 invited speakers * program available online * http://www.program-transformation.org/PEPM07/PEPMProgram Invited Speakers * Michael Schwartzbach * Oege de Moor ----------------------------------------------------------------------

1 0

LDTA 07 CfP - deadline extended
by Eric Van Wyk 29 Nov '06

29 Nov '06

[DEADLINE EXTENDED: Title and Abstract due Dec 4, Papers due Dec 11] Call for Papers for Seventh Workshop on Language Descriptions, Tools and Applications LDTA 2007 A satellite event of ETAPS 2007 March 25, 2007 in Braga, Portugal (Cooperation with ACM SIGPLAN to be confirmed) http://www.di.uminho.pt/ldta07 Scope: The aim of this one-day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and language technologies, with a special emphasis on tools developed for or with these language definitions. This active area of research involves the following basic technologies: - Program analysis, transformation, and generation - Formal analysis of language properties - Automatic generation of language processing tools For example, language definitions can be augmented in a manner so that not only compilers or interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, and documentation generators. Although various specification formalisms like attribute grammars, action semantics, operational semantics, and algebraic approaches have been developed, they are not widely exploited in current practice. It is the aim of the LDTA workshops to bridge this gap between theory and practice. Among others, the following application domains can benefit from advanced language technologies: - Software component models and modeling languages - Re-engineering and re-factoring - Aspect-oriented programming - Domain-specific languages - XML processing - Visualization and graph transformation - Programming environments such as Eclipse, NetBeans and Visual Studio - Modern runtime platforms including .Net, Rotor, Java Virtual Machine The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions. Experience papers describing novel or compelling uses of language definition-based methods in real world projects are particularly sought. Invited Speaker: The invited speaker for LDTA 2007 is Uwe Assmann from TU Dresden. Important Dates: - Submission deadline: December 4, 2006 (title and abstract) December 11, 2006 (paper) - Notification: January 16, 2007 - Final version due: February 16, 2007 - Workshop: March 25, 2007 Submission Procedure and Publication: Submission will be open from autumn 2006. Three classes of papers are solicited: research papers, experience reports and short tool-demo papers. Experience reports must describe the use of a language-based tool to solve a non-trivial applied problem with an emphasis on the advantages and disadvantages of the tool. Tool-demo papers should contain a brief description of the tool and include a section that clearly explains what will be demonstrated. Research papers and experience reports should be at most 15 pages in length and tool-demo papers should be at most 4 pages in length. All classes of paper should be submitted electronically as PostScript or PDF files to both of the program committee chairs, Tony Sloane at asloane(a)ics.mq.edu.au and Adrian Johnstone at adrian(a)cs.rhul.ac.uk. The message should also contain a text-only abstract and contact author information. Additional submission details, along with LaTeX style files, are available on the LDTA 2007 web page: http://www.di.uminho.pt/ldta07. The final versions of accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and will be made available during the workshop. The authors of the best full-length papers will be invited to write a journal version of their paper which will be separately reviewed and, assuming acceptance, be published in journal form. As in past years, this will be done in a a special issue devoted to LDTA 2007 of the journal Science of Computer Programming (Elsevier Science). Program Committee: - Judith Bishop, University of Pretoria, South Africa - Claus Brabrand, BRICS, University of Aarhus, Denmark - Nigel Horspool, University of Victoria, Canada - Johan Jeuring, Utrecht University, The Netherlands - Adrian Johnstone, Royal Holloway, University of London, UK (co-chair), adrian(a)cs.rhul.ac.uk - Steven Klusener, Vrije Universiteit, The Netherlands - Kent Lee, Luther College, USA - Brian Malloy, Clemson University, USA - Terence Parr, University of San Francisco, USA - Michael Schwartzbach, BRICS, University of Aarhus, Denmark - Tony Sloane, Macquarie University, Australia (co-chair), asloane(a)ics.mq.edu.au - Jurgen Vinju, CWI, The Netherlands Organizing Committee: - Thomas Noll, RWTH Aachen University, Germany, noll(a)cs.rwth-aachen.de - Alcino Cunha, University of Minho, Braga, Portugal, alcino(a)di.uminho.pt

1 0

MoDSE: 2 postdoc + 2 PhD positions in model-driven software evolution
by Eelco Visser 16 Nov '06

16 Nov '06

---------------------------------------------------------------------- 2 postdoc positions and 2 PhD student positions in Model-Driven Engineering, Domain-Specific Languages, and Software Evolution at Delft University of Technology ---------------------------------------------------------------------- The Delft Software Engineering Group has openings for two postdoctoral researchers and two PhD students in the area of model-driven engineering, domain-specific languages, and software evolution. The positions are available in the Model-Driven Software Evolution (MoDSE) project, which is funded by the Dutch Organization for Scientific Research (NWO) in its software engineering program JACQUARD (http://www.jacquard.nl). http://swerl.tudelft.nl/bin/view/MoDSE ---------------------------------------------------------------------- Research Description ---------------------------------------------------------------------- The promise of model-driven engineering (MDE) is that the development and maintenance effort can be reduced by working at the model instead of the code level. Models define what is variable in a system, and code generators produce the functionality that is common in the application domain. The problem with model-driven engineering is that it can lead to a lock-in in the abstractions and generator technology adopted at project initiation. Software systems need to evolve, and systems built using model-driven approaches are no exception. What complicates model-driven engineering is that it requires multiple dimensions of evolution. In regular evolution, the modeling language is used to make the changes. In meta-model evolution, changes are required to the modeling notation. In platform evolution, the code generators and application framework change to reflect new requirements on the target platform. Finally, in abstraction evolution, new modeling languages are added to the set of (modeling) languages to reflect increased understanding of a technical or business domain. While MDE has been optimized for regular evolution, presently little or no support exists for metamodel, platform and abstraction evolution. It is this gap that this project proposes to address. The first fundamental premise of this proposal is that evolution should be a continuous process. Software development is a continuous search for recurring patterns, which can be captured using domain-specific modeling languages. After developing a number of systems using a particular meta-model, new patterns may be recognized that can be captured in a higher-level or richer meta-model. The second premise is that reengineering of legacy systems to the model-driven paradigm should be a special case of this continuous evolution, and should be performed incrementally. The goal of this project is to develop a systematic approach to model-driven software evolution. This approach includes methods, techniques, and underlying tool support. We will develop a prototype programming environment that assists software engineers with the introduction, development, and maintenance of models and domain-specific languages. ---------------------------------------------------------------------- Context ---------------------------------------------------------------------- The project will be conducted in the Software Engineering Research Group at Delft University of Technology, in particular its Software Evolution Research Lab, which has a expertise in the following areas * program analysis * reverse engineering * software transformation * software generation * domain-specific languages * grammar engineering The project will build on previous work in these areas, in particular on the program transformation work in the Stratego/XT project. See also the following websites. * http://www.se.ewi.tudelft.nl * http://swerl.tudelft.nl * http://www.stratego-language.org The full proposal is available on request. ---------------------------------------------------------------------- The Job ---------------------------------------------------------------------- The funding is for two post-doc positions of three years and two PhD student positions for four years. Appointment as a post-doc requires a completed PhD thesis and experience in one or more of the topics relevant to the project, as witnessed by refereed publications in conference proceedings or journals. You will be employed by Delft University of Technology for a period of three years. Salary depends on prior experience, and will be in one of the salary scales 10 to 12 (with maximum salary at 4605 euros a month) as stipulated by the Collective Labour Agreement for the Dutch Universities (see www.vsnu.nl). Appointment as a PhD student requires a completed MsC thesis in Computer Science, preferably in a topic related to the TFA project (software engineering and programming languages). You will be employed by Delft University of Technology for a period of four years. The estimated starting monthly PhD salary is 1,956 euro gross, with a maximum of 2,502 euro gross in the fourth year. The position is expected to lead to a dissertation in the fourth year. Benefits and other employment conditions are in accordance with the Collective Labour Agreement for Dutch Universities (www.vsnu.nl). For further details about conditions of employment, please consult the website of Delft University of Technology (www.tudelft.nl). For more information, please contact * dr. E. Visser, Associate Professor (project leader) email: E.Visser(a)tudelft.nl * prof. dr. Arie van Deursen, Full Professor (promotor, principal investigator) email: Arie.van.Deursen(a)tudelft.nl * http://swerl.tudelft.nl/bin/view/MoDSE ---------------------------------------------------------------------- Application ---------------------------------------------------------------------- Send your letter of application, together with a comprehensive curriculum vitae, a list of your publications and a list of your academic results (preferably by e-mail) to: dr. Eelco Visser Software Engineering Research Group Faculty of Electrical Engineering, Mathematics and Computer Science (EWI) Department of Software Technology Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands E-mail: E.Visser(a)tudelft.nl The positions will be filled as soon as suitable candidates are found.

1 0

4th European Workshop on Automatic Differentiation
by Jean Utke 13 Nov '06

13 Nov '06

Following up on conversations I recently had with a few participants at the STS 2006 workshop in Portland I am posting the announcement for the upcoming 4th European Workshop on Automatic Differentiation to be held December 7 and 8, 2006 at RWTH Aachen University, in Aachen, Germany. The workshop is part of a series of workshops that started in the UK and takes place twice per year. It is a rather informal gathering with presentations of ongoing research covering applications and implementation of Automatic Differentiation. Some of the tools utilize operator overloading as the implementation approach but others do AD via source transformation which is the reason for posting the announcement to this list. If you would like further details please visit: http://www.autodiff.org/?module=Workshops&submenu=adeurodec06 or contact me under utke(a)mcs.anl.gov Best wishes, Jean Utke -- Jean Utke Argonne National Lab./MCS utke(a)mcs.anl.gov phone: 630 252 4552 cell: 630 363 5753

1 0

PEPM 2006: Call for Papers -- ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation
by John Hatcliff 28 Oct '06

28 Oct '06

C A L L F O R P A P E R S === P E P M 2006 === ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (Affiliated with POPL 2006) http://www.cis.ksu.edu/santos/pepm06 January 9-10, 2006 Charleston, South Carolina The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, supporting theory, tools, and applications of the analysis and manipulation of programs. The 2006 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation. This year, a concerted effort will be made to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM will be broadened to cover manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'06 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. * Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. * Techniques that treat programs/models as data objects including meta-programming, generative programming, model-driven program generation and transformation. * Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking in a wide variety of domains including source code manipulation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. Submission Categories, Guidelines, and Proceedings: Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'06 Web-site. Papers should be submitted electronically via the workshop web site. We plan to publish the workshop proceedings in ACM SIGPLAN Notices (with full papers appearing in the ACM Digital Library) and selected papers will be invited for a journal special issue dedicated to PEPM'06. Important Dates: Submission........: October 7, 2005 Apia, 11:59pm, Samoan time (firm deadline, no extensions) Notification......: November 18, 2005 Camera-Ready Paper: December 16, 2005. Workshop co-Chairs: John Hatcliff, Kansas State University, USA (hatcliff(a)cis.ksu.edu) Frank Tip, IBM T.J. Watson Research Center, USA (ftip(a)us.ibm.com) PEPM 2006 Program Committee: Krzysztof Czarnecki University of Waterloo Gary Daugherty Rockwell Collins Advanced Technology Center Tom Dean Queen's University Mangala Gowri Nanda IBM India John Hatcliff (co-chair) Kansas State University Nevin Heintze Agere Systems Jaakko Järvi Texas A & M University Jens Krinke University of Hagen Shriram Krishnamurthi Brown University Julia Lawall University of Copenhagen (DIKU) Oege de Moor Oxford University Germán Puebla Technical University of Madrid Peter Sestoft Royal Veterinary and Agricultural University (Denmark) Gregor Snelting University of Passau Frank Tip (co-chair) IBM T.J. Watson Research Center Eelco Visser Universiteit Utrecht -- ---------------------------------------------------------------------------- John Hatcliff Phone: 785-532-6350 Professor Fax..: 785-532-7353 Department of Computing and Information Sciences Email: hatcliff(a)cis.ksu.edu 234 Nichols Hall WWW..: http://www.cis.ksu.edu/~hatcliff Kansas State University Manhattan, KS 66506 ----------------------------------------------------------------------------

2 1

WFLP'06: Call for participation
by "Francisco Javier López Fraguas" 27 Oct '06

27 Oct '06

[Please distribute -- Apologies for multiple copies] CALL FOR PARTICIPATION WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming Facultad de Informatica - Universidad Complutense de Madrid Madrid, Spain, November 16-17, 2006 http://gpd.sip.ucm.es/fraguas/wflp06/ ============================================================== Registration for WFLP'06 is open. The scientific program consists of 14 accepted papers and two invited talks. The complete program can be consulted at http://gpd.sip.ucm.es/fraguas/wflp06/ The registration fee is 120 euro and includes WFLP'06 Proceedings, lunches and coffee breaks, and a workshop dinner. ============================================================== Invited Talks ============= * José Meseguer (Univ. Illinois at Urbana) Title: Narrowing and Rewriting Logic: from Foundations to Applications * Peter Padawitz (Univ. Dortmund) Title: Expander2: Program verification between interaction and automation General ======= The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as their integration. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). Publication =========== The proceedings of the workshop will be published as a special number of Electronic Notes in Theoretical Computer Science (Elsevier) after the workshop. A preprint of the proceedings will be available to the participants during the workshop. Program Committee ================= Sergio Antoy Portland State University (USA) Rafael Caballero Universidad Complutense de Madrid (Spain) Agostino Dovier Universita di Udine (Italy) Rachid Echahed Institut IMAG (France) Santiago Escobar Universidad Politecnica de Valencia (Spain) Moreno Falaschi Universita di Siena (Italy) Michael Hanus Christian-Albrechts-Universitat zu Kiel (Germany) Frank Huch Christian-Albrechts-Universitat zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco J. Lopez-Fraguas (chair) Univ. Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Julio Mariño Universidad Politecnica de Madrid (Spain) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) German Vidal U. Politecnica de Valencia (Spain) Contact ======= Francisco Javier Lopez Fraguas fraguas(a)sip.ucm.es Prof. Titular Dep. Sistemas Informaticos y Computacion Facultad Informatica Universidad Complutense de Madrid Prof. Jose Garcia Santesmases s/n 28040 Madrid SPAIN Phone: +34 91 3947630 Fax: +34 91 3947529

1 0

PEPM 2007 - Deadline extension
by Ganesan Ramalingam 21 Oct '06

21 Oct '06

Due to several requests, the submission deadline for PEPM 2007 has been extended until Friday, October 27. ---------------------------------------------------------------------- Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 ---------------------------------------------------------------------- The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2007 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule- based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. ---------------------------------------------------------------------- Topics of interest for PEPM'07 include, but are not limited to: + Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. + Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. + Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. + Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation. + Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. ---------------------------------------------------------------------- Submission Categories and Guidelines Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'07 web site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'07. ---------------------------------------------------------------------- Important Dates + Abstracts due: October 18, 2006 + Submission: October 20, 2006 (Extended to October 27, 2006) + Notification: December 1, 2006 + Camera-ready: December 18, 2006 + Workshop: January 15-16, 2007 ----------------------------------------------------------------------- Program Chairs * G. Ramalingam (Microsoft Research, Bangalore) * Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members * Ras Bodik (University of California, Berkeley, USA) * Albert Cohen (INRIA, France) * Jim Cordy (Queen's University, Canada) * Martin Erwig (Oregon State University, USA) * Bernd Fischer (University of Southampton, UK) * John Hatcliff (Kansas State University, USA) * Jan Heering (CWI, The Netherlands) * Dan Grossman (University of Washington, USA) * Annie Liu (State University of New York at Stony Brook, USA) * Jacques Noyé (École des Mines de Nantes/INRIA, France) * German Puebla (Technical University of Madrid, Spain) * Peter Sestoft (Royal Veterinary and Agricultural University, Denmark) * Yannis Smaragdakis (Georgia Tech, Atlanta, USA) * Walid Taha (Rice University, Houston, USA) ----------------------------------------------------------------------- _______________________________________________ Pepm-org mailing list Pepm-org(a)cs.uu.nl http://mail.cs.uu.nl/mailman/listinfo/pepm-org

1 0

Third CFP: Partial Evaluation and Program Manipulation (PEPM'07)
by Eelco Visser 02 Oct '06

02 Oct '06

---------------------------------------------------------------------- electronic submission is open http://www.easychair.org/PEPM2007 ---------------------------------------------------------------------- Third Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 ---------------------------------------------------------------------- The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2007 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule- based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. ---------------------------------------------------------------------- Topics of interest for PEPM'07 include, but are not limited to: + Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. + Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. + Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. + Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation. + Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. ---------------------------------------------------------------------- Submission Categories and Guidelines Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'07 web site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'07. ---------------------------------------------------------------------- Important Dates + Abstracts due: October 18, 2006 + Submission: October 20, 2006 + Notification: December 1, 2006 + Camera-ready: December 18, 2006 + Workshop: January 15-16, 2007 ----------------------------------------------------------------------- Program Chairs * G. Ramalingam (Microsoft Research, Bangalore) * Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members * Ras Bodik (University of California, Berkeley, USA) * Albert Cohen (INRIA, France) * Jim Cordy (Queen's University, Canada) * Martin Erwig (Oregon State University, USA) * Bernd Fischer (University of Southampton, UK) * John Hatcliff (Kansas State University, USA) * Jan Heering (CWI, The Netherlands) * Dan Grossman (University of Washington, USA) * Annie Liu (State University of New York at Stony Brook, USA) * Jacques Noy� (�cole des Mines de Nantes/INRIA, France) * German Puebla (Technical University of Madrid, Spain) * Peter Sestoft (Royal Veterinary and Agricultural University, Denmark) * Yannis Smaragdakis (Georgia Tech, Atlanta, USA) * Walid Taha (Rice University, Houston, USA) -----------------------------------------------------------------------

1 0

OOPSLA/GPCE Tutorial: Java Transformation with Stratego/XT
by Eelco Visser 14 Sep '06

14 Sep '06

Attending OOPSLA/GPCE in Portland? Then this is your chance to learn about the program tranformation language and toolset Stratego/XT. ---------------------------------------------------------------- OOPSLA/GPCE 2006 Tutorial G4 (GPCE) BUILDING JAVA TRANSFORMATIONS WITH STRATEGO/XT Martin Bravenboer Karl Trygve Kalleberg Eelco Visser Monday, Oct 23, from 13:30 to 17:00 Portland, Oregon http://www.oopsla.org/2006 ---------------------------------------------------------------- This tutorial gives an overview of techniques for program transformation, illustrated through the Stratego/XT program transformation system. We explain the general architecture of transformation systems, and how Stratego/XT is used to assemble such systems from components. We introduce a set of ready made components for Java transformation, and show how to program custom transformation components using Stratego. In particular, we show how to express local transformations using rewrite rules and strategies and how context-sensitive transformations can be expressed easily using dynamic rewrite rules. All techniques and language features are illustrated with implementations of transformations on Java programs, that show how to apply all introduced techniques in practice. ------------------------------------------------------------------ Introductory: Basic understanding of compilers, parsing and program representation using abstract syntax trees is an advantage, but we briefly summarize the basics and ignore the technical details of parsing, since we focus on application of program transformation to a particular programming language, i.e. Java, for which all required parsing and pretty-print support is already available. This tutorial gives an overview of techniques for program transformation, illustrated through the Stratego/XT program transformation system. Martin Bravenboer, Utrecht University: Martin Bravenboer is a PhD student at Utrecht University, researching language extensions and program transformation. Karl Trygve Kalleberg, Utrecht of Bergen: Karl Trygve Kalleberg is a PhD student at the University of Bergen, researching program transformation systems and language extensions for program transformation. Eelco Visser, Utrecht University: Eelco Visser is assistant professor at Utrecht University, researching program transformation and software configuration. He is the principal designer and developer of the Stratego/XT program transformation system. ------------------------------------------------------------------ http://www.oopsla.org/2006/submission/tutorials/gpce4:_building_java_transf… ------------------------------------------------------------------

1 0

← Newer
1
...
4
5
6
7
8
9
10
11
Older →

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts