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

James Cheney james.cheney at gmail.com
Tue Apr 17 06:07:17 EDT 2012


                 CALL FOR PAPERS

                    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)


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.

- Language designs for simplifying cross-model programming
 with database queries, data parallelism, networking,
 distributed programming, Web programming, or security
 primitives.
- Formalizations or comparisons of existing
 languages, libraries or extensions for integrating
 multiple execution models
- Monads, comprehensions,
 arrows, applicative functors, formlets, and other
 abstractions for combining or embedding models
- Compilation and implementation techniques for cross-model
 programs
- Type systems (polymorphism, dependent types,
 GADTs, modal types, refinement types) to support safe
 cross-model programming
- Domain-specific embedded
 languages or libraries, syntax extensions,
 meta-programming facilities, or staged computation.
- Language support for programming with XML, RDF, JSON, or
 other data interchange formats, or for programming Web
 services or other distributed programming formalisms.
- Techniques for securing, debugging, performance profiling,
 optimization, or provenance tracking in cross-model
 programs.


INVITED SPEAKERS:

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


SUBMISSIONS:

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
submissions will be made available from the workshop web
page. Authors will retain the copyright.


IMPORTANT DATES:

Submission:       May 15
Notification:     July 1
Final papers due: August 1
Workshop:         September 9
ICFP 2012:        September 10-12


ORGANIZATION:

Program committee:

James Cheney, University of Edinburgh (co-chair)
Kathleen Fisher, Tufts University
Matthew Fluet, Rochester Institute of Technology
Nate Foster, Cornell University
Torsten Grust, University of Tuebingen (co-chair)
Anastasios Kementsietsidis, IBM Research
Shriram Krishnamurthi, Brown University
Peter Thiemann, University of Freiburg
Atsushi Ohori, Tohoku University
Jan van den Bussche, University of Hasselt


More information about the Types-announce mailing list