Omer Tripp
I am a PhD candidate in the School of Computer Science at Tel Aviv University under the supervision of Prof. Mooly Sagiv.
| Email: |
 |
Teaching
- Discrete Math, Spring 2010
- Discrete Math, Fall 2009
Software
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]