LIFO - Bâtiment IIIA
Rue Léonard de Vinci
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
3D4J is a java librairy that allows a 3D spatial placement of objects.
The Agape library is an open source Java implementation of
exponential or parametrized graph algorithms of the
literature and developed during the French ANRAgape.
CFI-C is a set of python programs that helps to inject control flow
countermeasures into a C source code. These countermeasures enforce
the flow of execution of the program and can defeat any jump attack of
2 C lines that would disrupt the normal flow of execution.
Contemplata is a web-based annotation tool developed specifically for the purpose of the Temporal@ODIL project. The ultimate goal of this project is to annotate a portion of the ANCOR spoken French corpus with semantic (more precisely, temporal) information. To this end, Contemplata allows:
Explorer-3D is a vizualization tool under development within the Contraint and Learning Project. Explorer-3D aims at using a 3-D space to vizualize and parameterize distances (or dissimilarities). Authors : Lionel Martin and Matthieu Exbrayat.
GroddDroid is a framework for executing automatically malware on a
smartphone, triggering its user interface. It also detects suspicious
parts of the code and try to force unseen branches of execution in
order to try to force the execution of the suspicious code. This way,
Grodddroid helps to trigger the malicious behavior of the studied
malware. GroddDroid, a reference to the gorilla with psychic abilities,
is a free software available on the web site of the Kharon project.
HGraph is a time series visualization tool.
Among other functionalities, it allows the discretization of continuous data and frequent pattern mining.
BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
SaIL stands for SAfe Interactive Language. It aims at improving safety in Reactive Domain Specific Languages. The long term objectives are: safe, garbage collection free, memory handling with an ownership type system, efficient parallel scheduling of memory independent processes, program proof support.
Systematic Development of Program for Parallel and Cloud Computing is a set of libraries for the Coq proof assistant to support the derivation of functional parallel programs from specifications. These libraries
were developed in collaboration with colleagues of Université Paris-Est, Kyushu Institute of Technology and National Institute of Informatics (Japan). Currently, they are developed by the LMV team at LIFO.
WhyBSML is a set of WhyML modules (the langage of Why3) that formalize the BSML primitives and that use this formalization to implement and verify parallel functions. Compilable OCaml and BSML code can be extracted from WhyBSML and run on parallel machines.
Three different versions of a refinement method for service composition.
The approach: an automatic selection task,
guided by quantified indicators (obtained as results of the recommendation routine),
allows the construction of solutions adapted to each user.
Our refinement routine renders possible to translate abstract specifications into concrete ones.
An algorithm is used to find a combination of concrete services to implement the functionality defined by the higher-level specification.
MapFIM (Memory Aware parallelized Frequent Itemset Mining In Very Large Datasets) est un programme pour l'extraction des motifs fréquents dans de grandes masses de données dans un environnement Hadoop: Ce programme a été développé dans le cadre du projet: APRIA-GIRAFON.
Implementation of several Markov Logic Network algorithm (T. H. Dinh's Ph.D.), relying on the alchemy library.
This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.
OSL is a C++ library of data-parallel algorithmic skeletons on top of MPI.
A Data Mining tool for mining Quantitative Association Rules
Authors: Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet, Xiangrong Kong, Vivek Rathod, and Daniel Cassard.
Institutions: CCLS Columbia University (USA), LIFO University of Orléans (France), BRGM (France)
QuantMiner for Mining Quantitative Association Rules.
A. Salleb-Aouissi, C. Vrain, C. Nortet, X. Kong, V. Rathod, D. Cassard
JMLR Journal of Machine Learning Research, Open Source Software
Net Juggler : a single image VR juggler cluster
We developped Net Juggler, a software laying on top of VR Juggler. Net Juggler turns a cluster where each node supports VR Juggler into a single VR Juggler image machine. In other words, from the user's point of view it (almost) does not make any difference to run a VR Juggler application on a cluster, a single PC or a SGI Onyx (from the operational point of view and not from the performance point of view).
Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).
SteganoCC is a set of programs that helps to experiment with covert
channels between two Android colluding applications. Additionally, it
also provides a way to collect energy measurements for all Android
processes using a modified version of PowerTutor.
TAJA (Tree Automata in JAva) is a graphical tool that allows main operations on finites automatas of tree tuples.
TTSLI (Tree Tuple Synchronised Languages Implementation) is a non-graphical tool for manipulating tree synchronized language grammars.
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). ohan Boichut participates to its development with the Inria team Celtique.
Vitamins (Visual and In Situ Analytics for Molecular Interactive Simulation) is an open source framework for the analysis and visualisation of large molecular dynamics trajectories directly acquired in-situ while the simulation is running, or read from files. It is developed in collaboration with all the partners of the ANR ExaviZ project.
XMG (eXtensible MetaGrammar) is a compiler whose aim is to ease the development of large linguistics resources.
XMLCorrector is an implementation of an algorithm allowing to correct an XML document with respect to schema constraints expressed as a DTD. It is developed by members of the LI of Tours and the LIFO. It is distributed under the LGPL license.