MODULARITY 2016 – Proceedings

15th International Conference on Modularity (MODULARITY 2016), March 14–17, 2016, Málaga, Spain

Frontmatter

Message from the General Chair
Article: modularity16foreword-fm001-p doi:

Messages from the PC Chairs
Article: modularity16foreword-fm002-p doi:

Modularity 2016 Organization
Article: modularity16foreword-fm003-p doi:

Modularity Research Results

Modular Design and Reasoning

Segregating Feature Interfaces to Support Software Product Line Maintenance
Bruno B. P. Cafeo, Claus Hunsen, Alessandro Garcia, Sven Apel, and Jaejoon Lee
(PUC-Rio, Brazil; University of Passau, Germany; Lancaster University, UK)
Article: modularity16res-resp016-p doi:

Reasoning Tradeoffs in Languages with Enhanced Modularity Features
José Sánchez and Gary T. Leavens
(Universidad Nacional, Costa Rica; University of Central Florida, USA)
Article: modularity16res-resp004-p doi:

Unveiling and Reasoning about Co-change Dependencies
Marcos César de Oliveira, Rodrigo Bonifácio, Guilherme N. Ramos, and Márcio Ribeiro
(MPOG, Brazil; University of Brasília, Brazil; Federal University of Alagoas, Brazil)
Article: modularity16res-resp015-p doi:

The Expression Problem, Trivially!
Yanlin Wang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Article: modularity16res-resp005-p doi:

Concurrency and Recovery

A Type-and-Effect System for Asynchronous, Typed Events
Yuheng Long and Hridesh Rajan
(Iowa State University, USA)
Article: modularity16res-resp003-p doi:

On Ordering Problems in Message Passing Software
Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan
(Iowa State University, USA)
Article: modularity16res-resp001-p doi:

Fault Tolerance with Aspects: A Feasibility Study
Sven Karol, Norman A. Rink, Bálint Gyapjas, and Jeronimo Castrillon
(TU Dresden, Germany)
Article: modularity16res-resp028-p doi:

Languages and Modularity

Modularity and Optimization in Synergy
Walter Cazzola and Albert Shaqiri
(University of Milan, Italy)
Article: modularity16res-resp002-p doi:

Cooperative Decoupled Processes: The E-Calculus and Linearity
Andi Bejleri, Mira Mezini, and Patrick Eugster
(TU Darmstadt, Germany; Lancaster University, UK; Purdue University, USA)
Article: modularity16res-resp011-p doi:

CPL: A Core Language for Cloud Computing
Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; Lancaster University, UK)
Article: modularity16res-resp026-p doi:

Modularity Visions

Modularity Mechanisms

Modular Architecture for Code and Metadata Sharing
Tomas Tauber and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Article: modularity16vis-visp003-p doi:

Matriona: Class Nesting with Parameterization in Squeak/Smalltalk
Matthias Springer, Fabio Niephaus, Robert Hirschfeld, and Hidehiko Masuhara
(HPI, Germany; Tokyo Institute of Technology, Japan; SAP Labs, USA; Viewpoints Research Institute, USA)
Article: modularity16vis-visp006-p doi:

Modularity and Architecture

On Structuring Holistic Fault Tolerance
Rem Gensh, Alexander Romanovsky, and Alex Yakovlev
(Newcastle University, UK)
Article: modularity16vis-visp010-p doi:

Constraints as Polymorphic Connectors
Marcel Weiher and Robert Hirschfeld
(HPI, Germany; Microsoft, Germany; SAP Labs, USA; Viewpoints Research Institute, USA)
Article: modularity16vis-visp004-p doi: