Publications

Publications HAL de Emeraude de la structure 1096266

2025

Journal articles

titre
On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows
auteur
Omar Rifki, Christine Solnon
article
Journal of Artificial Intelligence Research, 2025, 82, pp.2167-2188. ⟨10.1613/jair.1.18334⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05016544/file/paper.pdf BibTex
titre
Spanning-tree based coverage for a tethered robot
auteur
Xiao Peng, François Schwarzentruber, Olivier Simonin, Christine Solnon
article
IEEE Robotics and Automation Letters, In press, pp.1-8
Accès au texte intégral et bibtex
https://hal.science/hal-04877205/file/ral_final_version.pdf BibTex
titre
Peut-on remplacer le raisonnement humain par des algorithmes ?
auteur
Christine Solnon
article
La Recherche, 2025, 580
Accès au texte intégral et bibtex
https://hal.science/hal-04881777/file/chro-jan2025.pdf BibTex

Conference papers

titre
A new Constraint Programming model for the Multiple Constant Multiplication
auteur
Théo Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova
article
ModRef 2025 – 24th workshop on Constraint Modelling and Reformulation, Aug 2025, Glasgow, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-05251229/file/ModRef2025_4_A_new_Constraint_Programming.pdf BibTex
titre
BFS-Based Canonical Codes for Generating Graphs with Constraint Programming
auteur
Xiao Peng, Christine Solnon
article
31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.CP.2025.41⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05104512/file/main.pdf BibTex
titre
RETROSPECTIVE: Table-based polynomials for fast hardware function evaluation
auteur
Florent de Dinechin
article
ASAP 2025 – 36th IEEE International Conference on Application-specific Systems, Architectures and Processors, Jul 2025, Vancouver (British Columbia), Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05139896/file/2025-ASAP-RetroHOTBM.pdf BibTex
titre
All Together Now: A Synchronous Platform for Distributed Spatial Audio
auteur
Thomas Rushton, Romain Michon, Tanguy Risset
article
22nd Sound and Music Computing Conference (SMC2025), Jul 2025, Graz, Austria. ⟨10.5281/zenodo.15838463⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05209243/file/417_SMC25_proceedings_with_concerts.pdf BibTex
titre
Real-Time Musical Instruments Recognition for Scenography Purposes
auteur
Hugues Kadi, Mathis Devidal, Romain Michon, Johan Erbani
article
Linux Audio Conference 2025, Jun 2025, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-05096057/file/15.pdf BibTex
titre
The Space Bar: An Embedded WFS Sound System
auteur
Benjamin Quiédeville, Romain Michon, Tanguy Risset, Stéphane Letz
article
JIMLAC 2025 – Journées de l’Informatique Musicale, GRAME; Inria, Jun 2025, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-05102322/file/7.pdf BibTex
titre
Hardware Fixed-Point 2D and 3D norms
auteur
Romain Bouarah, Florent de Dinechin
article
32nd IEEE International Symposium on Computer Arithmetic – ARITH 2025, May 2025, El Paso, Texas, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04986776/file/2025-Arith-Norms.pdf BibTex
titre
Double-Word Decomposition in a Combined FP16, BF16 and FP32 Dot Product Add Operator
auteur
Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin
article
ARITH 2025 – IEEE 32nd International Symposium on Computer Arithmetic, May 2025, El-Paso, Texas, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04982397/file/Desrentes2025_Double-Word_Decomposition_in_a_Combined_FP16_BF16_and_FP32_Dot_Product_Add_Operator.pdf BibTex
titre
Enseigner les enjeux sociétaux et environnementaux des algorithmes à travers un outil de navigation routière
auteur
Odile Bellenguez, Nadia Brauner, Christine Solnon, Alexis Tsoukias
article
ROADEF 2025 : 26ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2025, Champs sur Marme, France
Accès au texte intégral et bibtex
https://hal.science/hal-05006132/file/WazeRoadef.pdf BibTex
titre
Anytime and exact search for planning problems
auteur
Christine Solnon
article
31st International Conference on Principles and Practice of Constraint Programming (CP 2025), 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.CP.2025.2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05104519/file/lipics-v2021-sample-article.pdf BibTex

Book sections

titre
Le calcul, une histoire de femmes
auteur
Christine Solnon
article
Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS Editions, 2025, 978-2-271-15374-6
Accès au texte intégral et bibtex
https://hal.science/hal-04996437/file/chapitre-livre-calcul%20%281%29.pdf BibTex

Poster communications

titre
Towards Multi-Level Arithmetic Optimizations
auteur
Pierre Cochard, Luc Forget, Florent de Dinechin, Louis Ledoux
article
EuroLLVM 2025 –, Apr 2025, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-05063466/file/2025-eurollvm.pdf BibTex

Proceedings

