Faceted execution of policy-agnostic programs.

Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama

Browse the full PLDI paper archive.