MODULARITY 2015 – Proceedings

14th International Conference on Modularity (MODULARITY 2015), March 16–19, 2015, Fort Collins, CO, USA

Frontmatter

Messages from the Chairs
Article: modularity15foreword-fm001-p (type: Frontmatter) doi:

Main Research

Language Design

Dynamically Composing Languages in a Modular Way: Supporting C Extensions for Dynamic Languages
Matthias Grimmer, Chris Seaton, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Switzerland)
Article: modularity15main-mainp001-p (type: Full Paper (up to 16 pages total)) doi:

Generalized Layer Activation Mechanism through Contexts and Subscribers
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)
Article: modularity15main-mainp012-p (type: Full Paper (up to 16 pages total)) doi:

Structured Synchronous Reactive Programming with Céu
Francisco Sant' Anna, Roberto Ierusalimschy, and Noemi Rodriguez
(PUC-Rio, Brazil)
Article: modularity15main-mainp015-p (type: Full Paper (up to 16 pages total)) doi:

Software Engineering

AspectMatlab++: Annotations, Types, and Aspects for Scientists
Andrew Bodzay and Laurie Hendren
(McGill University, Canada)
Article: modularity15main-mainp019-p (type: Full Paper (up to 16 pages total)) doi:

JavaRAG: A Java Library for Reference Attribute Grammars
Niklas Fors, Gustav Cedersjö, and Görel Hedin
(Lund University, Sweden)
Article: modularity15main-mainp017-p (type: Full Paper (up to 16 pages total)) doi:

Architecture-Sensitive Heuristics for Prioritizing Critical Code Anomalies
Everton Guimarães, Alessandro Garcia, and Yuanfang Cai
(PUC-Rio, Brazil; Drexel University, USA)
Article: modularity15main-mainp009-p (type: Full Paper (up to 16 pages total)) doi:

Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers
Leonardo Passos, Jesús Padilla, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, and Marco Tulio Valente
(University of Waterloo, Canada; University of Passau, Germany; Federal University of Minas Gerais, Brazil)
Article: modularity15main-mainp025-p (type: Full Paper (up to 16 pages total)) doi:

Formal Methods 1

Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
Mehdi Bagherzadeh and Hridesh Rajan
(Iowa State University, USA)
Article: modularity15main-mainp010-p (type: Full Paper (up to 16 pages total)) doi:

Dynamic Dispatch for Method Contracts through Abstract Predicates
Wojciech Mostowski and Mattias Ulbrich
(University of Twente, Netherlands; KIT, Germany)
Article: modularity15main-mainp022-p (type: Full Paper (up to 16 pages total)) doi:

Formal Methods 2

Modular Reasoning in the Presence of Event Subtyping
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, and Hridesh Rajan
(Iowa State University, USA; Bowling Green State University, USA; University of Wisconsin-Madison, USA; University of Central Florida, USA)
Article: modularity15main-mainp011-p (type: Full Paper (up to 16 pages total)) doi:

A Programming Model and Framework for Comprehensive Dynamic Analysis on Android
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tůma, and Walter Binder
(Shanghai Jiao Tong University, China; University of Lugano, Switzerland; Charles University, Czech Republic; Universidad Privada Boliviana, Bolivia)
Article: modularity15main-mainp008-p (type: Full Paper (up to 16 pages total)) doi: