Combinatorial sketching for finite programs.

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodk, Sanjit A. Seshia, Vijay A. Saraswat

Browse the full ASPLOS paper archive.