[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Please forward to anyone interested. Apologies for multiple mailing.]
PLACES 2017 – Deadline Extension
http://places17.by.di.fc.ul.pt/
10th Workshop on Programming Language Approaches to
Concurrency- and Communication-cEntric Software
Co-located with ETAPS 2017, Uppsala, Sweden
***********************************************************
Modern hardware platforms, from the very small to the very large, increasingly
provide parallel computing resources which software may use to maximise
performance. Many applications therefore need to make effective use of tens,
hundreds, and even thousands of compute nodes. Computation in such systems is
thus inherently concurrent and communication-centric.
Effectively programming such applications is challenging; performance,
correctness, and scalability are difficult to achieve. Various programming
paradigms and methods have emerged to aid this task, including structured
imperative concurrent programming, stream-based programming, concurrent
functions with asynchronous message passing, automatic parallelisation, and the
use of types to describe communications and data structures (such as session
and linear types), to name but a few. To fully exploit a (possibly
heterogeneous) parallel computing environment often requires these approaches
to be combined, depending on the shape of the data and control flow. All the
while, the underlying runtime environment must ensure seamless execution
without relying on differences in available resources such as the number of
cores.
The development of effective programming methodologies for this increasingly
parallel landscape therefore demands exploration and understanding of a wide
variety of foundational and practical ideas. This workshop offers a forum where
researchers from different fields can exchange new ideas on this key challenge
to modern and future programming– where concurrency and distribution are the
norm rather than a marginal concern.
Submissions are invited in the general area of programming language approaches
to concurrency, communication and distribution, ranging from foundational
issues, through language implementations, to applications (such as scientific
computing) and case studies. Specific topics include, but are not limited to:
* Design and implementation of programming languages with first class support
for concurrency and communication
* Behavioural types, including session types
* Concurrent data types, objects and actors
* Verification and program analysis methods for concurrent and distributed
software
* Runtime systems for scalable management of concurrency and resource allocation
* High-level programming abstractions addressing security concerns in
concurrent and distributed programming
* Multi- and many-core programming models, including methods for harnessing
GPUs and other accelerators
* Memory models for concurrent programming on relaxed-memory architectures
* Integration of sequential and concurrent programming techniques
* Use of message passing in systems software
* Interface languages for communication and distribution
* Novel programming methodologies for sensor networks
* Programming language approaches to web services
* Concurrency and communication in event processing and business process
management
Papers are welcome which present novel and valuable ideas as well as
experiences.
Submissions should be (at most) 6-page extended abstracts in EPTCS format and
may include an appendix of up to 4 pages. An abstract should be registered via
the EasyChair submission site
(https://easychair.org/conferences/?conf=places17) by January 29th
(anywhere-on-Earth) with the paper submitted by February 5th
(anywhere-on-Earth). There will be a post-proceedings special issue in JLAMP
(Journal of Logic and Algebraic Methods) after the workshop which will be open
to anyone (with a further round of reviewing).
Abstract submission: 12 February 2017
Paper submission: 19 February 2017
Notification: 8 March 2017
ETAPS early-registration deadline: 12 March 2017
PLACES workshop: 29 April 2017
Submission deadlines are "anywhere on Earth".
COMMITTEES
Programme chairs: Philipp Haller and Vasco T. Vasconcelos
Programme committee:
* Sebastian Burckhardt, Microsoft Research
* Ilaria Castelani, INRIA Sophia Antipolis
* Marco Carbone, ITU
* Silvia Crafa, University of Padova
* Patrick Eugster, TU Darmstadt
* Ganesh L Gopalakrishnan, University of Utah
* Philipp Haller, KTH
* Dimitrios Kouzapas, University of Glasgow
* Sam Lindley, University of Edinburgh
* Luca Padovani, Univ Torino
* Aleksandar Prokopec, Oracle Labs
* Peter Thiemann, University of Freiburg
* Vasco T. Vasconcelos, University of Lisbon
Organising committee: Simon Gay, Alan Mycroft, Vasco T. Vasconcelos, and Nobuko
Yoshida
