[TYPES/announce] International Workshop on Programming Across the System Stack (PASS at ECOOP'19)

[Yu David Liu]

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

https://2019.ecoop.org/home/PASS-ECOOP-2019
London, UK, July 19, 2019


=========
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)

=========
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:
https://easychair.org/conferences/?conf=passecoop19

=========
Invited Talk
=========
Daniel O'Keeffe, Royal Holloway University of London
https://danokeeffe.io/

=========
Important dates
=========

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

Posters
    •    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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190418/40a9d24e/attachment-0001.html>