titre
Proceedings of the 32nd Journées d’Informatique Musicale
auteur
Paul Goutmann, Romain Michon, Stéphane Letz
article
Journées d’Informatique Musicale, Jun 2025, Lyon, France. 2025, 978-2-9597911-1-6
Accès au texte intégral et bibtex
https://hal.science/hal-05168345/file/jim25_proceedings.pdf BibTex
titre
Proceedings of the 19th Linux Audio Conference
auteur
Romain Michon, Pierre Lecomte
article
Proceedings of the 19th Linux Audio Conference, Jun 2025, Lyon, France. 2025, 978-2-9597911-2-3
Accès au texte intégral et bibtex
https://hal.science/hal-05194352/file/proceedings.pdf BibTex

Preprints, Working Papers, …

titre
Towards optimal reconfigurable constant multipliers
auteur
Bastien Barbe, Xiao Peng, Anastasia Volkova, Florent de Dinechin
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05094796/file/2025-DSD-RSCM.pdf BibTex
titre
Enseigner les enjeux éthiques, sociétaux et environnementaux des algorithmes à travers une étude de cas
auteur
Odile Bellenguez, Nadia Brauner, Christine Solnon, Alexis Tsoukias
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05046104/file/Plus_court_chemin_ethique.pdf BibTex

2024

Journal articles

titre
Networked microcontrollers for accessible, distributed spatial audio
auteur
Thomas Albert Rushton, Romain Michon, Stefania Serafin, Tanguy Risset, Stéphane Letz
article
Frontiers in Virtual Reality, 2024, Interactive Audio Systems and Artefacts within Extended Reality: Innovation, Creativity and Accessibility, 5, ⟨10.3389/frvir.2024.1391987⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04782498/file/pdf.pdf BibTex
titre
Nos écrans : manipulation, addiction et remède
auteur
Christine Solnon
article
La Recherche, 2024, 579
Accès au texte intégral et bibtex
https://hal.science/hal-04709429/file/chro-oct2024.pdf BibTex

Conference papers

titre
What’s New in the Faust Ecosystem in 2024?
auteur
Stéphane Letz, Romain Michon, Yann Orlarey
article
IFC 2024 – 4th International Faust Conference, Nov 2024, Turin (Italie), Italy. pp.27-33
Accès au texte intégral et bibtex
https://hal.science/hal-04771638/file/IFC24-Faust-ecosystem.pdf BibTex
titre
Widget Modulation in FAUST
auteur
Yann Orlarey, Stéphane Letz, Romain Michon
article
International Faust Conference, Nov 2024, Turin, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04762253/file/IFC24-modulation-2columns.pdf BibTex
titre
Differentiable DSP in Faust
auteur
Thomas Albert Rushton
article
IFC 2024 – 4th International Faust Conference, Nov 2024, Turin, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04849619/file/1.pdf BibTex
titre
Ethernet Real-time Audio Transmission to FPGA
auteur
Pierre Cochard, Jurek Weber, Romain Michon, Tanguy Risset, Stéphane Letz
article
5th IEEE International Symposium on the Internet of Sounds, Sep 2024, Erlangen, Germany. pp.1-7, ⟨10.1109/IS262782.2024.10704104⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04726156/file/ios2024.pdf BibTex
titre
Enabling Affordable and Scalable Audio Spatialization With Multichannel Audio Expansion Boards for FPGA
auteur
Maxime Popoff, Romain Michon, Tanguy Risset
article
Proceedings of the 2024 Sound and Music Computing Conference (SMC-24), Jul 2024, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-04714557/file/SMC2024_paper_id96.pdf BibTex
titre
Programming FPGA Platforms for Real-Time Audio Signal Processing In C++
auteur
Pierre Cochard, Maxime Popoff, Romain Michon, Tanguy Risset
article
Proceedings of the 2024 Sound and Music Computing Conference (SMC-24), Jul 2024, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-04714563/file/SMC2024_paper_id67.pdf BibTex
titre
Towards Fixed-Point Formats Determination for Faust Programs
auteur
Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey, Anastasia Volkova
article
Journées d’Informatique Musicale 2024, May 2024, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04489647/file/herrou-faust-fixed-point.pdf BibTex
titre
A Bare Minimal Computer for Everyone
auteur
Lucas Chaloyard, Florent de Dinechin, Marie-Pierre Escudié, Lionel Morel
article
Undone Computer Science 2024, Université de Nantes; Inria; LORIA Université de Lorraine, Feb 2024, Nantes, France
Accès au texte intégral et bibtex
https://hal.science/hal-05080177/file/undone.pdf BibTex

Books

titre
Application-Specific Arithmetic
auteur
Florent de Dinechin, Martin Kumm
article
Springer International Publishing, 2024, 978-3-031-42808-1. ⟨10.1007/978-3-031-42808-1⟩
Accès au bibtex
BibTex

