Tools

C++ implementation of xDIC: 2D digital image correlation (DIC) analysis developed for neuroscientific applications (full-field displacement and strain measurement from image sequences). Continuously developed at INMA/UCLouvain.

• GitHub

Fast 2D digital image correlation software in C++ (Ncorr-style algorithms), companion of CPPxDIC for high-throughput neuroscience imaging pipelines.

• GitHub

Pluginizable testing environment for network protocols: formal specification (Ivy), reproducible network simulation (Shadow), YAML-driven workflows and a stateful fuzzer plugin. Used to discover and reproduce QUIC vulnerabilities.

• GitHub
• Paper

Control-system problem solver (abstraction-based control of hybrid/nonlinear systems) developed at UCLouvain. I contribute to the optimization and solver side.

• Documentation
• GitHub

OscaR — CP4DM constraints

Global constraints for pattern mining in the OscaR constraint solver: PPIC/PPICt (sequential patterns, with time constraints), CoverSize (frequent itemsets), EpisodeSupport (episode mining) and PRL (probabilistic rule lists). Executables and demos on the CP4DM site.

• CP4DM
• Code

Domain-specific language for pattern-set mining problems: describe the network, its parameters and the loss function computed on the data, then compile it to Boolean circuits.

• Paper

Generate structured conference programmes from paper submissions, topic preferences, room/chair resources and scheduling constraints (with optional SBERT paper–topic similarity). pip install conf-program-manager

• PyPI
• GitHub