Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.

Sam Blackshear, Shuvendu K. Lahiri

Browse the full PLDI paper archive.