From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6FGfUeV008398 for ; Fri, 15 Jul 2011 18:41:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcDAP5sIE6ABgQDi2dsb2JhbABTmGqPEQEBAQoLCxslq3GWUIh8hVtfBJJmhQGLbg X-IronPort-AV: E=Sophos;i="4.67,209,1309730400"; d="asc'?scan'208";a="113200762" Received: from dragon.rutgers.edu ([128.6.4.3]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Jul 2011 18:41:24 +0200 X-ExtScanner: Niversoft's Regex Matcher X-Virus-Scanned: by dragon-cgpav-clamav-v1.3b Received: by dragon.rutgers.edu (CommuniGate Pro PIPE 5.4.0) with PIPE id 98339097; Fri, 15 Jul 2011 12:41:24 -0400 X-Spam-Status-LCSR: dragon spam scanned Received: from [69.22.228.68] (account ccshan@dragon.rutgers.edu HELO mantle.bostoncoop.net) by dragon.rutgers.edu (CommuniGate Pro SMTP 5.4.0) with ESMTPSA id 98339103 for caml-list@inria.fr; Fri, 15 Jul 2011 12:41:16 -0400 Received: by mantle.bostoncoop.net (Postfix, from userid 1000) id 2683B359C8; Fri, 15 Jul 2011 12:41:16 -0400 (EDT) Date: Fri, 15 Jul 2011 12:41:16 -0400 From: Chung-chieh Shan To: caml-list@inria.fr Message-ID: <20110715164116.GB10854@mantle.bostoncoop.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="QKdGvSO+nmPlgiQ/" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: ccshan@cs.rutgers.edu Subject: [Caml-list] Domain-Specific Languages: Call for Participation --QKdGvSO+nmPlgiQ/ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable DSL 2011: IFIP Working Conference on Domain-Specific Languages=20 6-8 September 2011, Bordeaux, France=20 **** Call for Participation: Online registration deadline July 30, 2011 ***= *=20 Details of the program and accommodation are available at http://dsl2011.bo= rdeaux.inria.fr. =3D=3D Invited Speakers =3D=3D - Jeremy Gibbons - University of Oxford, UK. - Claude Kirchner - INRIA, France. =3D=3D Distilled Tutorials on Domain-Specific Languages =3D=3D The purpose of these tutorials are not to give a general overview, but to m= ake the attendees=20 aware of one point and to make them master it. - Jerzy Karczmarczuk. Specific "scientific" data structures, and their pro= cessing. - Oleg Kiselyov. Implementing explicit and finding implicit sharing in emb= edded DSL. - Keiko Nakata. A total interpreter for While with interactive I/O. - Josef Svenningsson. Combining deep and shallow embeddings for EDSLs. - Walid Taha. Accurate programming: thinking about programs in terms of pr= operties. - William Cook. Build your own partial evaluator in 90 minutes. =3D=3D DSL Technical Papers =3D=3D=20 - Basile Starynkevitch. MELT a Translated Domain Specific Language Embedded= in the GCC Compiler. - Azer Bestavros and Assaf Kfoury. A Domain-Specific Language for the Incre= mental and Modular Design of Large-Scale Verifiably-Safe Flow Networks.=20 - Tiark Rompf, Kevin J. Brown, Hassan Chafi, Hyoukjoong Lee, Arvind K. Suje= eth, Martin Odersky and Kunle Olukotun. Building-Blocks for Performance Ori= ented DSLs.=20 - Dominic Orchard and Alan Mycroft. Efficient and Correct Stencil Computati= on via Pattern Matching and Static Typing. - Tim Bauer, Martin Erwig, Alan Fern and Jervis Pinto. Adaptation-Based Pro= gramming in Haskell.=20 - Eric Walkingshaw and Martin Erwig. A DSEL for Studying and Explaining Cau= sation.=20 - Lucas Beyak and Jacques Carette. SAGA: A DSL for story management. --QKdGvSO+nmPlgiQ/ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iD8DBQFOIG2szjAc4f+uuBURAuOJAKDsPxpYrwSkqmREt2etwgK2Xr67fgCdEuWt 8PP0J5x/zF42xvZeTQCcQrA= =bjdT -----END PGP SIGNATURE----- --QKdGvSO+nmPlgiQ/--