posted by user: hossein_haeri || 1437 views || tracked by 1 users: [display]

PLACES 2017 : 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

FacebookTwitterLinkedInGoogle

Link: http://places17.by.di.fc.ul.pt
 
When Apr 29, 2017 - Apr 29, 2017
Where Uppsala, Sweden
Abstract Registration Due Feb 12, 2017
Submission Deadline Feb 19, 2017
Notification Due Mar 8, 2017
Categories    programming languages   concurrency   distributed systems
 

Call For Papers

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

Related Resources

NAACL HLT 2018   The 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
NATP 2017   3rd International Conference on Natural Language Processing
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
Euro-Par 2018   European Conference on Parallel Processing
ENASE 2018   13th International Conference on Evaluation of Novel Approaches to Software Engineering
Habits 2018   Call for Book Chapters (Routledge): HABITS AND ROUTINES - PHILOSOPHICAL, PSYCHOLOGICAL AND ORGANIZATIONAL APPROACHES TO AUTOMATIC ACTIONS
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
IoT-Education 2018   Special Session on The Internet of Things for Educators and Learners - Within the 13th International Conference on Evaluation of Novel Approaches to Software Engineering-ENASE 18