A list of projects to which I contribute:

  • Floacon: A web-based floating-point converter and explorer.
  • PRISM: Probabilistic Rounding with Instruction Set Management. A vectorized implementation of Stochastic Rounding compatible with Verificarlo
  • ReproVIP: To evaluate and improve the reproducibility of scientific results in the field of medical imaging
  • LivingPark: To improve the generalizability and robustness of MRI-derived biomarkers of Parkinson’s Disease
  • Interflop: Modular and scalable platform to analyze floating-point arithmetic
  • PyTracer: A tool for evaluating numerical stability of Python codes
  • Significantdigits: A robust framework for statistical analysis of stochastic arithmetic
  • Fuzzy: A Python ecosystem for evaluating the numerical stability
  • VeriTracer: A context-enriched tracer for floating-point arithmetic analysis
  • Verificarlo: A tool for automatic Montecarlo Arithmetic analysis
  • CERE: Codelet Extractor and REplayer