For further details see the call for student research abstract and the ACM Student Research Competition Web page.

However, existing OO languages and platforms need to evolve to meet the continuous demand for new abstractions, features, and tools able to reduce the time, effort, and cost of creating object-oriented software systems, and improving their performance, quality and usability.

Nowadays parallel architectures are everywhere. However parallel programming is still reserved to experienced programmers. The trend is towards the increase of cores in processors and the number of processors in multiprocessor machines: The need for scalable computing is everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing and POSIX threads. Thus high-level approaches should play a key role in the shift to scalable computing in every computer.

Algorithmic skeletons (Google's MapReduce being the most well-known skeletal parallelism approach), parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Also, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficiency, etc.).

OOPPS is seeking for research advances bringing benefits in all those typical aspects of software development, such as modeling, prototyping, design, implementation, concurrency and distribution, code generation, analysis, verification, testing, debugging, evaluation, deployment, maintenance, reuse, and software evolution and adaptation.

The specific topics of interest for the OOPPS track include, but are not limited to, the following:

• Algorithms and high-level models (CGM, BSP, LogP, MapReduce, etc.)
• Artificial intelligence, software engineering and formal methods applied to high-level parallel programming
• Applications of high-level approaches, benchmarks and experiments
• Aspects and components
• Code generation, and optimization, just-in-time compilation
• Context-oriented programming
• Databases and persistence
• Design, implementation and optimisation of high-level programming languages
• Distribution and concurrency
• Dynamic and scripting languages
• Evaluation
• Feature Oriented Software Development and Programming
• Formal verification
• Internet of Things technology and programming
• Integration with other paradigms
• Interoperability, versioning and software evolution and adaptation
• Middleware and tools: performance predictors, visualisations of abstract behaviour, automatic hot-spot detectors, high-level resource managers, compilers, automatic generators, etc.
• Language design and implementation
• Modular and generic programming
• Reflection, meta-programming
• Runtime verification and monitoring
• Secure and dependable software
• Static analysis
• Testing and debugging
• Type systems and type inference
• Virtual machines

TRACK CHAIRS

Davide Ancona

DIBRIS, University of Genova, Italy

(davide AT disi.unige.it)

Frédéric Loulergue

Northern Arizona University, USA

(frederic.loulergue AT nau.edu)

Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be published as extended abstracts in the same proceedings.

Paper registration is required, allowing the inclusion of the papers and posters in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for all accepted papers, posters, and invited SRC submissions to be included in the ACM digital library. No-show of scheduled papers, posters, and student research abstracts will result in excluding them from the ACM digital library. Student registration is only intended to encourage student attendance and does not cover inclusion of papers/posters in the conference proceedings.

ACCEPTED PAPERS