posted by user: lauramcastro || 411 views || tracked by 3 users: [display]

PMLDC 2016 : Workshop on Programming Models and Languages for Distributed Computing

FacebookTwitterLinkedInGoogle

Link: http://2016.ecoop.org/track/PMLDC-2016
 
When Jul 17, 2016 - Jul 17, 2016
Where Rome, Italy
Submission Deadline May 6, 2016
Notification Due Jun 10, 2016
Final Version Due Jun 17, 2016
 

Call For Papers

First Workshop on Programming Models and Languages for Distributed
Computing (PMLDC 2016)

Co-located with ECOOP 2016, Rome, Italy

Date: July 17th, 2016

Whether you are programming a rich web application in JavaScript that
mutates state in the client’s browser, or you are building a massively
deployed mobile application that will operate with client state at the
device, it’s undeniable that you are building a distributed system!

Two major challenges of programming distributed systems are
concurrency and partial failure. Concurrency of operations can
introduce accidental nondeterminism: computations may result in
different outcomes with the same inputs given scheduling differences
in the underlying system unless a synchronization mechanism is used to
enforce some order. Synchronization is typically expensive, and
reduces the efficiency of user applications. Partial failure, or the
failure of one or more components in a distributed system at one time,
introduces the challenge of knowing, when an operation fails, which
components of the operation completed successfully. To solve these
problems in practice on an unreliable, asynchronous network, atomic
commit protocols and timeouts as failure detection are typically used.

Because of these challenges, early approaches to providing programming
abstractions for distributed computing that ignored them were
inherently misguided: the canonical example being the Remote Procedure
Call, still widely deployed in industry.

The goal of this workshop is to discuss new approaches to distributed
programming that provide efficient execution and the elimination of
accidental nondeterminism resulting from concurrency and partial
failure. It will bring together both practitioners and theoreticians
from many disciplines: database theory, distributed systems, systems
programming, programming languages, data-centric programming, web
application development, and verification, to discuss the
state-of-the-art of distributed programming, advancement of the
state-of-the-art and paths forward to better application of theory in
practice.

The main objectives of this workshop are the following:

To review the state-of-the-art research in languages, models, and
systems for distributed programming;
To identify areas of critical need where research can advance the
state of the art;
To create a forum for discussion;
To present open problems from practitioners with an aim towards
motivating academic research on relevant problems faced by industry.

In the spirit of both ECOOP and Curry On, this workshop aims at
favoring a multidisciplinary perspective by bringing together
researchers, developers, and practitioners from both academia and
industry.

Submission Guidelines

We solicit proposals for contributed talks. We recommend preparing
proposals of 2 pages, in ACM 2 column SIGPLAN style, written in
English and in PDF format. However, we will accept longer proposals or
submissions to other conferences, under the understanding that PC
members are only expected to read the first two pages of such longer
submissions. Authors with accepted papers will have the opportunity to
have their submission published on the ACM Digital Library.

Important Dates

Paper submission: May 6, 2016 (any place on Earth)
Authors notification: June 10, 2016
Final version: June 17, 2016

Deadline Extended: May 13, 2016

Related Resources

COMPUTATION TOOLS 2017   The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
IFL 2016   28th Symposium on Implementation and Application of Functional Languages
DSLDI 2016   4th Workshop on Domain Specific Language Design and Implementation
GPCE 2016   International Conference on Generative Programming: Concepts & Experiences
LOPSTR 2016   26th International Symposium on Logic-Based Program Synthesis and Transformation