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
Software
Journal Papers
- Path- and Index-sensitive String Analysis based on Monadic Second-order Logic
Takaaki Tateishi, Marco Pistoia, and Omer Tripp
TOSEM'13: ACM Transactions on Software Engineering and Methodology [to appear]
[paper]
Refereed Conference Papers
- Finding your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman, and Lotem Guy
ISSTA'13: ACM International Symposium on Software Testing and Analysis [to appear]
[draft]
- Andromeda: Accurate and Scalable Security Analysis of Web Applications
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, and Salvatore Guarnieri
FASE'13: ETAPS Conference on Fundamental Approaches to Software Engineering
[paper][slides]
- 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][slides]
- 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
[ACM SIGSOFT Distinguished Paper Award]
[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]