[TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)

James Cheney james.cheney at gmail.com
Wed Jul 25 11:08:35 EDT 2012


                   CALL FOR PARTICIPATION

                         XLDI 2012

              First International Workshop on
       Cross-Model Language Design and Implementation

          http://workshops.inf.ed.ac.uk/xldi2012/

       Affiliated with ICFP 2012, Copenhagen, Denmark
                  Sponsored by ACM SIGPLAN

            September 9, 2012 (Sunday before ICFP)


    You need an ICFP Sunday pass to participate in XLDI 2012.
        Early registration ends August 1, 2012.  For details on
        ICFP registration please see

     http://icfpconference.org/icfp2012/registration.html


XLDI 2012 focuses on the foundations, design, implementation,
and  applications of languages that smoothly integrate different
execution or data models.

We have assembled an interesting program of 7 presentations, covering
software-defined networks, Haskell DSLs for interactive web services,
typing of massive JSON datasets, rewrite optimization of dataflow
programs, and languages designed to build domain-specific runtimes.

INVITED SPEAKERS:

- Fritz Henglein (DIKU, University of Copenhagen)
- Christopher Re (University of Wisconsin)


SCIENTIFIC PROGRAMME:

- Naga Praveen Katta, Jennifer Rexford, David Walker:
  Logic Programming for Software Defined Networks

- Andrew Farmer, Andy Gill:
  Haskell DSLs for Interactive Web Services

- Dario Colazzo, Giorgio Ghelli, Carlo Sartiani:
  Typing Massive JSON Datasets

- Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
  Enabling Rewrite Optimizations of Data Flow Programs
  Through Static Code Analysis

- Panchapakesan Shyamshankar, Zachary Palmer, Yanif Ahmad:
  K3: Language Design for Building Multi-Platform,
  Domain-Specific Runtimes


SPONSORS:

XLDI 2012 is sponsored by ACM SIGPLAN and LogicBlox.


We are looking forward to see you in Copenhagen,

   --James Cheney, Torsten Grust
     (XLDI co-chairs)



More information about XLDI 2012:
        http://workshops.inf.ed.ac.uk/xldi2012/

More information about ICFP 2012:
        http://icfpconference.org/icfp2012/


More information about the Types-announce mailing list