[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