By Alexandre Rebert (Carnegie Mellon University and ForAllSecure, Inc.) , Sang Kil Cha (Carnegie Mellon University) , Thanassis Avgerinos (Carnegie Mellon University) , Jonathan Foote , David Warren , Gustavo Grieco (CIFASIS-CONICET) , David Brumley (Carnegie Mellon University)