Omer Tripp

According to our database, Omer Tripp authored at least 58 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.

Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

User-Assisted Code Query Optimization.

Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Long-term Static Analysis Rule Quality Monitoring Using True Negatives.

Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes.

Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Shifting Left for Early Detection of Machine-Learning Bugs.

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Static Analysis for AWS Best Practices in Python Code.

Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

SAND: a static analysis approach for detecting SQL antipatterns.

Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Synthesizing Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

J. Autom. Reason., 2020

2019

Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy).

Agostino Cortesi, Omer Tripp

J. Comput. Lang., 2019

2018

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).

Kshitij Bansal, Eric Koskinen, Omer Tripp

CoRR, 2018

Automatic Generation of Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Z3str2: an efficient solver for strings, regular expressions, and length constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang

Formal Methods Syst. Des., 2017

Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Foraging goes mobile: Foraging while debugging on mobile devices.

David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

A solver for a theory of string and bit-vectors.

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

Identifying Android library dependencies in the presence of code obfuscation and minimization.

Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

Visual Configuration of Mobile Privacy Policies.

Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).

Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp

Dagstuhl Reports, 2016

A Solver for a Theory of Strings and Bit-vectors.

Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh

CoRR, 2016

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.

Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Directed synthesis of failing concurrent executions.

Malavika Samak, Omer Tripp, Murali Krishna Ramanathan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

IPA: improving predictive analysis with pointer analysis.

Peng Liu, Omer Tripp, Xiangyu Zhang

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Pinpointing mobile malware using code analysis.

Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Cognitive mobile security: invited conference keynote.

David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Improving design validation of mobile application user interface implementation.

Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Eavesdropping and obfuscation techniques for smartphones.

Supriyo Chakraborty, Omer Tripp

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

A framework for automatic anomaly detection in mobile applications.

Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

FASE: functionality-aware security enforcement.

Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.

Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Light: replay via tightly bounded recording.

Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Automatic detection, correction, and visualization of security vulnerabilities in mobile apps.

Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

ShamDroid: gracefully degrading functionality in the presence of limited resource access.

Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications.

Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman

Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Dynamic detection of inter-application communication vulnerabilities in Android.

Roee Hay, Omer Tripp, Marco Pistoia

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Application- and User-Sensitive Privacy Enforcement in Mobile Systems.

Omer Tripp, Marco Pistoia, Paolina Centonze

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Access-rights Analysis in the Presence of Subjects.

Paolina Centonze, Marco Pistoia, Omer Tripp

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Proceedings of the Computer Information Systems and Industrial Management, 2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

MorphDroid: Fine-grained Privacy Verification.

Pietro Ferrara, Omer Tripp, Marco Pistoia

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

Incorporating data abstractions into concurrency control

Omer Tripp

PhD thesis, 2014

A Bayesian Approach to Privacy Enforcement in Smartphones.

Omer Tripp, Julia Rubin

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

Grail: context-aware fixing of concurrency bugs.

Peng Liu, Omer Tripp, Charles Zhang

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle.

Marco Pistoia, Omer Tripp

Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

Flint: fixing linearizability violations.

Peng Liu, Omer Tripp, Xiangyu Zhang

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Hybrid security analysis of web JavaScript code via dynamic partial evaluation.

Omer Tripp, Pietro Ferrara, Marco Pistoia

Proceedings of the International Symposium on Software Testing and Analysis, 2014

ALETHEIA: Improving the Usability of Static Security Analysis.

Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Path- and index-sensitive string analysis based on monadic second-order logic.

Takaaki Tateishi, Marco Pistoia, Omer Tripp

ACM Trans. Softw. Eng. Methodol., 2013

Tightfit: adaptive parallelization with foresight.

Omer Tripp, Noam Rinetzky

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Turning nondeterminism into parallelism.

Omer Tripp, Eric Koskinen, Mooly Sagiv

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Finding your way in the testing jungle: a learning approach to web security testing.

Omer Tripp, Omri Weisman, Lotem Guy

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Andromeda: Accurate and Scalable Security Analysis of Web Applications.

Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

JANUS: exploiting parallelism via hindsight.

Omer Tripp, Roman Manevich, John Field, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Learning minimal abstractions.

Percy Liang, Omer Tripp, Mayur Naik

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

HAWKEYE: effective discovery of dataflow impediments to parallelization.

Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

F4F: taint analysis of framework-based web applications.

Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Saving the world wide web from vulnerable JavaScript.

Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

A dynamic evaluation of the precision of static heap abstractions.

Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

TAJ: effective taint analysis of web applications.

Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009