AutoSOUP automates component-level memory-safety verification by generating Safety-Oriented Unit Proofs via three techniques and a hybrid LLM-plus-program-synthesis architecture called LLM-As-Function-Call.
In: 26th IEEE/ACM Interna- tional Conference on Automated Software Engineering, ASE 2011
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 2polarities
background 2representative citing papers
Extends QuAK with flattening procedures that reduce nested quantitative automata to quantitative automata while preserving answers to threshold decision problems for known decidable cases.
citing papers explorer
-
AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
AutoSOUP automates component-level memory-safety verification by generating Safety-Oriented Unit Proofs via three techniques and a hybrid LLM-plus-program-synthesis architecture called LLM-As-Function-Call.
-
Extending QuAK with Nested Quantitative Automata
Extends QuAK with flattening procedures that reduce nested quantitative automata to quantitative automata while preserving answers to threshold decision problems for known decidable cases.