sts April 2009

sts@lists.urchin.earth.li

3 participants
4 discussions

CFP: SCAM 2009
by Sibylle Schupp 21 Apr '09

21 Apr '09

Call for Papers and Tool Demo Proposals - SCAM 2009 9th IEEE International Working Conference on Source Code Analysis and Manipulation 20th - 21st, September 2009 Edmonton, Canada Co-located with ICSM 2009 http://www2009.ieee-scam.org/ ------------------------------------------------------- -------------- Workshop aims: -------------- The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. --------------------------------- Covered topics and paper formats: --------------------------------- We welcome submission of papers that describe original and significant work in the field of source code analysis and manipulation. Topics of interest include, but are not limited to: * program transformation * abstract interpretation * program slicing * source level software metrics * decompilation * source level testing and verification * source level optimization * program comprehension Submitted papers should not be longer than 10 pages. We also welcome submission of 2 page proposals for tool demonstrations expected to be performed live at the conference. All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically via the conference web site. ------------ Proceedings: ------------ All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2009 will be considered for revision, extension, and publication in a special issue of of the Software Quality Journal. ---------------- Important Dates: ---------------- Deadline for submission: Abstract due: 20th, April 2009. EXTENDED: 27th April, 2009 Full paper due: 27th, April 2009. EXTENDED: May 4th, 2009 Notification: 1st, June 2009 Camera Ready Due: 30th, June 2009 Workshop: 20th-21st, September 2009

1 0

Second Call for Papers: 2nd International Conference on Software Language Engineering
by Serebrenik, A. 21 Apr '09

21 Apr '09

__________________________________________________________________ Call for Papers - SLE 2009 2nd International Conference on Software Language Engineering http://planet-sl.org/sle2009 Denver, Colorado, October 5-6, 2009 ___________________________________________________________________ Co-located with 12th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009) and 8th International Conference on Generative Programming and Component Engineering (GPCE 2009) Proceedings will be published in the LNCS series (subject to Springer's approval). The 2nd International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific "technical spaces". SLE 2009 will be co-located with the 12th IEEE/ACM International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009). Scope ----- The term 'software language' comprises all sorts of artificial languages used in software development including general-purpose programming languages, domain-specific languages, modeling and meta-modeling languages, data models, and ontologies. Used in its broadest sense, examples include modeling languages such as UML-based and domain-specific modeling languages, business process modeling languages, and web application modeling languages. The term 'software language' also comprises APIs and collections of design patterns that are implicitly defined languages. Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenance of these languages. Thus, the SLE conference is concerned with all phases of the life cycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods and formalisms that support these activities. In particular, tools are often based on or even automatically generated from a formal description of the language. Hence, of special interest is the treatment of language descriptions as software artifacts, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularization, refactoring, refinement, composition, versioning, co-evolution, and analysis. Topics of interest ------------------ We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques and frameworks that support the aforementioned life cycle activities. Some examples of tools, techniques, applications, and problems are listed below in order to clarify the types of contributions sought by SLE. * Formalisms used in designing and specifying languages and tools that analyze such language descriptions. * Language implementation techniques, grammar-based and metamodel-based. * Program and model transformation tools. * Composition, integration, and mapping tools for managing different aspects of software languages or different manifestations of a given language. * Language evolution. * Approaches to the elicitation, specification, and verification of requirements for software languages. * Language development frameworks, methodologies, techniques, best practices, and tools for the broader language life cycle covering phases such as analysis, testing, and documentation. * Design challenges in SLE. * Applications of languages including innovative domain-specific languages or "little" languages Do note that this list is not exclusive and many examples of tools, techniques, approaches have not been listed. Please visit the conference web site to see a more elaborate description of the topics of interests. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. Paper Submission ---------------- We solicit the following types of papers: * Research papers. These should report a substantial research contribution to SLE and/or successful application of SLE techniques. Full paper submissions must not exceed 20 pages. * Short papers. These may describe interesting or thought-provoking concepts that are not yet fully developed or evaluated, make an initial contribution to challenging research issues in SLE, or discuss and analyze controversial issues in the field. These papers must not exceed 10 pages. * Tool demonstration papers. Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages. The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Submissions may also include an appendix (that will not be published) containing additional screen-shots and discussion of the proposed demonstration. * Mini-tutorial papers. SLE is composed of various research areas, such as grammarware, modelware, language schemas, and semantic technologies. The cross product of attendees at SLE creates a situation where the contribution from one session may be difficult to understand by those not initiated to the area. To help unite the various communitues of SLE 2009, mini-tutorials are solicited that provide discussion points for mapping common ideas between the area and differentiating among variations. A mini-tutorial submisson should be between 15 and 20 pages. Submitted articles must not have been previously published or currently be submitted for publication elsewhere. All submitted papers will be closely reviewed by at least three members of the program committee. All accepted papers will be made available at the conference in the pre-proceedings and published in the post-proceedings of the conference, which will appear in Springer's Lecture Notes in Computer Science series. Authors will have the opportunity to revise their accepted paper for the pre- and post-proceedings. All papers must be formatted by following Springer's LNCS style and must be submitted using EasyChair (open early June): http://www.easychair.org/conferences/?conf=sle09 Further details regarding submission can be found on the SLE web page: http://planet-sl.org/sle2009 Invited Speakers ---------------- James Cordy, Queens University, Canada Jean Bezivin, University of Nantes, France Important Dates --------------- * Initial abstract submission (required) July 3, 2009 * Paper submission: July 10, 2009 * Author notification: August 21, 2009 * Paper submission for pre-proceedings: September 14, 2009 * Conference: October 5-6, 2009 * Camera-ready paper submission for post-proceedings: December 7, 2009 * LNCS post-proceedings mailed to authors (approx.): February 2010 Organization ------------ General Chair * Dragan Gasevic, Athabasca University, Canada Program Committee Co-Chairs * Mark van den Brand, TU Eindhoven, The Netherlands * Jeff Gray, University of Alabama at Birmingham, USA Program Committee * Colin Atkinson, Universität Mannheim, Germany * Don Batory, University of Texas at Austin, USA * Paulo Borba, Universidade Federal de Pernambuco, Brazil * John Boyland, University of Wisconsin, Milwaukee, USA * Marco Brambilla, Politecnico di Milano, Italy * Shigeru Chiba, Tokyo Institute of Technology, Japan * Charles Consel, LaBRI / INRIA, France * Gregor Engels, Universität Paderborn, Germany * Stephen A. Edwards, Columbia University, USA * Robert Fuhrer, IBM T.J. Watson Research, USA * Martin Gogolla, University of Bremen, Germany * Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil * Reiko Heckel, University of Leicester, UK * Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France * Nicholas Kraft, University of Alabama, USA * Thomas Kühne, Victoria University of Wellington, New Zealand * Julia Lawall, University of Copenhagen, Denmark * Timothy Lethbridge, University Ottawa, Canada * Brian Malloy, Clemson University, USA * Kim Mens, Université catholique de Louvain, Belgium * Marjan Mernik, University of Maribor, Slovenia * Todd Millstein, University of California, Los Angeles, USA * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France * Pierre-Alain Muller, University of Haute-Alsace, France * Daniel Oberle, SAP Research, Germany * Richard Paige, University of York, UK * James Power, National University of Ireland, Ireland * João Saraiva, Universidade do Minho, Portugal * Mary Lou Soffa, University of Virginia, USA * Juha-Pekka Tolvanen, MetaCase, Finland * Alexander Serebrenik, Eindhoven University of Technology, Netherlands * Tony Sloane, Macquarie University, Australia * Steffen Staab, Universität Koblenz-Landau, Germany * Jun Suzuki, University of Massachusetts, Boston, USA * Walid Taha, Rice University, USA * Eli Tilevich, Virginia Tech, USA * Jurgen Vinju, CWI, Netherlands * Eelco Visser, Delft University of Technology, Netherlands * René Witte, Concordia University, Canada Organization Committee * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair) * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair) * James Hill, Vanderbilt University, USA (Publicity co-Chair)

1 0

GPCE'09 Second Call for Papers
by Magne Haveraaen 06 Apr '09

06 Apr '09

