Explore projects

JNI Mapping DSL (Xtext-based).

A simple program to test information extract on different tools

Experimental developments for Corese.

AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.

AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.

Development of methods and algorithms to mine "interesting" numerical rules from datasets containing numerical and symbolic attributes.

Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)

This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.

Dynamic Layer Compositing for Interactive Geovisualization

Before-and-after Satellite Image Animation

Mining intuitive referring expressions on knowledge bases

Artifact repository for the TOPLAS article pertaining to the THEMIS tool.