Proceedings

titre
Proceedings of the 4th International Faust Conference
auteur
Romain Michon, Stéphane Letz, Francesco Mulassano
article
Proceedings of the 4th International Faust Conference, 2024, 978-2-9597911-0-9
Accès au texte intégral et bibtex
https://hal.science/hal-04846518/file/proceedings.pdf BibTex

Reports

titre
Open Source Ethernet Real-time Audio Transmission to FPGA
auteur
Pierre Cochard, Jurek Weber, Romain Michon, Tanguy Risset, Stephane Letz
article
RR-9542, INRIA. 2024, pp.16
Accès au bibtex
BibTex

Theses

titre
Compilation of real-time audio DSP on FPGA
auteur
Maxime Popoff
article
Embedded Systems. INSA de Lyon, 2024. English. ⟨NNT : 2024ISAL0128⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-05033875/file/these.pdf BibTex

Preprints, Working Papers, …

titre
Activations in Low Precision with High Accuracy
auteur
Tom Hubrecht, Orégane Desrentes, Florent de Dinechin
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04776745/file/2025-ALPHA.pdf BibTex

2023

Conference papers

titre
Hardware-optimal digital FIR filters: one ILP to rule them all and in faithfulness bind them
auteur
Anastasia Volkova, Rémi Garcia, Florent de Dinechin, Martin Kumm
article
2023 Asilomar Conference on Signals, Systems, and Computers, Oct 2023, Asilomar, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04398268/file/HarwareOptimalFilters.pdf BibTex
titre
In-Place Multicore SIMD Fast Fourier Transforms
auteur
Benoît Dupont de Dinechin, Julien Hascoet, Orégane Desrentes
article
HPEC 2023 – 27th Annual IEEE High Performance Extreme Computing Virtual Conference, Sep 2023, Virtual conference, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04240798/file/HPEC2023.pdf BibTex
titre
Exact Dot Product Accumulate Operators for 8-bit Floating-Point Deep Learning
auteur
Orégane Desrentes, Benoît Dupont de Dinechin, Julien Le Maire
article
DSD/SEAA 2023 – 26th Euromicro Conference Series on Digital System Design, Sep 2023, Durres, Albania
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04240816/file/DSD2023-5.pdf BibTex
titre
Exact Fused Dot Product Add Operators
auteur
Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin
article
2023 ARITH – 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland, OR, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04240762/file/ARITH2023.pdf BibTex
titre
Towards High Sampling Rate Sound Synthesis On FPGA
auteur
Romain Michon, Julien Sourice, Victor Lazzarini, Joseph Timoney, Tanguy Risset
article
Proceedings of the 2023 Digital Audio Effects Conference (DAFx23), Aalborg University, Sep 2023, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04252407/file/DAFx23_sigmadelta%20%281%29.pdf BibTex
titre
Audio DSP to FPGA Compilation
auteur
Maxime Popoff, Romain Michon, Tanguy Risset, Pierre Cochard, Stephane Letz, Yann Orlarey, Florent de Dinechin
article
International Conference on Application-specific Systems, Architectures and Processors (ASAP 2023), Jul 2023, Porto, Portugal. pp.31-33, ⟨10.1109/ASAP57973.2023.00018⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04414324/file/asapShort2023.pdf BibTex
titre
A Programmable Linux-Based FPGA Platform for Audio DSP
auteur
Pierre Cochard, Maxime Popoff, Antoine Fraboulet, Tanguy Risset, Stéphane Letz, Romain Michon
article
Sound and Music Computing Conference, Royal College of Music and KTH Royal Institute of Technology, Jun 2023, Stockholm, Sweden. pp.110-116
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04394035/file/110-116_Cochard_et_al_SMC2023_proceedings.pdf BibTex
titre
A Microcontroller-Based Network Client Towards Distributed Spatial Audio
auteur
Thomas Albert Rushton, Romain Michon, Stéphane Letz
article
Proceedings of the 2023 Sound and Music Computing Conference (SMC-23), Jun 2023, Stockholm, Sweden
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04169238/file/jacktrip_teensy_report%20%284%29.pdf BibTex
titre
Making Frugal Spatial Audio Systems Using Field-Programmable Gate Arrays
auteur
Romain Michon, Joseph Bizien, Maxime Popoff, Tanguy Risset
article
Proceedings of the 2023 New Interfaces for Musical Expression Conference (NIME-23), May 2023, Mexico City, Mexico
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04169228/file/NIME_23%20%284%29.pdf BibTex

Reports

