Overview

The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as unmanned aerial vehicles (UAV), Internet of things (IoT), cloud computing servers, heterogeneous clusters, data centers, wearable devices, and smartphones — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the meantime, programming-related quality metrics such as correctness, verifiability, portability, modularity, and extensibility, remain relevant in modern software engineering, bringing in crucial benefits such as modular reasoning, program understanding, and collaborative software development. Current methodologies and software development technologies should be revised in order to produce software to meet system-oriented goals, while preserving high software quality. The role of the Programmer or Software Developer is essential, having to be aware of the implications that each design, architecture and implementation decision has on the application-system ecosystem.

This workshop is driven by one fundamental question: How does software quality interact with system-oriented goals? We welcome both positive and negative responses to this question. An example of the former would be modular reasoning systems specifically designed to promote system-oriented goals, whereas an example of the latter would be anti-patterns against system-oriented goals during software development.

Areas of interest include but are not limited to:

• Program reasoning across the system stack
• Language design for computer systems
• Language support for emerging platforms (e.g., UAVs, IoTs)
• Energy-aware software systems and languages
• Cross-layer security support
• Software architecture for application-system interactions
• Trade-off support between system-oriented metrics and software quality metrics
• Cross-layer optimization
• Empirical studies (patterns and anti-patterns)

Invited Talk

The workshop will feature an invited keynote Talk by Daniel O’Keeffe from the Royal Holloway University of London. The title and abstract are still to be announced.

Call for Papers and Posters

Workshop on Programming Across the System Stack (PASS) @ ECOOP ’19

The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as unmanned aerial vehicles (UAV), Internet of things (IoT), cloud computing servers, heterogeneous clusters, data centers, wearable devices, and smartphones — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the meantime, programming-related quality metrics such as correctness, verifiability, portability, modularity, and extensibility, remain relevant in modern software engineering, bringing in crucial benefits such as modular reasoning, program understanding, and collaborative software development. Current methodologies and software development technologies should be revised in order to produce software to meet system-oriented goals, while preserving high software quality. The role of the Programmer or Software Developer is essential, having to be aware of the implications that each design, architecture and implementation decision has on the application-system ecosystem.

This workshop is driven by one fundamental question: How does software quality interact with system-oriented goals? We welcome both positive and negative responses to this question. An example of the former would be modular reasoning systems specifically designed to promote system-oriented goals, whereas an example of the latter would be anti-patterns against system-oriented goals during software development.

Areas of interest include but are not limited to:

• Program reasoning across the system stack
• Language design for computer systems
• Language support for emerging platforms (e.g., UAVs, IoTs)
• Energy-aware software systems and languages
• Cross-layer security support
• Software architecture for application-system interactions
• Trade-off support between system-oriented metrics and software quality metrics
• Cross-layer optimization
• Empirical studies (patterns and anti-patterns)

Invited Talk

• Daniel O’Keeffe, Royal Holloway University of London

Submission Guidelines

We welcome papers that identify new problems or report work in progress. A good PASS submission should be interesting, concrete, and clear. It does not need to describe a complete solution.

PASS accepts the following submission categories (abstract submission is optional):

• Regular papers: up to 6 pages,

• Position papers: up to 2 pages,

• Posters: one page extended abstract or a poster draft.

All submissions should follow the ACM SIGPLAN format with font size 9pt. Submissions can be made through Easychair: https://easychair.org/conferences/?conf=passecoop19