Powered by
Conference Publishing Consulting

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

MODULARITY 2015 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Cover
Title Page
Messages from the Chairs
Committees

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)
Publisher's Version
Generalized Layer Activation Mechanism through Contexts and Subscribers
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko MasuharaORCID logo
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Structured Synchronous Reactive Programming with Céu
Francisco Sant' Anna, Roberto Ierusalimschy, and Noemi Rodriguez
(PUC-Rio, Brazil)
Publisher's Version Video Info

Software Engineering

AspectMatlab++: Annotations, Types, and Aspects for Scientists
Andrew Bodzay and Laurie Hendren ORCID logo
(McGill University, Canada)
Publisher's Version
JavaRAG: A Java Library for Reference Attribute Grammars
Niklas Fors ORCID logo, Gustav Cedersjö, and Görel Hedin ORCID logo
(Lund University, Sweden)
Publisher's Version
Architecture-Sensitive Heuristics for Prioritizing Critical Code Anomalies
Everton Guimarães, Alessandro Garcia, and Yuanfang Cai
(PUC-Rio, Brazil; Drexel University, USA)
Publisher's Version
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)
Publisher's Version

Formal Methods 1

Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
Mehdi Bagherzadeh and Hridesh Rajan ORCID logo
(Iowa State University, USA)
Publisher's Version
Dynamic Dispatch for Method Contracts through Abstract Predicates
Wojciech Mostowski and Mattias Ulbrich ORCID logo
(University of Twente, Netherlands; KIT, Germany)
Publisher's Version

Formal Methods 2

Modular Reasoning in the Presence of Event Subtyping
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, and Hridesh Rajan ORCID logo
(Iowa State University, USA; Bowling Green State University, USA; University of Wisconsin-Madison, USA; University of Central Florida, USA)
Publisher's Version
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 ORCID logo
(Shanghai Jiao Tong University, China; University of Lugano, Switzerland; Charles University, Czech Republic; Universidad Privada Boliviana, Bolivia)
Publisher's Version

proc time: 3.32