From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D2DC67F084 for ; Sat, 21 Nov 2015 10:52:38 +0100 (CET) IronPort-PHdr: 9a23:psI7qh8Wn2N+8f9uRHKM819IXTAuvvDOBiVQ1KB90OkcTK2v8tzYMVDF4r011RmSDdids6oMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1Ele6KtQsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2+C1Vv7cl9tVceaT8ZaUxC7JCXxo8NGVgx+ajjhjdRBGG43IfSGQNkhxBBUCR9xKqBMnZuSL/8ON2njSZa56lBYsoUCivuv84ACTjjz0KYmY0 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sk826@cam.ac.uk; spf=None smtp.mailfrom=sk826@cam.ac.uk; spf=Pass smtp.helo=postmaster@ppsw-50.csi.cam.ac.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sk826@cam.ac.uk) identity=pra; client-ip=131.111.8.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sk826@cam.ac.uk"; x-sender="sk826@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sk826@cam.ac.uk) identity=mailfrom; client-ip=131.111.8.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sk826@cam.ac.uk"; x-sender="sk826@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@ppsw-50.csi.cam.ac.uk designates 131.111.8.150 as permitted sender) identity=helo; client-ip=131.111.8.150; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sk826@cam.ac.uk"; x-sender="postmaster@ppsw-50.csi.cam.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AyAQBdPlBWnJYIb4NehA5vBoQQq0UBjRiBb4IeFwEJgj6DMIEvBzwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYIgCwZFNzcCJBIBBQE1IogMDaAIggiBMT4xi0iLX4QzAQEBH40SgnRUgjMMLhOBMQWSaoNbB4UjiAyBXUmDd5RiEiSBFxEngkkJgV1yAYNggUoBAQE X-IPAS-Result: A0AyAQBdPlBWnJYIb4NehA5vBoQQq0UBjRiBb4IeFwEJgj6DMIEvBzwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYIgCwZFNzcCJBIBBQE1IogMDaAIggiBMT4xi0iLX4QzAQEBH40SgnRUgjMMLhOBMQWSaoNbB4UjiAyBXUmDd5RiEiSBFxEngkkJgV1yAYNggUoBAQE X-IronPort-AV: E=Sophos;i="5.20,327,1444687200"; d="scan'208";a="154631122" Received: from ppsw-50.csi.cam.ac.uk ([131.111.8.150]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Nov 2015 10:52:37 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from mail-wm0-f43.google.com ([74.125.82.43]:37316) by ppsw-50.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.158]:587) with esmtpsa (PLAIN:sk826) (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) id 1a04qS-00013x-sF (Exim 4.86_36-e07b163) for caml-list@inria.fr (return-path ); Sat, 21 Nov 2015 09:52:36 +0000 Received: by wmww144 with SMTP id w144so48976235wmw.0 for ; Sat, 21 Nov 2015 01:52:36 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.28.101.65 with SMTP id z62mr7671844wmb.84.1448099556643; Sat, 21 Nov 2015 01:52:36 -0800 (PST) Received: by 10.28.49.85 with HTTP; Sat, 21 Nov 2015 01:52:36 -0800 (PST) Date: Sat, 21 Nov 2015 09:52:36 +0000 X-Gmail-Original-Message-ID: Message-ID: From: KC Sivaramakrishnan To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114b01e0ac6116052509f3a6 X-Validation-by: sk826@cl.cam.ac.uk Subject: [Caml-list] CfP: ALLIANCE @ CGO 2016 --001a114b01e0ac6116052509f3a6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [ Apologies for any duplicates. ] CALL FOR PAPERS First International Workshop on "Applications of Language Engineering Techniques in Many-Core Compilers (ALLIANCE)", co-located with the 2016 "International Symposium on Code Generation and Optimization (CGO)" in Barcelona (Spain). http://www.cfaed.tu-dresden.de/workshop/alliance/ IMPORTANT DATES Paper submission deadline: 21st of December 2015 Author notification: 25th of January 2016 Camera ready version: 12th of February 2016 Workshop date: 13th of March 2016 All dates are Anywhere on Earth. SCOPE Declarative and high-level approaches in software language engineering have been developed and successfully applied for decades. This includes research and tools related to grammarware (i.e., grammar-based software), automatic graph and term-rewrite systems as well as model-based transformations and analyses. These techniques have proven to be valuable in particular for the development of high-level translators and language abstractions, typically in terms of domain specific languages (DSLs). However, these kinds of research tools are not widely used for general purpose programming languages, let alone in the design of compiler backends. One reason for this is that high-quality compiler implementations for languages like C, C++ or Java are provided by established hand-written compiler infrastructures like GCC, LLVM or ICC. And because languages and computer architectures have been relatively stable, maintenance costs of these infrastructures was reasonable. However, the emerging many-core architectures require new language abstractions for parallel programming and corresponding backend support, which increases maintenance costs of hand-written compiler infrastructures. Subject of the workshop therefore is the application of language engineering techniques for the implementation of many-core compilers. Examples for such applications are the development of DSLs acting as a source-code preprocessor injecting parallelization means by using grammarware; or transformation rules preparing intermediate representations for many-core execution by using rewriting techniques. This includes software application-specific many-core support by means of software language engineering techniques. The intention of the workshop is to foster communication and beneficial cooperation between language engineers, compiler developers and many-core programmers. Topics of interest include, but are not limited to, the following: - Transformation techniques and tools in compilers - Applications of graph and term-rewrite systems in many-core compiler backends - Model-driven approaches to compiler development - Component models for compilers - Efficient high-level approaches for program analyses - Case studies of language engineering for many cores - Language-engineering based applications for many cores - Approaches for parallelism extraction - Positive and negative experience reports SUBMISSION & PUBLICATION Our intention is to foster communication between researchers and practitioners in the topics addressed by ALLIANCE. Hence, research papers, reports on ongoing research, experience reports and tool papers are the favorite types of submissions. It is intended to publish the workshop proceedings as CEUR Workshop Proceedings (CEUR-WS.org), an open access journal (ISSN 1613-0073). Papers should follow the EPTCS style (http://style.eptcs.org/) and should not exceed a length of 8 pages. Submitted articles must not have been previously published or currently be submitted for publication elsewhere. Each paper will be reviewed thoroughly by members of the ALLIANCE program committee. Submission is made via Easychair: https://easychair.org/conferences/?conf=3Dalliance-2016 CONTACT The workshop is organized by Sven Karol (TU Dresden, Germany) and Christoff B=C3=BCrger (Lund University, Sweden). For any questions or concerns about the call for papers, please contact the workshop chairs at alliance2016@easychair.org. --001a114b01e0ac6116052509f3a6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[ Apologies for any duplicates. ]

