Omer Tripp

Email:

Teaching

• Discrete Math, Spring 2010
• Discrete Math, Fall 2009

Software

• Tightfit
• Janus

Refereed Conference Papers

• Janus: Exploiting Parallelism via Hindsight
  Omer Tripp, Roman Manevich, John Field, and Mooly Sagiv
  PLDI'12: ACM Conference on Programming Language Design and Implementation
  [paper]

• Hawkeye: Effective Discovery of Dataflow Impediments to Parallelization
  Omer Tripp, Greta Yorsh, John Field, and Mooly Sagiv
  OOPSLA'11: ACM Conference on Systems, Programming, Languages and Applications
  [paper][slides]

• F4F: Taint Analysis of Framework-based Web Applications
  Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, and Ryan Berg
  OOPSLA'11: ACM Conference on Systems, Programming, Languages and Applications
  [paper]

• Hybrid Analysis for JavaScript Security Assessment
  Omer Tripp, and Omri Weisman
  ESEC/FSE'11: ACM Conference on the Foundations of Software Engineering
  [paper][slides]

• Path- and Index-sensitive String Analysis based on Monadic Second-order Logic
  Takaaki Tateishi, Marco Pistoia, and Omer Tripp
  ISSTA'11: ACM International Symposium on Software Testing and Analysis
  [paper]

• Saving the World Wide Web from Vulnerable JavaScript
  Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg
  ISSTA'11: ACM International Symposium on Software Testing and Analysis
  [paper]

• Learning Minimal Abstractions
  Percy Liang, Omer Tripp, and Mayur Naik
  POPL'11: ACM Conference on Principles of Programming Languages
  [paper][slides]

• A Dynamic Evaluation of the Precision of Static Heap Abstractions
  Percy Liang, Omer Tripp, Mayur Naik, and Mooly Sagiv
  OOPSLA'10: ACM Conference on Systems, Programming, Languages and Applications
  [paper][slides]

• TAJ: Effective Taint Analysis of Web Applications
  Omer Tripp, Marco Pistoia, Stephen Fink, Manu Sridharan, and Omri Weisman
  PLDI'09: ACM Conference on Programming Language Design and Implementation
  [paper][slides]