Call for Papers Eighth International Conference on Generative Programming and Component Engineering (GPCE 2009) October 4-5, 2009 Denver, Colorado (co-located with MODELS 2009 and SLE 2009) http://www.gpce.org Important Dates --------------- * Submission of abstracts: May 11, 2009 * Submission: May 18, 2009 * Notification: June 30, 2009 Workshops and tutorials (submission via MODELS 2009) * Workshop Proposals: March 15, 2009 * Tutorial Proposals: April 19, 2009 Scope ----- Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (DSLs) (elevating program specifications to compact domain-specific notations that are easier to write, maintain, and analyze) are key technologies for automating program development. The International Conference on Generative Programming and Component Engineering provides a venue for researchers and practitioners interested in techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying components and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community. Submissions ----------- Research papers: 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting original research results that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). Tool demonstrations: Tool demonstrations should present available tools that implement novel generative and component-based software engineering techniques. Any of the GPCE'09 topics of interest are appropriate areas for research demonstrations but purely commercial tool demonstrations will not be accepted. Submissions should contain a tool description of 4 pages in SIGPLAN proceedings style (sigplanconf.cls) that will be published in the proceedings, and a demonstration outline of up to 2 pages text plus 2 pages screen shots that will be used by the PC to evaluate the submission. Tutorials and Workshops: Tutorials and workshops of interest to the GPCE audience can be submitted to MODELS 2009. Please contact the corresponding MODELS chairs for submission details. Accepted MODELS tutorials and workshops that are primarily aimed at the GPCE audience will preferably be scheduled for Tuesday, October 6, 2009. MODELS 2009 Tutorial Chair: * Thomas Weigert (Missouri University of Science and Technology, USA) MODELS 2009 Workshop Chair: * James Bieman (Colorado State University, USA) 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 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 * Industrial applications of the above Submissions must adhere to SIGPLAN's republication policy. Please contact the program chair if you have any questions about how this policy applies to your paper (chair09(a)gpce.org). Organization ------------ General Chair: Jeremy Siek (University of Colorado at Boulder, USA) Program Chair: Bernd Fischer (University of Southampton, UK) Publicity Chair: Giorgios Economopoulos (University of Southampton, UK) Program Committee: * Sven Apel (University of Passau, Germany) * Ira D. Baxter (Semantic Designs, USA) * Martin Bravenboer (University of Massachusetts Amherst, USA) * Tomas Bures (Charles University in Prague, Czech Republic) * Charles Consel (INRIA / LaBRI, France) * Ivica Crnkovic (Malardalen University, Sweden) * Krzysztof Czarnecki (University of Waterloo, Canada) * Ewen Denney (RIACS / NASA Ames, USA) * Martin Erwig (Oregon State University, USA) * Ronald Garcia (Rice University, USA) * Kevin Hammond (University of St Andrews, UK) * Magne Haveraaen (University of Bergen, Norway) * Shan Shan Huang (Georgia Institute of Technology, USA) * Jaakko Jarvi (Texas A&M University, USA) * Sam Kamin (University of Illinois, USA) * Kung-Kiu Lau (University of Manchester, UK) * Julia Lawall (University of Copenhagen, Denmark) * Christian Lengauer (University of Passau, Germany) * Andrew Lumsdaine (Indiana University, USA) * Klaus Ostermann (University of Aarhus, Denmark) * Zoltan Porkolab (Eotvos Lorand University, Hungary) * Bran V. Selic (Malina Software, Canada) * Doug Smith (Kestrel Institute, USA) * Tetsuo Tamai (University of Tokyo, Japan) * Juha-Pekka Tolvanen (MetaCase, Finland) * Eelco Visser (Delft University of Technology, The Netherlands) * Markus Voelter (itemis AG, Germany) * Eric Van Wyk (University of Minnesota, USA) * Steffen Zschaler (Lancaster University, UK)

1 0

SCAM 2009 CFP
by Magne Haveraaen 06 Apr '09

06 Apr '09

------------------------------------------------------- Call for Papers and Tool Demo Proposals - SCAM 2009 9th IEEE International Working Conference on Source Code Analysis and Manipulation 20th - 21st, September 2009 Edmonton, Canada Co-located with ICSM 2009 http://www2009.ieee-scam.org/ ------------------------------------------------------- ---------------- Conference aims: ---------------- The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. --------------------------------- Covered topics and paper formats: --------------------------------- We welcome submission of papers that describe original and significant work in the field of source code analysis and manipulation. Topics of interest include, but are not limited to: * program transformation * abstract interpretation * program slicing * source level software metrics * decompilation * source level testing and verification * source level optimization * program comprehension Submitted papers should not be longer than 10 pages. We also welcome submission of 2 page proposals for tool demonstrations expected to be performed live at the conference. All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically via the conference web site. ------------ Proceedings: ------------ All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2009 will be considered for revision, extension, and publication in a special issue of of the Software Quality Journal. ---------------- Important Dates: ---------------- Deadline for submission: Abstract due: 20th, April 2009 Full paper due: 27th, April 2009 Notification: 1st, June 2009 Camera Ready Due: 30th, June 2009 Conference: 20th-21st, September 2009

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts April 2009