End-to-end verification of stack-space bounds for C programs.

Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao

Browse the full PLDI paper archive.