[ecoop-info] International Workshop on Programming Across the System Stack (PASS at ECOOP'19)

Yu David Liu davidl at binghamton.edu
Wed Apr 17 00:34:25 CEST 2019

International Workshop on Programming Across the System Stack (PASS at ECOOP

London, UK, July 19, 2019


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)

Submission Guidelines

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.

We welcome papers that identify new problems or report work in progress. A
good PASS submission should be interesting and clear. It does not need to
describe a complete solution. Submissions can be made through Easychair:

Invited Talk
Daniel O'Keeffe, Royal Holloway University of London

Important dates

    •    Abstracts: May 15, 2019
    •    Submission: May 20, 2019
    •    Notification: June 10, 2019
    •    Final copy: Juni 21 , 2019

    •    Submission: June 5, 2019
    •    Notification: June 10, 2019

Program Committee

    •    Christoph Bockisch, Philipps-University Marburg (*)
    •    Dan Grossman, University of Washington
    •    Sebastian Götz, Technische Universität Dresden
    •    Fahed Jubair, University of Jordan
    •    Yu David Liu, State University of New York at Binghamton (*)
    •    Hidehiko Masuhara, Tokyo Institute of Technology, Japan (*)
    •    Gustavo Pinto, UFPA
    •    Aleksandar Prokopec, Oracle Labs
    •    Hridesh Rajan, Iowa State University
    •    Nobuko Yoshida, Imperial College London
    •    Lukasz Ziarek, State University of New York at Buffalo (*)

(*) indicates an organizer

Yu David Liu
Department of Computer Science
SUNY Binghamton

More information about the ecoop-info mailing list