‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

The PASS workshop had to be canceled. Papers submitted to PASS will be presented as part of the MoreVMs’19 workshop.

The landscape of computation platforms has changed dramatically in recent years. Emerging systems—such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing servers, heterogeneous clusters, and data centers—pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the meantime, code quality, such as modularity or extensibility, remains a cornerstone 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 internal code quality. The role of the Software Engineer 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: \emph{How does internal code 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.

The PASS workshop solicits full papers reporting on research results or experience reports, as well as position papers presenting new ideas. Areas of interest include but are not limited to (see call for paper for more detailed list):

• Energy-aware software engineering

• Modularity support

• Emerging platforms

• Security support

• Software architecture for reusability and adaptability

• Empirical studies (patterns and anti-patterns)

• Balancing the trade-off between internal code quality and efficiency

• Program optimization across modular boundaries

Call for Papers/Posters

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

The landscape of computation platforms has changed dramatically in recent years. Emerging systems—such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing servers, heterogeneous clusters, and data centers—pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the meantime, code quality, such as modularity or extensibility, remains a cornerstone 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 internal code quality.

This workshop is driven by one fundamental question: How does internal code 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

Areas of interest include but are not limited to:

• Energy-aware software engineering (e.g. energy efficiency models, energy efficiency as a quality attribute)

• Modularity support (e.g., programming language design, development tools or verification) for applications in resource-constrained or real-time systems

• Emerging platforms (e.g., Internet of Things and wearable devices)

• Security support (e.g., compositional information flow, compositional program analysis)

• Software architecture for reusability and adaptability in systems and their interactions with applications

• Empirical studies (patterns and anti-patterns) on the relationship between internal code quality and system-oriented goals

• Software engineering techniques to balance the trade-off between internal code quality and efficiency

• Memorybloatsandlong-tailperformanceproblemsacrossmodularboundaries

• Program optimization across modular boundaries

• Internal code quality in systems software

• Reasoning across applications, compilers, and virtual machines

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:

• 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=pass19

Important dates

Paper submission January 15, 2019

Paper notification date February 6, 2019

Poster submission February 12, 2019

Poster notification February 15, 2019

Workshop April 1 or 2, 2019 (tentative)

Paper camera-ready deadline May 1, 2019

Program Committee (pending)

• Shoaib Akram, Ghent University, Belgium

• Christoph Bockisch, Philipps-University Marburg, Germany

• Kerstin Eder, University of Bristol, UK

• Lidia Fuentes, University of Malag, Spain

• Yu David Liu, State University of New York at Binghamton, USA

• David H. Lorenz, The Open University of Israel

• Hidehiko Masuhara, Tokyo Institute of Technology, Japan

• Guido Salvaneschi, Tehcnical University of Darmstadt, Germany

• Danfeng Zhang, Pennsylvania State University, USA (invitation pending)

• Lukasz Ziarek, State University of New York at Buffalo, USA

• …

Organizers

• Christoph Bockisch, Philipps-University Marburg, Germany

• Yu David Liu, State University of New York at Binghamton, USA

• Hidehiko Masuhara, Tokyo Institute of Technology, Japan

• Lukasz Ziarek, State University of New York at Buffalo, USA