GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 14:00 - 14:30 at Studio 2 - II Chair(s): Aggelos Biboudis

Ownership type qualifiers clarify aliasing invariants that cannot be directly expressed in mainstream programming languages. Moreover, they enable extracting abstract object graphs that clarify the object relationships produced at runtime. Adding qualifiers to legacy code after the fact, however, involves significant overhead and difficult interaction.

We propose an inference analysis to generate qualifiers in the code based on developer refinements that express strict encapsulation, logical containment and architectural tiers. The language of refinements consists of: makeOwnedBy, to make an object strictly encapsulated by another; makePartOf, to make an object logically contained in another; makePeer, to make two objects peers; or makeShared, to allow an object to be globally aliased.

Based on the developers’ refinements, the analysis attempts to generate qualifiers that type-check; if it fails to do so, it indicates to developers that their refinements do not match the code as-written, so they must investigate unexpected aliasing, and optionally change the code and re-run the analysis.

We implement the analysis in a tool, OOGRE, and evaluate it on real code, to confirm that it generates qualifiers that are more precise than the default ones. Finally, we confirm that the generated qualifiers enable another analysis to extract hierarchical object graphs that reflect strict encapsulation, logical containment and architectural tiers.

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
IIGPCE 2018 at Studio 2
Chair(s): Aggelos Biboudis EPFL, Switzerland
13:30
30m
Talk
Exploring feature interactions without specifications: a controlled experiment
GPCE 2018
Larissa Soares Universidade Federal da Bahia, Jens Meinicke Magdeburg University, Sarah Nadi University of Alberta, Christian Kästner Carnegie Mellon University, Eduardo Santana de Almeida Universidade Federal da Bahia
14:00
30m
Talk
Inferring Ownership Domains From Refinements
GPCE 2018
Ebrahim Khalaj Wayne State University, Marwan Abi-Antoun Wayne State University
14:30
30m
Talk
Implementing a semi-causal domain-specific language for context detection over binary sensors
GPCE 2018
Nic Volanschi Inria Bordeaux, Bernard Serpette Inria, Charles Consel University of Bordeaux