[erlang-questions] [ANN] Call for Papers, PMLDC 2017

[Christopher Meiklejohn]

There was an error in the CFP, date correction: June 20th.  My
apologies for any confusion this caused.

On Thu, Mar 2, 2017 at 9:47 AM, Christopher Meiklejohn
<christopher.meiklejohn@REDACTED> wrote:
> Second Workshop on Programming Models and Languages for Distributed Computing
> Co-located with ECOOP 2017, Barcelona, Spain
> Date: July 20, 2017
>
> 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.
>
> Workshop
>
> http://2017.ecoop.org/track/pmldc-2017-papers
>
> Submission Link
>
> https://easychair.org/conferences/?conf=pmldc2017
>
> Important Dates
>
> Paper submission: Monday, 1 May 2017
> Workshop date: Thursday, 20 July 2017
> Authors notification: TBA
> Final version: TBA
>
> Organizing Committee
>
> Christopher Meiklejohn
> Université catholique de Louvain
>
> Heather Miller
> Ecole Polytechnique Fédérale de Lausanne
>
> Program Committee
>
> Carlos Baquero
> Universidade do Minho
>
> Annette Bieniusa
> Technischen Universität Kaiserslautern
>
> Carla Ferreira
> Universidade Nova Lisboa
>
> Alexey Gotsman
> IMDEA Software Institute
>
> Tyler McMullen
> Fastly
>
> Rodrigo Rodrigues
> Instituto Superior Técnico, University of Lisboa & INESC-ID
>
> Ali Shoker
> HASLab/INESC TEC & University of Minho
>
> KC Sivaramakrishnan
> University of Cambridge
>
> Zach Tellman
> Lacuna
>
> Peter Van Roy
> Université catholique de Louvain
>
> Leif Walsh
> Two Sigma Investments
>
> Jordan West
> NOVA-LINCS
>
> Hongseok Yang
> University of Oxford