MODULARITY 2016 – Proceedings

Frontmatter

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)


@InProceedings{MODULARITY16p1, author = {Bruno B. P. Cafeo and Claus Hunsen and Alessandro Garcia and Sven Apel and Jaejoon Lee}, title = {Segregating Feature Interfaces to Support Software Product Line Maintenance}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

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


@InProceedings{MODULARITY16p13, author = {José Sánchez and Gary T. Leavens}, title = {Reasoning Tradeoffs in Languages with Enhanced Modularity Features}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }

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)


@InProceedings{MODULARITY16p25, author = {Marcos César de Oliveira and Rodrigo Bonifácio and Guilherme N. Ramos and Márcio Ribeiro}, title = {Unveiling and Reasoning about Co-change Dependencies}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

The Expression Problem, Trivially!
Yanlin Wang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)


@InProceedings{MODULARITY16p37, author = {Yanlin Wang and Bruno C. d. S. Oliveira}, title = {The Expression Problem, Trivially!}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, }

Concurrency and Recovery

A Type-and-Effect System for Asynchronous, Typed Events
Yuheng Long and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{MODULARITY16p42, author = {Yuheng Long and Hridesh Rajan}, title = {A Type-and-Effect System for Asynchronous, Typed Events}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {42-41}, doi = {}, year = {2016}, }

On Ordering Problems in Message Passing Software
Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{MODULARITY16p54, author = {Yuheng Long and Mehdi Bagherzadeh and Eric Lin and Ganesha Upadhyaya and Hridesh Rajan}, title = {On Ordering Problems in Message Passing Software}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {54-53}, doi = {}, year = {2016}, }

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


@InProceedings{MODULARITY16p66, author = {Sven Karol and Norman A. Rink and Bálint Gyapjas and Jeronimo Castrillon}, title = {Fault Tolerance with Aspects: A Feasibility Study}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, }

Languages and Modularity

Modularity and Optimization in Synergy
Walter Cazzola and Albert Shaqiri
(University of Milan, Italy)


@InProceedings{MODULARITY16p70, author = {Walter Cazzola and Albert Shaqiri}, title = {Modularity and Optimization in Synergy}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {70-69}, doi = {}, year = {2016}, }

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


@InProceedings{MODULARITY16p82, author = {Andi Bejleri and Mira Mezini and Patrick Eugster}, title = {Cooperative Decoupled Processes: The E-Calculus and Linearity}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {82-81}, doi = {}, year = {2016}, }

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


@InProceedings{MODULARITY16p94, author = {Oliver Bračevac and Sebastian Erdweg and Guido Salvaneschi and Mira Mezini}, title = {CPL: A Core Language for Cloud Computing}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {94-93}, doi = {}, year = {2016}, }

Modularity Visions

Modularity Mechanisms

Modular Architecture for Code and Metadata Sharing
Tomas Tauber and Bruno C. d. S. Oliveira
(University of Hong Kong, China)


@InProceedings{MODULARITY16p106, author = {Tomas Tauber and Bruno C. d. S. Oliveira}, title = {Modular Architecture for Code and Metadata Sharing}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, }

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)


@InProceedings{MODULARITY16p118, author = {Matthias Springer and Fabio Niephaus and Robert Hirschfeld and Hidehiko Masuhara}, title = {Matriona: Class Nesting with Parameterization in Squeak/Smalltalk}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {118-117}, doi = {}, year = {2016}, }

Modularity and Architecture

On Structuring Holistic Fault Tolerance
Rem Gensh, Alexander Romanovsky, and Alex Yakovlev
(Newcastle University, UK)


@InProceedings{MODULARITY16p130, author = {Rem Gensh and Alexander Romanovsky and Alex Yakovlev}, title = {On Structuring Holistic Fault Tolerance}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2016}, }

Constraints as Polymorphic Connectors
Marcel Weiher and Robert Hirschfeld
(HPI, Germany; Microsoft, Germany; SAP Labs, USA; Viewpoints Research Institute, USA)


@InProceedings{MODULARITY16p134, author = {Marcel Weiher and Robert Hirschfeld}, title = {Constraints as Polymorphic Connectors}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {134-133}, doi = {}, year = {2016}, }

proc time: 0.63