Precise, dynamic information flow for database-backed applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Browse the full PLDI paper archive.