default search action
Omer Tripp
Person information
- affiliation: Amazon Web Services, Santa Clara, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Anh Nguyen, Omer Tripp:
A Deep Dive into Large Language Models for Automated Bug Localization and Repair. Proc. ACM Softw. Eng. 1(FSE): 1471-1493 (2024) - [c53]Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp:
Inference for Ever-Changing Policy of Taint Analysis. ICSE-SEIP 2024: 452-462 - [c52]Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan:
NL2Code-Reasoning and Planning with LLMs for Code Development. KDD 2024: 6745-6746 - [i5]Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Anh Nguyen, Omer Tripp:
A Deep Dive into Large Language Models for Automated Bug Localization and Repair. CoRR abs/2404.11595 (2024) - 2023
- [c51]Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser:
Shifting Left for Early Detection of Machine-Learning Bugs. FM 2023: 584-597 - [c50]Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez:
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP 2023: 315-326 - [c49]Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp:
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. ICSE-SEIP 2023: 327-339 - [c48]Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-Assisted Code Query Optimization. SOAP@PLDI 2023: 40-46 - [c47]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:
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE 2023: 1985-1996 - 2022
- [c46]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. ECOOP 2022: 14:1-14:28 - [i4]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. CoRR abs/2205.04432 (2022) - 2021
- [c45]Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp:
SAND: a static analysis approach for detecting SQL antipatterns. ISSTA 2021: 270-282 - 2020
- [j4]Kshitij Bansal, Eric Koskinen, Omer Tripp:
Synthesizing Precise and Useful Commutativity Conditions. J. Autom. Reason. 64(7): 1333-1359 (2020)
2010 – 2019
- 2019
- [j3]Agostino Cortesi, Omer Tripp:
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy). J. Comput. Lang. 52: 25 (2019) - 2018
- [c44]Kshitij Bansal, Eric Koskinen, Omer Tripp:
Automatic Generation of Precise and Useful Commutativity Conditions. TACAS (1) 2018: 115-132 - [i3]Kshitij Bansal, Eric Koskinen, Omer Tripp:
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version). CoRR abs/1802.08748 (2018) - 2017
- [j2]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang:
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50(2-3): 249-288 (2017) - [c43]Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia:
Visual Configuration of Mobile Privacy Policies. FASE 2017: 338-355 - [c42]Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp:
A solver for a theory of string and bit-vectors. ICSE (Companion Volume) 2017: 124-126 - [c41]Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp:
Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) 2017: 250-252 - [c40]David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara:
Foraging goes mobile: Foraging while debugging on mobile devices. VL/HCC 2017: 9-17 - [c39]Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen:
Using Abstract Interpretation to Correct Synchronization Faults. VMCAI 2017: 187-208 - 2016
- [c38]Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara:
FASE: functionality-aware security enforcement. ACSAC 2016: 471-483 - [c37]David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp:
Cognitive mobile security: invited conference keynote. MOBILESoft 2016: 267-268 - [c36]Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin:
Pinpointing mobile malware using code analysis. MOBILESoft 2016: 275-276 - [c35]Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas:
Improving design validation of mobile application user interface implementation. MOBILESoft 2016: 277-278 - [c34]Supriyo Chakraborty, Omer Tripp:
Eavesdropping and obfuscation techniques for smartphones. MOBILESoft 2016: 291-292 - [c33]Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp:
A framework for automatic anomaly detection in mobile applications. MOBILESoft 2016: 297-298 - [c32]Peng Liu, Omer Tripp, Xiangyu Zhang:
IPA: improving predictive analysis with pointer analysis. ISSTA 2016: 59-69 - [c31]Malavika Samak, Omer Tripp, Murali Krishna Ramanathan:
Directed synthesis of failing concurrent executions. OOPSLA 2016: 430-446 - [c30]Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby:
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE 2016: 487-498 - [e2]Omer Tripp, Christoph M. Wintersteiger:
Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. CEUR Workshop Proceedings 1639, CEUR-WS.org 2016 [contents] - [i2]Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh:
A Solver for a Theory of Strings and Bit-vectors. CoRR abs/1605.09446 (2016) - [i1]Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp:
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports 6(5): 56-71 (2016) - 2015
- [c29]Pietro Ferrara, Omer Tripp, Marco Pistoia:
MorphDroid: Fine-grained Privacy Verification. ACSAC 2015: 371-380 - [c28]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang:
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) 2015: 235-254 - [c27]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM 2015: 3-23 - [c26]Paolina Centonze, Marco Pistoia, Omer Tripp:
Access-rights Analysis in the Presence of Subjects. ECOOP 2015: 222-246 - [c25]Omer Tripp, Marco Pistoia, Paolina Centonze:
Application- and User-Sensitive Privacy Enforcement in Mobile Systems. MOBILESoft 2015: 162-163 - [c24]Roee Hay, Omer Tripp, Marco Pistoia:
Dynamic detection of inter-application communication vulnerabilities in Android. ISSTA 2015: 118-128 - [c23]Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman:
Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications. MDM (1) 2015: 279-286 - [c22]Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze:
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. MobileDeLi 2015: 35-36 - [c21]Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia:
ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA 2015: 316-331 - [c20]Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng:
Light: replay via tightly bounded recording. PLDI 2015: 55-64 - [c19]Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79 - 2014
- [b1]Omer Tripp:
Incorporating data abstractions into concurrency control. Tel Aviv University, Israel, 2014 - [c18]Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin:
ALETHEIA: Improving the Usability of Static Security Analysis. CCS 2014: 762-774 - [c17]Omer Tripp, Pietro Ferrara, Marco Pistoia:
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ISSTA 2014: 49-59 - [c16]Marco Pistoia, Omer Tripp:
Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle. MobileDeLi 2014: 17-18 - [c15]Peng Liu, Omer Tripp, Xiangyu Zhang:
Flint: fixing linearizability violations. OOPSLA 2014: 543-560 - [c14]Peng Liu, Omer Tripp, Charles Zhang:
Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE 2014: 318-329 - [c13]Omer Tripp, Julia Rubin:
A Bayesian Approach to Privacy Enforcement in Smartphones. USENIX Security Symposium 2014: 175-190 - [e1]Alejandro Russo, Omer Tripp:
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. ACM 2014, ISBN 978-1-4503-2862-3 [contents] - 2013
- [j1]Takaaki Tateishi, Marco Pistoia, Omer Tripp:
Path- and index-sensitive string analysis based on monadic second-order logic. ACM Trans. Softw. Eng. Methodol. 22(4): 33:1-33:33 (2013) - [c12]Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225 - [c11]Omer Tripp, Omri Weisman, Lotem Guy:
Finding your way in the testing jungle: a learning approach to web security testing. ISSTA 2013: 347-357 - [c10]Omer Tripp, Eric Koskinen, Mooly Sagiv:
Turning nondeterminism into parallelism. OOPSLA 2013: 589-604 - [c9]Omer Tripp, Noam Rinetzky:
Tightfit: adaptive parallelization with foresight. ESEC/SIGSOFT FSE 2013: 169-179 - 2012
- [c8]Omer Tripp, Roman Manevich, John Field, Mooly Sagiv:
JANUS: exploiting parallelism via hindsight. PLDI 2012: 145-156 - 2011
- [c7]Takaaki Tateishi, Marco Pistoia, Omer Tripp:
Path- and index-sensitive string analysis based on monadic second-order logic. ISSTA 2011: 166-176 - [c6]Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg:
Saving the world wide web from vulnerable JavaScript. ISSTA 2011: 177-187 - [c5]Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv:
HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA 2011: 207-224 - [c4]Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg:
F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068 - [c3]Percy Liang, Omer Tripp, Mayur Naik:
Learning minimal abstractions. POPL 2011: 31-42 - 2010
- [c2]Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv:
A dynamic evaluation of the precision of static heap abstractions. OOPSLA 2010: 411-427
2000 – 2009
- 2009
- [c1]Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman:
TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint