Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Software development at LIFO

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Software development at LIFO

3D4J

3D4J is a java librairy that allows a 3D spatial placement of objects.
https://www.univ-orleans.fr/lifo/software/3D4J/

Agape

The Agape library is an open source Java implementation of exponential or parametrized graph algorithms of the literature and developed during the French ANRAgape.
https://www.univ-orleans.fr/lifo/software/Agape.tar.gz

CFI-C

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.
http://cfi-c.gforge.inria.fr/

Contempla

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:

  • Merging/splitting speech turns into syntactically coherent units,
  • selected expressions, uninteresting from the semantic point of view (e.g., social obligations-related expressions)
  • Correcting constituency trees, obtained with a syntactic parser plugged into Contemplata (it can be thus used as a purely syntactic annotation tool, regardless of its temporal annotation functionalities),
  • Annotating temporal entities on top of the syntactic structures,
  • Linking the entities with temporal relations.

https://github.com/kawu/contemplata

Explorer-3D

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.
https://www.univ-orleans.fr/lifo/software/Explorer3D/

GroddDroid

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.
http://kharon.gforge.inria.fr/grodddroid.html

HGraph

HGraph is a time series visualization tool. Among other functionalities, it allows the discretization of continuous data and frequent pattern mining.
https://www.univ-orleans.fr/lifo/software/HGraph/

LMV: Bulk Synchronous Parallel ML (BSML)

BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
https://bsml-lang.github.io

LMV: SaIL

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.
https://github.com/sail-pl/SAIL

LMV: SyDPaCC

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.
https://sydpacc.github.io

LMV: WhyBSML

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.
https://whybsml.github.io

LOIR, POTI and WALO

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.
https://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/mi2-software.html

MapFIM

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.
https://www.univ-orleans.fr/lifo/software/MapFIM/

MLNLibs

Implementation of several Markov Logic Network algorithm (T. H. Dinh's Ph.D.), relying on the alchemy library.
https://www.univ-orleans.fr/lifo/software/MLNLibs/

Near-factorizations finder

This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.

OSL - Orleans Skeleton Library

OSL is a C++ library of data-parallel algorithmic skeletons on top of MPI.
https://traclifo.univ-orleans.fr/OSL/

QuantMiner

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) Reference : 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
http://quantminer.github.io/QuantMiner/

Scalable High Performance Virtual Reality

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).
http://netjuggler.sourceforge.net/

SIGMiner

Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).

SkelGIS


https://www.univ-orleans.fr/lifo/Members/Helene.Coullon/softwares.php

SteganoCC

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.
http://steganocc.gforge.inria.fr/

TAJA/TTSLI

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.
https://www.univ-orleans.fr/lifo/Members/rety/logiciels/taja.php

Timbuk

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.
http://www.irisa.fr/celtique/genet/timbuk/

Vitamins

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.
http://vitamins.gforge.inria.fr

XMG

XMG (eXtensible MetaGrammar) is a compiler whose aim is to ease the development of large linguistics resources.
https://github.com/spetitjean/XMG-2

XMLCorrector

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.
http://www.info.univ-tours.fr/~savary/software.php