Omer Tripp

Most-cited papers

TAJ: effective taint analysis of web applications
Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan +1 more
2009ACM-SIGPLAN Symposium on Programming Language Design and Implementation421 citations
Semantic Scholar
Andromeda: Accurate and Scalable Security Analysis of Web Applications
Omer Tripp, Marco Pistoia, P. Cousot, R. Cousot +1 more
2013Fundamental Approaches to Software Engineering157 citations Open access
Semantic Scholar
Saving the world wide web from vulnerable JavaScript
S. Guarnieri, Marco Pistoia, Omer Tripp, Julian T Dolby +2 more
2011International Symposium on Software Testing and Analysis152 citations
Semantic Scholar
F4F: taint analysis of framework-based web applications
Manu Sridharan, Shay Artzi, Marco Pistoia, S. Guarnieri +2 more
2011Conference on Object-Oriented Programming Systems, Languages, and Applications151 citations
Semantic Scholar
ALETHEIA: Improving the Usability of Static Security Analysis
Omer Tripp, S. Guarnieri, Marco Pistoia, A. Aravkin
2014Conference on Computer and Communications Security84 citations
Semantic Scholar
Dynamic detection of inter-application communication vulnerabilities in Android
R. Hay, Omer Tripp, Marco Pistoia
2015International Symposium on Software Testing and Analysis80 citations
Semantic Scholar
A Bayesian Approach to Privacy Enforcement in Smartphones
Omer Tripp, J. Rubin
2014USENIX Security Symposium71 citations
Semantic Scholar
Path- and index-sensitive string analysis based on monadic second-order logic
T. Tateishi, Marco Pistoia, Omer Tripp
2011International Symposium on Software Testing and Analysis69 citations
Semantic Scholar
Z3str2: an efficient solver for strings, regular expressions, and length constraints
Yun-Hui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp +3 more
2016Formal methods in system design60 citations
Semantic Scholar
Grail: context-aware fixing of concurrency bugs
Peng Liu, Omer Tripp, Charles Zhang
2014SIGSOFT FSE57 citations
Semantic Scholar
Learning minimal abstractions
P. Liang, Omer Tripp, M. Naik
2011ACM-SIGACT Symposium on Principles of Programming Languages54 citations
Semantic Scholar
Hybrid security analysis of web JavaScript code via dynamic partial evaluation
Omer Tripp, Pietro Ferrara, Marco Pistoia
2014International Symposium on Software Testing and Analysis53 citations
Semantic Scholar
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
Yun-Hui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp +2 more
2015International Conference on Computer Aided Verification52 citations Open access
Semantic Scholar
Flint
Peng Liu, Omer Tripp, X. Zhang
2014Conference on Object-Oriented Programming Systems, Languages, and Applications47 citations
Semantic Scholar
Finding your way in the testing jungle: a learning approach to web security testing
Omer Tripp, Omri Weisman, L. Guy
2013International Symposium on Software Testing and Analysis37 citations
Semantic Scholar
A dynamic evaluation of the precision of static heap abstractions
P. Liang, Omer Tripp, M. Naik, M. Sagiv
2010Conference on Object-Oriented Programming Systems, Languages, and Applications26 citations
Semantic Scholar
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
Kshitij Bansal, Eric Koskinen, Omer Tripp
2018International Conference on Tools and Algorithms for Construction and Analysis of Systems23 citations Open access
Semantic Scholar
Light: replay via tightly bounded recording
Peng Liu, X. Zhang, Omer Tripp, Yun-Hui Zheng
2015ACM-SIGPLAN Symposium on Programming Language Design and Implementation23 citations
Semantic Scholar
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015International Conference on Verification, Model Checking and Abstract Interpretation22 citations
Semantic Scholar
Directed synthesis of failing concurrent executions
Malavika Samak, Omer Tripp, M. Ramanathan
2016Conference on Object-Oriented Programming Systems, Languages, and Applications21 citations
Semantic Scholar
Static Analysis for AWS Best Practices in Python Code
Rajdeep Mukherjee, Omer Tripp, B. Liblit, Michael Wilson
2022European Conference on Object-Oriented Programming18 citations Open access
Semantic Scholar
IPA: improving predictive analysis with pointer analysis
Peng Liu, Omer Tripp, X. Zhang
2016International Symposium on Software Testing and Analysis18 citations Open access
Semantic Scholar
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision
Shi-Yi Wei, Omer Tripp, B. Ryder, Julian T Dolby
2016SIGSOFT FSE17 citations
Semantic Scholar
MorphDroid: Fine-grained Privacy Verification
Pietro Ferrara, Omer Tripp, Marco Pistoia
2015Asia-Pacific Computer Systems Architecture Conference17 citations
Semantic Scholar
JANUS: exploiting parallelism via hindsight
Omer Tripp, R. Manevich, J. Field, M. Sagiv
2012ACM-SIGPLAN Symposium on Programming Language Design and Implementation17 citations
Semantic Scholar
HAWKEYE: effective discovery of dataflow impediments to parallelization
Omer Tripp, G. Yorsh, J. Field, M. Sagiv
2011Conference on Object-Oriented Programming Systems, Languages, and Applications17 citations
Semantic Scholar
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis
G. Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia +1 more
2015International Conference on Computer Information Systems and Industrial Management Applications14 citations Open access
Semantic Scholar
SAND: a static analysis approach for detecting SQL antipatterns
Yingjun Lyu, Sasha Volokh, W. Halfond, Omer Tripp
2021International Symposium on Software Testing and Analysis13 citations
Semantic Scholar
Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications
Marco Pistoia, Omer Tripp, Paolina Centonze, J. Ligman
20152015 16th IEEE International Conference on Mobile Data Management13 citations
Semantic Scholar
A Solver for a Theory of Strings and Bit-vectors
Sanu Subramanian, Murphy Berzish, Yun-Hui Zheng, Omer Tripp +1 more
2016arXiv.org10 citations
Semantic Scholar
Identifying Android Library Dependencies in the Presence of Code Obfuscation and Minimization
Salman Baset, Shih-Wei Li, Philippe Suter, Omer Tripp
20172017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)9 citations
Semantic Scholar
Eavesdropping and Obfuscation Techniques for Smartphones
Supriyo Chakraborty, Omer Tripp
2016International Conference on Mobile Software Engineering and Systems9 citations
Semantic Scholar
Hybrid Analysis for JavaScript Security Assessment
Omer Tripp, Omri Weisman
20119 citations
Semantic Scholar
Zipf ’ s Law Revisited
Omer Tripp, D. Feitelson
20079 citations
Semantic Scholar
Combining Static Code Analysis and Machine Learning for Automatic Detection of Security Vulnerabilities in Mobile Apps
Marco Pistoia, Omer Tripp, D. Lubensky
20178 citations
Semantic Scholar
Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle
Marco Pistoia, Omer Tripp
2014MobileDeLi8 citations
Semantic Scholar
Improving Design Validation of Mobile Application User Interface Implementation
J. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas
2016International Conference on Mobile Software Engineering and Systems7 citations
Semantic Scholar
ShamDroid: gracefully degrading functionality in the presence of limited resource access
Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
2015Conference on Object-Oriented Programming Systems, Languages, and Applications7 citations
Semantic Scholar
Shifting Left for Early Detection of Machine-Learning Bugs
B. Liblit, Linghui Luo, A. Molina, Rajdeep Mukherjee +5 more
2023World Congress on Formal Methods6 citations
Semantic Scholar
Visual Configuration of Mobile Privacy Policies
Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara +1 more
2017Fundamental Approaches to Software Engineering6 citations
Semantic Scholar
Foraging goes mobile: Foraging while debugging on mobile devices
David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia +3 more
2017IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments5 citations
Semantic Scholar
Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)
R. Hull, A. Koschmider, H. Reijers, W. Wong +27 more
2016Dagstuhl Reports5 citations
Semantic Scholar
Commutativity Condition Refinement
Kshitij Bansal, Eric Koskinen, Omer Tripp
20155 citations
Semantic Scholar
Long-term Static Analysis Rule Quality Monitoring Using True Negatives
Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf +2 more
20232023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)4 citations
Semantic Scholar
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps
Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze
2015MobileDeLi4 citations
Semantic Scholar
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes
Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, H. Nguyen +1 more
20232023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)3 citations
Semantic Scholar
Synthesizing Precise and Useful Commutativity Conditions
Kshitij Bansal, Eric Koskinen, Omer Tripp
2020Journal of automated reasoning3 citations
Semantic Scholar
Pinpointing Mobile Malware Using Code Analysis
Omer Tripp, Marco Pistoia, Pietro Ferrara, J. Rubin
2016International Conference on Mobile Software Engineering and Systems3 citations
Semantic Scholar
Path- and index-sensitive string analysis based on monadic second-order logic
Takaaki Tateishi, Marco Pistoia, Omer Tripp
2013TSEM3 citations
Semantic Scholar
Tightfit: adaptive parallelization with foresight
Omer Tripp, N. Rinetzky
2013ESEC/FSE 20133 citations
Semantic Scholar