[TYPES/announce] Modularity Across the System Stack (MASS'16) -- deadline approaching

[Yu David Liu]

We welcome papers on type systems and reasoning techniques at the 
intersection of programming languages and systems. The theme of MASS'16 
is "modularity meets systems." Deadline on Jan 29, 2016. We accept both 
regular papers, and short papers in 2 pages.

Best Regards,

David Liu
on behalf of MASS'16 organizers

-- 

The 2016 International Workshop on Modularity Across the System Stack 
(MASS'16)

affiliated with Modularity'16 (Malaga, Spain)


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, modularity remains a cornerstone in modern software 
engineering, bringing in crucial benefits such as modular reasoning, 
improved 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. 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: How does modularity 
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 modular software 
development. More concretely, areas of interest include but are not 
limited to:

- Energy-aware software engineering (e.g. energy efficiency models, 
energy efficiency as a quality attribute, energy-aware self-adaptation)
- Modularity support for energy-conscious and resource-constrained 
applications
- Modularity support (e.g., programming language design and 
verification) for Big Data applications
- Modularity support for high-performance, distributed, and 
heterogeneous applications
- Software architecture for reusability and adaptability in systems and 
their interactions with applications
- Modular security support (e.g., compositional information flow, 
compositional program analysis)
- Modular real-time systems
- Modular design interfacing applications and operating systems
- Modular design interfacing software and hardware
- Modularity support on emerging platforms (e.g., Internet of Things and 
wearable devices)
- Empirical studies (patterns and anti-patterns) on the relationship 
between modularity and system-oriented goals
- Software engineering techniques to balance the trade-off between 
modularity and efficiency
- Memory bloats and long-tail performance problems across modular 
boundaries
- Program optimization across modular boundaries
- Modularity in systems software
- Reasoning across applications, compilers, and virtual machines

In a nutshell, we welcome all work sharing the spirit of Modularity 
Meets Systems. Submission details can be found at 
http://www.cs.binghamton.edu/~davidl/mass16.html.


Organizers

- Shigeru Chiba, University of Tokyo
- Lidia Fuentes, University of Malaga
- Hidehiko Masuhara, Tokyo Institute of Technology
- Monica Pinto, University of Malaga
- Max Scherr, University of Tokyo

Program Chair: Yu David Liu, SUNY Binghamton

Program Committee

- Fernando Castor, Federal University of Pernambuco (UFPE)
- Shigeru Chiba, University of Tokyo
- Lidia Fuentes, University of Malaga
- Nadia Gamez, University of Malaga
- Raffi Khatchadourian, CUNY City Tech
- Patricia Lago, VU University Amsterdam
- David H. Lorenz, The Open University of Israel
- Hidehiko Masuhara, Tokyo Institute of Technology
- Monica Pinto, University of Malaga
- Adrian Sampson, Cornell University
- Max Scherr, University of Tokyo
- Lukasz Ziarek, SUNY Buffalo

-- 
Yu David Liu
Associate Professor
Department of Computer Science
SUNY Binghamton

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160119/877b3f15/attachment-0001.html>