Frontmatter

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)


@InProceedings{MODULARITY15p1, author = {Matthias Grimmer and Chris Seaton and Thomas Würthinger and Hanspeter Mössenböck}, title = {Dynamically Composing Languages in a Modular Way: Supporting C Extensions for Dynamic Languages}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

Generalized Layer Activation Mechanism through Contexts and Subscribers
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)


@InProceedings{MODULARITY15p17, author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara}, title = {Generalized Layer Activation Mechanism through Contexts and Subscribers}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2015}, }

Structured Synchronous Reactive Programming with Céu
Francisco Sant' Anna, Roberto Ierusalimschy, and Noemi Rodriguez
(PUC-Rio, Brazil)


@InProceedings{MODULARITY15p33, author = {Francisco Sant' Anna and Roberto Ierusalimschy and Noemi Rodriguez}, title = {Structured Synchronous Reactive Programming with Céu}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2015}, }

Software Engineering

AspectMatlab++: Annotations, Types, and Aspects for Scientists
Andrew Bodzay and Laurie Hendren
(McGill University, Canada)


@InProceedings{MODULARITY15p49, author = {Andrew Bodzay and Laurie Hendren}, title = {AspectMatlab++: Annotations, Types, and Aspects for Scientists}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, }

JavaRAG: A Java Library for Reference Attribute Grammars
Niklas Fors, Gustav Cedersjö, and Görel Hedin
(Lund University, Sweden)


@InProceedings{MODULARITY15p65, author = {Niklas Fors and Gustav Cedersjö and Görel Hedin}, title = {JavaRAG: A Java Library for Reference Attribute Grammars}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2015}, }

Architecture-Sensitive Heuristics for Prioritizing Critical Code Anomalies
Everton Guimarães, Alessandro Garcia, and Yuanfang Cai
(PUC-Rio, Brazil; Drexel University, USA)


@InProceedings{MODULARITY15p81, author = {Everton Guimarães and Alessandro Garcia and Yuanfang Cai}, title = {Architecture-Sensitive Heuristics for Prioritizing Critical Code Anomalies}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, }

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)


@InProceedings{MODULARITY15p97, author = {Leonardo Passos and Jesús Padilla and Thorsten Berger and Sven Apel and Krzysztof Czarnecki and Marco Tulio Valente}, title = {Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2015}, }

Formal Methods 1

Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
Mehdi Bagherzadeh and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{MODULARITY15p113, author = {Mehdi Bagherzadeh and Hridesh Rajan}, title = {Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {113-112}, doi = {}, year = {2015}, }

Dynamic Dispatch for Method Contracts through Abstract Predicates
Wojciech Mostowski and Mattias Ulbrich
(University of Twente, Netherlands; KIT, Germany)


@InProceedings{MODULARITY15p129, author = {Wojciech Mostowski and Mattias Ulbrich}, title = {Dynamic Dispatch for Method Contracts through Abstract Predicates}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {129-128}, doi = {}, year = {2015}, }

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)


@InProceedings{MODULARITY15p145, author = {Mehdi Bagherzadeh and Robert Dyer and Rex D. Fernando and José Sánchez and Hridesh Rajan}, title = {Modular Reasoning in the Presence of Event Subtyping}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, }

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)


@InProceedings{MODULARITY15p161, author = {Haiyang Sun and Yudi Zheng and Lubomír Bulej and Alex Villazón and Zhengwei Qi and Petr Tůma and Walter Binder}, title = {A Programming Model and Framework for Comprehensive Dynamic Analysis on Android}, booktitle = {Proc.\ MODULARITY}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, }

proc time: 0.81