% generated by tables/make_tables.py from /Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/informatique/wp44/literature_synthesis/agent_G/contributions.csv
\begin{longtable}{lrrrr}
\caption{Landmark candidates of the theory and software areas retained as in-scope research or survey contributions, with the contribution type judged from the abstract or metadata.}\label{tab:theory_landmarks_discussed}\\
\toprule
\textbf{Work (* = identifier mismatch)} & \textbf{Cat.} & \textbf{Year} & \textbf{Type} & \textbf{Contrib.} \\
\midrule
\endfirsthead
\toprule
\textbf{Work (* = identifier mismatch)} & \textbf{Cat.} & \textbf{Year} & \textbf{Type} & \textbf{Contrib.} \\
\midrule
\endhead
A Dynamic Survey of Graph Labeling & Algo. & 2022 & article & survey \\
Targeted Branching for the Maximum Indepe\dots * & Algo. & 2024 & article & engineering \\
Fast Kd-Trees for the Kullback-Leibler Di\dots * & Algo. & 2025 & conf. & method \\
Multiresource-Constrained Flexible Job Sh\dots & Algo. & 2026 & article & method \\
Machine Learning in Compiler Optimization & Comp. & 2018 & article & survey \\
A Survey on Compiler Autotuning using Mac\dots & Comp. & 2018 & article & survey \\
Automated Code Generation for Maximizing\dots & Comp. & 2018 & chapter & engineering \\
Tiramisu: A Polyhedral Compiler for Expre\dots & Comp. & 2019 & conf. & engineering \\
ExaStencils: Advanced Multigrid Solver Ge\dots & Comp. & 2020 & chapter & engineering \\
MLIR: Scaling Compiler Infrastructure for\dots & Comp. & 2021 & conf. & engineering \\
LLM4VV: Developing LLM-driven testsuite f\dots & Comp. & 2024 & article & benchmark \\
LLM Compiler: Foundation Language Models\dots & Comp. & 2025 & conf. & engineering \\
The Reachability Problem for Petri Nets I\dots & Compl. & 2019 & conf. & theory \\
Solving SAT by restricted spiking neural\dots & Compl. & 2026 & article & theory \\
Efficient Formal Safety Analysis of Neura\dots & FV & 2018 & preprint & method \\
The Marabou Framework for Verification an\dots & FV & 2019 & conf. & engineering \\
An abstract domain for certifying neural\dots & FV & 2019 & article & method \\
VerX: Safety Verification of Smart Contracts & FV & 2020 & conf. & method \\
cvc5: A Versatile and Industrial-Strength\dots & FV & 2022 & conf. & engineering \\
Exploiting Generative AI to Scale up Inte\dots * & FV & 2023 & article & engineering \\
Leveraging Answer Set Programming for Con\dots * & FV & 2024 & preprint & method \\
State of the Art in Software Verification\dots & FV & 2024 & conf. & benchmark \\
Reward Interfaces with Best-Effort Implem\dots & FV & 2026 & article & theory \\
ZEUS: Analyzing Safety of Smart Contracts & PL & 2018 & conf. & method \\
Enhancing Static Analysis for Practical B\dots & PL & 2024 & article & method \\
WhiteFox: White-Box Compiler Fuzzing Empo\dots & PL & 2024 & article & method \\
Engenharia de Software & SE & 2018 & article & survey \\
Mutation Testing Advances: An Analysis an\dots & SE & 2018 & chapter & survey \\
Machine Learning Testing: Survey, Landsca\dots & SE & 2020 & article & survey \\
A Direction-Aware Study of LLM-Based Code\dots * & SE & 2021 & preprint & empirical \\
The Astropy Project : Sustaining and Grow\dots & SE & 2022 & article & engineering \\
Software Testing With Large Language Mode\dots & SE & 2024 & article & survey \\
Detecting Functionality-Specific Vulnerab\dots * & SE & 2025 & conf. & method \\
On Assessing ML Model Robustness: A Metho\dots * & SE & 2025 & conf. & engineering \\
Can Open Large Language Models Catch Vuln\dots & SE & 2025 & article & empirical \\
The Effects of Generative AI on High-Skil\dots & SE & 2026 & article & empirical \\
MSTDP: a multi-scale temporal deep learni\dots & SE & 2026 & article & method \\
\bottomrule
\multicolumn{5}{p{0.95\linewidth}}{\footnotesize Contribution types follow the protocol (theory, method, empirical, benchmark, engineering, survey). * = identifier mismatch as in Table~\ref{tab:theory_landmark_audit}. Titles are shortened.}\\
\end{longtable}