| 2024 | ICSE | Inference for Ever-Changing Policy of Taint Analysis. | Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schf, Yingjun Lyu, Hoan Nguyen, Omer Tripp |
| 2024 | KDD | NL2Code-Reasoning and Planning with LLMs for Code Development. | Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan |
| 2023 | FM | Shifting Left for Early Detection of Machine-Learning Bugs. | Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schf, Omer Tripp, Willem Visser |
| 2023 | ICSE | A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. | Sedick Baker Effendi, Berk irisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp |
| 2023 | ICSE | Long-term Static Analysis Rule Quality Monitoring Using True Negatives. | Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schf, Qiang Zhou, Daniel Sanchez |
| 2023 | PLDI | User-Assisted Code Query Optimization. | Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang |
| 2022 | ECOOP | Static Analysis for AWS Best Practices in Python Code. | Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
| 2021 | ISSTA | SAND: a static analysis approach for detecting SQL antipatterns. | Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp |
| 2018 | TACAS | Automatic Generation of Precise and Useful Commutativity Conditions. | Kshitij Bansal, Eric Koskinen, Omer Tripp |
| 2017 | FASE | Visual Configuration of Mobile Privacy Policies. | Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2017 | ICSE | Identifying Android library dependencies in the presence of code obfuscation and minimization. | Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp |
| 2017 | ICSE | A solver for a theory of string and bit-vectors. | Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp |
| 2017 | VMCAI | Using Abstract Interpretation to Correct Synchronization Faults. | Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen |
| 2016 | ACSAC | FASE: functionality-aware security enforcement. | Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara |
| 2016 | ICSE | A framework for automatic anomaly detection in mobile applications. | Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp |
| 2016 | ICSE | Eavesdropping and obfuscation techniques for smartphones. | Supriyo Chakraborty, Omer Tripp |
| 2016 | ICSE | Improving design validation of mobile application user interface implementation. | Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas |
| 2016 | ICSE | Cognitive mobile security: invited conference keynote. | David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp |
| 2016 | ICSE | Pinpointing mobile malware using code analysis. | Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin |
| 2016 | ISSTA | IPA: improving predictive analysis with pointer analysis. | Peng Liu, Omer Tripp, Xiangyu Zhang |
| 2016 | OOPSLA | Directed synthesis of failing concurrent executions. | Malavika Samak, Omer Tripp, Murali Krishna Ramanathan |
| 2015 | ACSAC | MorphDroid: Fine-grained Privacy Verification. | Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | CAV | 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 |
| 2015 | ECOOP | Access-rights Analysis in the Presence of Subjects. | Paolina Centonze, Marco Pistoia, Omer Tripp |
| 2015 | ICSE | Application- and User-Sensitive Privacy Enforcement in Mobile Systems. | Omer Tripp, Marco Pistoia, Paolina Centonze |
| 2015 | ISSTA | Dynamic detection of inter-application communication vulnerabilities in Android. | Roee Hay, Omer Tripp, Marco Pistoia |
| 2015 | MDM | Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications. | Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman |
| 2015 | OOPSLA | ShamDroid: gracefully degrading functionality in the presence of limited resource access. | Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | OOPSLA | Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. | Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze |
| 2015 | PLDI | Light: replay via tightly bounded recording. | Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng |
| 2015 | VMCAI | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. | Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp |
| 2014 | CCS | ALETHEIA: Improving the Usability of Static Security Analysis. | Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin |
| 2014 | ISSTA | Hybrid security analysis of web JavaScript code via dynamic partial evaluation. | Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2014 | OOPSLA | Flint: fixing linearizability violations. | Peng Liu, Omer Tripp, Xiangyu Zhang |
| 2014 | OOPSLA | Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle. | Marco Pistoia, Omer Tripp |
| 2013 | FASE | Andromeda: Accurate and Scalable Security Analysis of Web Applications. | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
| 2013 | ISSTA | Finding your way in the testing jungle: a learning approach to web security testing. | Omer Tripp, Omri Weisman, Lotem Guy |
| 2013 | OOPSLA | Turning nondeterminism into parallelism. | Omer Tripp, Eric Koskinen, Mooly Sagiv |
| 2012 | PLDI | JANUS: exploiting parallelism via hindsight. | Omer Tripp, Roman Manevich, John Field, Mooly Sagiv |
| 2011 | ISSTA | Saving the world wide web from vulnerable JavaScript. | Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
| 2011 | ISSTA | Path- and index-sensitive string analysis based on monadic second-order logic. | Takaaki Tateishi, Marco Pistoia, Omer Tripp |
| 2011 | OOPSLA | F4F: taint analysis of framework-based web applications. | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
| 2011 | OOPSLA | HAWKEYE: effective discovery of dataflow impediments to parallelization. | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
| 2011 | POPL | Learning minimal abstractions. | Percy Liang, Omer Tripp, Mayur Naik |
| 2010 | OOPSLA | A dynamic evaluation of the precision of static heap abstractions. | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
| 2009 | PLDI | TAJ: effective taint analysis of web applications. | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |