Powered by
15th International Conference on Modularity (MODULARITY Companion 2016),
March 14–17, 2016,
Málaga, Spain
Student Research Competition
Selective Process Instrumentation in Virtual Machine
Ivan Vasilev
(NovSU, Russia)
System instrumentation is widely used in different analyze tools, but they are usually hard to maintain and rather slow. To solve this problems we present our approach to instrumentation with multi-leveled plugins and instrumentation of individual processes.
@InProceedings{MODULARITY Companion16p20,
author = {Ivan Vasilev},
title = {Selective Process Instrumentation in Virtual Machine},
booktitle = {Proc.\ MODULARITY Companion},
publisher = {ACM},
pages = {20--20},
doi = {},
year = {2016},
}
Language Oriented Modularity: From Theory to Practice
Arik Hadas
(Open University of Israel, Israel)
Language Oriented Modularity (LOM) is a methodology that is based on Language Oriented Programming (LOP) and applied to Domain-Specific Aspect Languages (DSALs) rather than Domain-Specific Languages (DSLs). Like LOP, which involves the development and use of DSLs on-demand during the software development process, LOM involves the development and use of DSALs on-demand during the software modularization process. However, LOM is underutilized and often not used at all in modern projects. The goal of this research is to improve the applicability and suitability of LOM for resolving crosscutting concerns in real world projects.
@InProceedings{MODULARITY Companion16p21,
author = {Arik Hadas},
title = {Language Oriented Modularity: From Theory to Practice},
booktitle = {Proc.\ MODULARITY Companion},
publisher = {ACM},
pages = {21--21},
doi = {},
year = {2016},
}
The Modularity of Object Propositions
Ligia Nistor
(Carnegie Mellon University, USA)
A significant concern in verification research is the ability to reason modularly about programs with state. Recent work has used substructural logics including separation logic , permissions, and Hoare Type Theory to specify each function in terms of its effect on its footprint. The motivation of our work is the need for formal specifications that allow one to hide shared data between two abstractions. In 2014, we proposed object propositions as an automatable extension to abstract predicates. We allow state to be shared between two objects, by providing fractional permissions to access the common data hidden in a predicate, without revealing this sharing in the objects' specifications. Unlike conventional object invariant and ownership-based work, our system allows ownership transfer by passing unique permissions (permissions with a fraction of 1) from one reference to another. Unlike separation logic and permission systems, we can modify objects without owning them. This has information-hiding and system-structuring benefits.
@InProceedings{MODULARITY Companion16p22,
author = {Ligia Nistor},
title = {The Modularity of Object Propositions},
booktitle = {Proc.\ MODULARITY Companion},
publisher = {ACM},
pages = {22--22},
doi = {},
year = {2016},
}
proc time: 1.05