Author

Lucas C. Cordeiro

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification

This work presents the first contract-based regression verification tool, which verifies contract soundness by proving all function versions match the behavior, and asks whether a partial, caller-sufficient contract, rather than a full behavioral specification, is enough.

Yiannis Charalambous, R. Menezes, Youcheng Sun et al. · arXiv.org · 0 citations