1% generated by tables/make_tables.py from /Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/informatique/wp44/literature_synthesis/agent_G/contributions.csv2\begin{longtable}{lrrrr}3\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}\\4\toprule5\textbf{Work (* = identifier mismatch)} & \textbf{Cat.} & \textbf{Year} & \textbf{Type} & \textbf{Contrib.} \\6\midrule7\endfirsthead8\toprule9\textbf{Work (* = identifier mismatch)} & \textbf{Cat.} & \textbf{Year} & \textbf{Type} & \textbf{Contrib.} \\10\midrule11\endhead12A Dynamic Survey of Graph Labeling & Algo. & 2022 & article & survey \\13Targeted Branching for the Maximum Indepe\dots * & Algo. & 2024 & article & engineering \\14Fast Kd-Trees for the Kullback-Leibler Di\dots * & Algo. & 2025 & conf. & method \\15Multiresource-Constrained Flexible Job Sh\dots & Algo. & 2026 & article & method \\16Machine Learning in Compiler Optimization & Comp. & 2018 & article & survey \\17A Survey on Compiler Autotuning using Mac\dots & Comp. & 2018 & article & survey \\18Automated Code Generation for Maximizing\dots & Comp. & 2018 & chapter & engineering \\19Tiramisu: A Polyhedral Compiler for Expre\dots & Comp. & 2019 & conf. & engineering \\20ExaStencils: Advanced Multigrid Solver Ge\dots & Comp. & 2020 & chapter & engineering \\21MLIR: Scaling Compiler Infrastructure for\dots & Comp. & 2021 & conf. & engineering \\22LLM4VV: Developing LLM-driven testsuite f\dots & Comp. & 2024 & article & benchmark \\23LLM Compiler: Foundation Language Models\dots & Comp. & 2025 & conf. & engineering \\24The Reachability Problem for Petri Nets I\dots & Compl. & 2019 & conf. & theory \\25Solving SAT by restricted spiking neural\dots & Compl. & 2026 & article & theory \\26Efficient Formal Safety Analysis of Neura\dots & FV & 2018 & preprint & method \\27The Marabou Framework for Verification an\dots & FV & 2019 & conf. & engineering \\28An abstract domain for certifying neural\dots & FV & 2019 & article & method \\29VerX: Safety Verification of Smart Contracts & FV & 2020 & conf. & method \\30cvc5: A Versatile and Industrial-Strength\dots & FV & 2022 & conf. & engineering \\31Exploiting Generative AI to Scale up Inte\dots * & FV & 2023 & article & engineering \\32Leveraging Answer Set Programming for Con\dots * & FV & 2024 & preprint & method \\33State of the Art in Software Verification\dots & FV & 2024 & conf. & benchmark \\34Reward Interfaces with Best-Effort Implem\dots & FV & 2026 & article & theory \\35ZEUS: Analyzing Safety of Smart Contracts & PL & 2018 & conf. & method \\36Enhancing Static Analysis for Practical B\dots & PL & 2024 & article & method \\37WhiteFox: White-Box Compiler Fuzzing Empo\dots & PL & 2024 & article & method \\38Engenharia de Software & SE & 2018 & article & survey \\39Mutation Testing Advances: An Analysis an\dots & SE & 2018 & chapter & survey \\40Machine Learning Testing: Survey, Landsca\dots & SE & 2020 & article & survey \\41A Direction-Aware Study of LLM-Based Code\dots * & SE & 2021 & preprint & empirical \\42The Astropy Project : Sustaining and Grow\dots & SE & 2022 & article & engineering \\43Software Testing With Large Language Mode\dots & SE & 2024 & article & survey \\44Detecting Functionality-Specific Vulnerab\dots * & SE & 2025 & conf. & method \\45On Assessing ML Model Robustness: A Metho\dots * & SE & 2025 & conf. & engineering \\46Can Open Large Language Models Catch Vuln\dots & SE & 2025 & article & empirical \\47The Effects of Generative AI on High-Skil\dots & SE & 2026 & article & empirical \\48MSTDP: a multi-scale temporal deep learni\dots & SE & 2026 & article & method \\49\bottomrule50\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.}\\51\end{longtable}52