10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software(PLACES 2017)
April 09, 2017
Uppsala, Sweden
Scope
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 topics of interest include, but are not limited to, the following:
- 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
Important Dates:
- Paper submission: February 19, 2017
- Author notification: March 08, 2017
User Name : Claude
Posted 30-01-2017 on 09:22:20 AEDT
Related CFPs
WEFB 2024
Symposium on World Economics, Finance and Business (WEFB 2024)
IJASSN
International Journal of Advanced Smart Sensor Network Systems
IJASSN
International Journal of Advanced Smart Sensor Network Systems
ICT
17th International Conference on ICT, Society and Human Beings 2024