ANOSY: approximated knowledge synthesis with refinement types for declassification.

Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker

Browse the full PLDI paper archive.