Explore projects

Control of accuracy and debugging for C/C++ and Fortran applications

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

The bulk of the code developed during my PhD thesis « Efficient multiword matrix product algorithm using floating-point arithmetic over finite prime fields » (not yet defended/nor published).

ATEM is a novel framework for studying topic evolution in scientific archives. ATEM is based on dynamic topic modeling and dynamic graph embedding techniques that explore the dynamics of content and citations of documents within a scientific corpus. ATEM explores a new notion of contextual emergence for the discovery of emerging interdisciplinary research topics based on the dynamics of citation links in topic clusters. Our experiments show that ATEM can efficiently detect emerging cross-disciplinary topics within the DBLP archive of over five million computer science articles. paper: https://arxiv.org/abs/2306.02221