Tho Matricon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MSR | Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity. | Romain Robbes, Tho Matricon, Thomas Degueule, Andre Hora, Stefano Zacchiroli |
| 2026 | SAT | Sustainable Benchmarking Tool (Tool Paper). | Ashlin Iser, Marie Anastacio, Tho Matricon, Laurent Simon, Holger H. Hoos |
| 2026 | TACAS | LTL | Gabriel Bathie, Nathanal Fijalkow, Tho Matricon, Baptiste Mouillon, Pierre Vandenhove |
| 2025 | AAAI | Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis. | Tho Matricon, Nathanal Fijalkow, Guillaume Lagarde |
| 2025 | ICTAI | Prompting for Performance: Exploring LLMs for Configuring Software. | Helge Spieker, Tho Matricon, Nassim Belmecheri, Jrn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher |
| 2022 | AAAI | Scaling Neural Program Synthesis with Distribution-Based Search. | Nathanal Fijalkow, Guillaume Lagarde, Tho Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Nayan Potta |
| 2021 | CP | Statistical Comparison of Algorithm Performance Through Instance Selection. | Tho Matricon, Marie Anastacio, Nathanal Fijalkow, Laurent Simon, Holger H. Hoos |