SLING: using dynamic analysis to infer program invariants in separation logic.

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

Browse the full PLDI paper archive.