Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Browse the full CAV paper archive.