CALL = FOR PAPERS

First International Workshop on "Applications of = Language Engineering Techniques
in Many-Core Compilers (ALLIANCE)", co-located with = the 2016 "International
Symposium on Code Generation and Optimization (CGO)" in= Barcelona (Spain).

IMPORTANT DATES

Paper submission deadline: 21st of December 20= 15=C2=A0
Autho= r notification: 25th of January 2016=C2=A0
Camera ready version: 12th of February 2016=C2= =A0
Workshop d= ate: 13th of March 2016

All dates are Anywhere on Earth.

SCOPE

Declarative and high-level approache= s in software language engineering have been
developed and succes= sfully applied for decades. This includes research and tools
rela= ted to grammarware (i.e., grammar-based software), automatic graph and
term-rewrite systems as well as model-based transformations and analy= ses. These
techniques have proven to be valuable in particular fo= r the development of high-level
translators and language abstract= ions, typically in terms of domain specific
languages (DSLs). How= ever, these kinds of research tools are not widely used for
gener= al purpose programming languages, let alone in the design of compiler backe= nds.
One reason =C2=A0for this is that high-quality compiler impl= ementations for languages like
C, C++ or Java are provided by est= ablished hand-written compiler infrastructures like
GCC, LLVM or = ICC. And because languages and computer architectures have been
r= elatively stable, maintenance costs of these infrastructures was reasonable= .
However, the emerging many-core architectures require new langu= age abstractions for
parallel programming and corresponding backe= nd support, which increases maintenance
costs of hand-written com= piler infrastructures.

Subject of the workshop the= refore is the application of language engineering
techniques for = the implementation of many-core compilers. Examples for such
appl= ications are the development of DSLs acting as a source-code preprocessor
injecting parallelization means by using grammarware; or transform= ation rules
preparing intermediate representations for many-core = execution by using rewriting
techniques. This includes software a= pplication-specific many-core support by means of
software langua= ge engineering techniques. The intention of the workshop is to foster
=
communication and beneficial cooperation between language engineers, c= ompiler
developers and many-core programmers.

Topics of interest include, but are not limited to, the following:

-= Transformation techniques and tools in compilers=C2=A0
- Applications of graph and term-= rewrite systems in many-core compiler backends=C2=A0
- Model-driven approaches to compil= er development=C2=A0
= - Component models for compilers=C2=A0
- Efficient high-level approaches for progr= am analyses=C2=A0
- Case studies of language engineering for many cores=C2=A0
<= span class=3D"" style=3D"white-space:pre"> - Language-engineering ba= sed applications for many cores=C2=A0
- Approaches for parallelism extraction=C2=A0
=
- Positive and nega= tive experience reports

SUBMISSION & PUBLICATI= ON

Our intention is to foster communication betwee= n researchers and practitioners in the
topics addressed by ALLIAN= CE. Hence, research papers, reports on ongoing research,
experien= ce reports and tool papers are the favorite types of submissions.

It is intended to publish the workshop proceedings as CEUR = Workshop Proceedings
(CEUR-WS.org), an open access journal (ISSN = 1613-0073). Papers should follow the
EPTCS style (http://style.eptcs.org/) and should not exceed a l= ength of 8 pages.
Submitted articles must not have been previousl= y published or currently be submitted
for publication elsewhere. = Each paper will be reviewed thoroughly by members of the
ALLIANCE= program committee.

Submission is made via Easycha= ir:

CONTACT

The workshop is organized= by Sven Karol (TU Dresden, Germany) and Christoff B=C3=BCrger
(L= und University, Sweden). For any questions or concerns about the call for p= apers,
please contact the workshop chairs at alliance2016@easychair.org.
--001a114b01e0ac6116052509f3a6--