Hi! I'm a Senior Software Engineer in the Security & Privacy organization at Google.
My work at Google focuses on (semi-)automated tools, based mainly on program
analysis, to facilitate security-related processes. Prior to joining Google, I was a
Research Staff Member and Tech Lead at IBM's T.J. Watson Research Center, where I
worked on mobile technologies and applications of program analysis in this space.
Directed Synthesis of Failing Concurrent
Malavika Samak, Omer Tripp, Murali Krishna
FASE: Functionality-Aware Security Enforcement
Petar Tsankov, Marco Pistoia, Omer Tripp,
Martin Vechev, Pietro Ferrara
ACSAC'16 (2016) (to appear)
IPA: Improving Predictive Analysis with Pointer
Peng Liu, Omer Tripp, Xiangyu Zhang
Localization and Remediation of Root Causes of Imprecision
Shiyi Wei, Omer Tripp, Barbara G. Ryder,