titre
Audio DSP to FPGA Compilation: The Syfala Toolchain Approach
auteur
Maxime Popoff, Romain Michon, Tanguy Risset, Pierre Cochard, Stephane Letz, Yann Orlarey, Florent de Dinechin
article
RR-9507, Univ Lyon, INSA Lyon, Inria, CITI, Grame, Emeraude. 2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04099135/file/RR-9507%20%282%29.pdf BibTex

Theses

titre
Description and compilation of ad-hoc arithmetic operators in the context of High-Level Synthesis
auteur
Luc Forget
article
Hardware Architecture [cs.AR]. INSA de Lyon, 2023. English. ⟨NNT : 2023ISAL0046⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04344643/file/these.pdf BibTex

2022

Journal articles

titre
Computer Arithmetic: Continuing a Long and Steady Emergence
auteur
Paolo Montuschi, Jean-Michel Muller, Florent de Dinechin
article
Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03806577/file/2022-spotlight_03.pdf BibTex

Conference papers

titre
Using integer linear programming for correctly rounded multipartite architectures
auteur
Orégane Desrentes, Florent de Dinechin
article
FPT 2022 – International Conference on Field Programmable Technology, Dec 2022, Hong Kong, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03844218/file/2022-mpt-ilp.pdf BibTex
titre
Resource Optimal Squarers for FPGAs
auteur
Andreas Böttcher, Martin Kumm, Florent de Dinechin
article
International Conference on Field-Programmable Logic and Applications (FPL), Aug 2022, Belfast, United Kingdom. ⟨10.1109/FPL57034.2022.00018⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03922311/file/2022-FPL-Squarers.pdf BibTex
titre
Low-precision logarithmic arithmetic for neural network accelerators
auteur
Maxime Christ, Florent de Dinechin, Frédéric Pétrot
article
33rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2022), IEEE, Jul 2022, Gothenburg, Sweden. ⟨10.1109/ASAP54787.2022.00021⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03684585/file/LNSNeuron_asap2022.pdf BibTex
titre
Modernized Toolchains to Create JSPatcher Objects and WebAudioModules from Faust Code
auteur
Shihong Ren, Stéphane Letz, Yann Orlarey, Dominique Fober, Romain Michon, Michel Buffa, Laurent Pottier
article
WAC 2022 – 7th International Web Audio Conference, Jul 2022, Cannes, France. ⟨10.5281/zenodo.6767596⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03812938/file/WAC_2022_paper_14%20%282%29.pdf BibTex
titre
A single-source C++20 HLS flow for function evaluation on FPGA and beyond
auteur
Luc Forget, Gauthier Harnisch, Ronan Keryell, Florent de Dinechin
article
HEART 2022 – 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, Jun 2022, Tsukuba, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03684757/file/2022_HEART_HLS_FixFunction.pdf BibTex
titre
Automatically generating eurorack hardware running faust programs using eurorack-blocks
auteur
Raphaël Dingé, Stéphane Letz
article
IFC 22 – International Faust Conference, Jun 2022, Saint-Etienne, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03805327/file/IFC22-eurorack-blocks.pdf BibTex
titre
What’s new in the faust ecosystem and community?
auteur
Stéphane Letz, Romain Michon, Yann Orlarey
article
IFC 22 – International Faust Conference, Jun 2022, Saint-Etienne, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03805304/file/IFC22-Faust-ecosystem.pdf BibTex
titre
Towards an FPGA-Based Compilation Flow for Ultra-Low Latency Audio Signal Processing
auteur
Maxime Popoff, Romain Michon, Tanguy Risset, Yann Orlarey, Stéphane Letz
article
SMC-22 – Sound and Music Computing, Jun 2022, Saint-Étienne, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03805199/file/smc2022template.pdf BibTex
titre
A Posit8 Decompression Operator for Deep Neural Network Inference
auteur
Orégane Desrentes, Diana Resmerita, Benoît Dupont de Dinechin
article
CoNGA 2022 – Third International Conference on Next Generation Arithmetic, Mar 2022, Singapore, France. pp.14-30, ⟨10.1007/978-3-031-09779-9_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04240741/file/A_Posit8_Decompression_Operator_for_Neural_Networks_Inference-1.pdf BibTex

Proceedings

titre
Proceedings of the 19th Sound and Music Computing Conference
auteur
Romain Michon, Laurent Pottier, Yann Orlarey
article
SMC Network, 2022, 978-2-9584126-0-9
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03927188/file/proceedings.pdf BibTex

Reports

titre
A Formal Model of Interrupt-based Checkpointing with Peripherals
auteur
Pierre-Evariste Dagand, Gautier Berthou, Delphine Demange, Tanguy Risset
article
[Research Report] IRIF; IRISA; INSA RENNES. 2022, pp.1-36
Accès au texte intégral et bibtex
https://hal.science/hal-03557760/file/lctes2020.pdf BibTex