XLDI 2012 banner

XLDI 2012

First International Workshop on
Cross-model Language Design and Implementation
Affiliated with ICFP 2012, Copenhagen, Denmark

Sponsored by ACM SIGPLAN

September 9, 2012 (Sunday before ICFP)
Submission site (now closed)

There has recently been a burst of systems research advocating high-performance commodity “big data” or “massively parallel” computing models, often using simpler high-level languages or interfaces as front-ends. This work is often described as part of a shift towards a new “cloud computing” paradigm, but these buzzwords mask the major problems these techniques face: both big data and massively parallel systems currently employ systems-based methods and testing regimes that cannot offer guarantees of safety, security, correctness and evolvability. Language-based techniques, particularly formalization, verification, abstraction, and representation independence, offer the promise to reconcile the performance benefits of new execution models with the advantages of modern programming languages.

Cross-model programming is not a new problem: for example, smooth integration of relational database programming models into general-purpose programming languages has been a long-standing challenge, with some approaches now in mainstream use (such as Microsoft's LINQ). But in the last few years there has been a dramatic increase in the number of domain-specific languages or libraries for interfacing with different computing models (data-parallelism, sensor networks, MapReduce-style fault-tolerant parallelism, distributed programming, Bayesian inference engines, declarative networking, or multi-tier Web programming), as well as techniques for language-integrated querying or processing data over other data models. Cross-model programs that execute in multiple (possibly heterogeneous) environments have much more challenging security, debugging, validation, and optimization problems.

Papers are solicited on topics including, but not limited to:

Call for papers (text, pdf).


The submission site is here.



Informal versions of the accepted papers are available at the links below. These are not formal publications; copyright resides with the authors.


8:55-9:00 Opening remarks
9:00-10:00 Algebraic Run-Time Optimization for Multiset Programming
Fritz Henglein
Slides Video
10:00-10:30 Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis
Fabian Hueske, Aljoscha Krettek and Kostas Tzoumas.
Slides Video
10:30-11:00 Coffee break
11:00-11:30 Logic Programming for Software Defined Networks
Naga Praveen Katta, Jennifer Rexford and David Walker.
Slides Video
11:30-12:00 Typing Massive JSON Datasets
Dario Colazzo, Giorgio Ghelli and Carlo Sartiani.
Slides Video
12:00-12:30 Haskell DSLs for Interactive Web Services
Andrew Farmer and Andy Gill.
Slides Video
12:30-2:00 Lunch
2:00-3:00 Challenges in Reducing the Pain of Feature Engineering for Trained Systems
Christopher Ré
Slides Video
3:00-3:30 K3: Language Design for Building Multi-Platform, Domain-Specific Runtimes
Panchapakesan Shyamshankar, Zachary Palmer and Yanif Ahmad.
Slides Video
3:30-4:00 Coffee / cake break
4:00-4:15 Further discussion/closing


Thanks to Torsten Grust for taking some pictures during the workshop, and to Malcolm Wallace for making video recordings of the talks (available on YouTube and via the links above).


Submission should consist of short papers of at most 3 pages in ACM SIGPLAN conference format (sigplanconf.cls). Submissions will be accepted electronically. The submission site will be advertised around one month before the submission deadline. Simultaneous submission to another workshop, conference or journal is not allowed. An author of each accepted paper is expected to present the paper at the workshop. There will be no formal proceedings, but accepted submissions will be made available on the workshop web page. Authors will retain copyright.


Submission: May 15, 23:59 Apia time (firm)
Notification: July 1
Final papers due: August 1
Workshop:September 9
ICFP 2012:September 10-12


Program committee


We gratefully acknowledge support from LogicBlox and Oracle Labs.