PLEIAD research

research:3sec

Anonymous (anonymous@undisclosed.example.com) — 2010-04-07T14:15:32+00:00

Scoping Strategies for Security * [Scheme Interpreter] * [TmpCleaner example (in the scheme-like language)] * TmpCleaner in AspectScript * [AspectJ code] * [Pointcuts list]

research:adi

Anonymous (anonymous@undisclosed.example.com) — 2012-10-26T17:34:22+00:00

One line of research within PLEIAD is the topic of Aspects, Dependencies and Interactions. Johan has been co-organiser of the ADI workshops at ECOOP 06 07 08 ---------- AO Requirements modeling in the Slot Machine Domain We have studied the expressive capabilities for aspect interactions of selected AORE approaches. Our first case study is the Slot Machine (SM) domain. This has been published as part of ACM SAC 2009 [1]. Below you will find links to the requirements for SMs and the output …

research:cordial

Anonymous (anonymous@undisclosed.example.com) — 2008-01-12T00:00:56+00:00

CORDIAL Project Concurrency, Distribution and Interactions in Aspect Languages / Funded by CONICYT and INRIA / 2008-2009 The objective of this project is to advance the state of the art in concurrent and distributed aspect-oriented programming (AOP) by leveraging the expertise of the different participants in the area of aspect-oriented programming language design, implementation, and application.

research:corea

Anonymous (anonymous@undisclosed.example.com) — 2009-09-25T16:04:27+00:00

CoReA Project CoReA: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits / Funded by Stic-AmSud / 2009-2011 Remodularization is one software approach to help evolving applications in presence of unanticipated dependencies between software artifacts. Remodularization is a task that consists in studying, evaluating and redesigning modular abstraction (such as modules, classes) for a software application.

research:cri

Anonymous (anonymous@undisclosed.example.com) — 2014-02-13T17:19:55+00:00

Compositional Reasoning About Aspect Interference Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter Accepted for publication at Modularity 2014. Abstract Oliveira and colleagues recently developed a powerful model to reason about mixin-based composition of effectful components and their interference, exploiting a wide variety of techniques such as equational reasoning, parametricity, and algebraic laws about monadic effects. This work addresses the issue of reasoning about in…

research:csec

Anonymous (anonymous@undisclosed.example.com) — 2019-07-02T23:56:07+00:00

CSEC: Certified Software Engineering in Coq The development of tools to construct software systems that respect a given specification is a major challenge of current and future research in computer science. Interactive theorem provers based on type theory, such as Coq, have shown their effectiveness to prove correctness of important pieces of software like the C compiler of the CompCert project. Certified programming with dependent types is attracting a lot of attention recently, and Coq is the…

research:dsal

Anonymous (anonymous@undisclosed.example.com) — 2010-11-03T14:23:10+00:00

This page is empty. (For a loose definition of 'empty'.) You probably want to be at instead.

research:gsf

Anonymous (anonymous@undisclosed.example.com) — 2021-02-09T19:52:51+00:00

GSF: Gradual System F Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been recently proposed, with varying syntax, behavior, and properties. Starting from a detailed review of the challenges and tensions that affect the design of gradual parametric languages, this work presents an extensive account of…

research:lascheme

Anonymous (anonymous@undisclosed.example.com) — 2011-11-07T17:48:01+00:00

LAScheme LAScheme is an aspect-oriented extension of Scheme. It is basically a slight redesign of AspectScheme (by Chris Dutchyn), with built-in. It is implemented for Racket. You can download [LAScheme]. It comes with simple examples/test cases. There is also a version of

research:mao

Anonymous (anonymous@undisclosed.example.com) — 2012-06-03T12:32:48+00:00

name suggestions: * x modules: actually, what about X-Modules? (ie. “crosscutting modules”, nice mix between XPI and Open Modules) * aspectual modules: already (rarely) used * aspect(ual) shells * aspect(ual) capsules ---------- * IIIA Examples / problems

research:mascheme

Anonymous (anonymous@undisclosed.example.com) — 2011-04-06T13:29:50+00:00

MAScheme: AspectScheme with Membranes Download [MAScheme and the examples from the paper] “Taming Aspects with Membranes”. Developed and tested under DrRacket 5.1

research:monascheme

Anonymous (anonymous@undisclosed.example.com) — 2011-12-26T18:06:42+00:00

A Practical Monadic Aspect Weaver This is the support page for our paper submitted to FOAL'12. Here you can download Monascheme, our monadic aspect weaver implemented on Racket. Download Download Monascheme 1.0 [here] Installation In the Monascheme1.0 folder, open test-suite.rkt inside DrRacket. Then, press Run to execute all the tests. The software is composed of the following files:

research:past_projects

Anonymous (anonymous@undisclosed.example.com) — 2007-10-19T00:51:12+00:00

Past Projects None of the PLEIAD projects have ended yet.

research:plomo

Anonymous (anonymous@undisclosed.example.com) — 2013-09-21T15:04:13+00:00

PLOMO: Customizable Tools and Infrastructure for Software Development and Maintenance "" An INRIA Equipe Associee between RMOD and PLEIAD, named after cerro El Plomo, the highest peak (5424 meters) that is visible from Santiago. Foto by by Thiago "James". Introduction Software maintenance is the process of maintaining a software system by removing bugs, fixing performance issues and adapting it to keep it useful and competitive in an ever-changing environment [Chik90a]. Performing effective…

research:plomo2

Anonymous (anonymous@undisclosed.example.com) — 2016-10-14T13:19:06+00:00

PLOMO2: A new generation of tools to navigate and profile programs "" An INRIA Equipe Associee between RMOD and PLEIAD, a continuation of the PLOMO Equipe Associee named after cerro El Plomo, the highest peak (5424 meters) that is visible from Santiago. Foto by by Thiago "James". Introduction

research:projects

Anonymous (anonymous@undisclosed.example.com) — 2007-07-29T04:33:34+00:00

Projects * ORION

research:publications

Anonymous (anonymous@undisclosed.example.com) — 2022-06-23T15:27:20+00:00

Publications The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not…

research:scope

Anonymous (anonymous@undisclosed.example.com) — 2011-01-07T13:35:05+00:00

As a general line of research, we are interested in permitting dynamic adaptation of programs, using different techniques. Associated to these means comes the issue of the scope of adaptation. We are therefore exploring different issues associated with scoping, in particular in aspect- and context-oriented programming. Below are the outcome of these explorations, including code artefacts when appropriate. More precisely, we have explored:

research:software

Anonymous (anonymous@undisclosed.example.com) — 2012-10-04T10:52:13+00:00

Software * Ghosts * Gradualtalk * TOD * AspectMaps * PHANtom * scope * Reflex, and related sub-projects [not supported anymore] * ReflexD * ReLAx * SOM * POM * AJP * Classboxes

research:svn

Anonymous (anonymous@undisclosed.example.com) — 2008-07-30T20:45:19+00:00

Subversion Repository Layout There are actually several separate repositories. The base URL for all repositories is . Sandbox For student projects (disposable) Incubator For PLEIAD projects that are not grown up yet. POM Source code for

research:testcoverage

Anonymous (anonymous@undisclosed.example.com) — 2011-01-20T13:04:36+00:00

Test coverage is about assessing the relevance of unit tests against the tested application. It is widely acknowledged that a software with a “good” test coverage is more robust against unanticipated execution, thus lowering the maintenance cost. However, insuring a coverage of a good quality is challenging, especially since most of the available test coverage tools do not discriminate software components that require a “strong” coverage from the components that require less attention from the u…