Omer Tripp - RankMe

70 papers A* 8A 18B 6Journal 13Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	MigrationBench: Repository-Level Code Migration Benchmark from Java 8. CoRR Linbo Liu, Xinle Liu, Qiang Zhou, Lin Chen, Yihan Liu, Hoan Nguyen, Behrooz Omidvar-Tehrani, Xi Shen, Jun Huan, Omer Tripp, Anoop Deoras
2025	J	`jnl`	QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks. CoRR Yaojie Hu, Qiang Zhou, Qihong Chen, Xiaopeng Li, Linbo Liu, Dejiao Zhang, Amit Kachroo, Talha Oz, Omer Tripp
2024	J	`jnl`	A Deep Dive into Large Language Models for Automated Bug Localization and Repair. CoRR Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Anh Nguyen, Omer Tripp
2024	J	`jnl`	A Deep Dive into Large Language Models for Automated Bug Localization and Repair. Proc. ACM Softw. Eng. Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Anh Nguyen, Omer Tripp
2024	—	`conf`	Inference for Ever-Changing Policy of Taint Analysis. ICSE-SEIP Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp
2024	A*	`conf`	NL2Code-Reasoning and Planning with LLMs for Code Development. KDD Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan
2024	A*	`conf`	Understanding Developer-Analyzer Interactions in Code Reviews. ASE Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp, Daniel Sanchez, Qiang Zhou, Muhammad Bilal Zafar
2024	J	`jnl`	User-assisted code query customization and optimization. Int. J. Softw. Tools Technol. Transf. Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang
2023	—	`conf`	A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. ICSE-SEIP Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp
2023	—	`conf`	Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE 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
2023	—	`conf`	Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez
2023	B	`conf`	Shifting Left for Early Detection of Machine-Learning Bugs. FM Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
2023	—	`conf`	User-Assisted Code Query Optimization. SOAP@PLDI Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang
2022	A	`conf`	Static Analysis for AWS Best Practices in Python Code. ECOOP Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
2022	J	`jnl`	Static Analysis for AWS Best Practices in Python Code. CoRR Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
2021	A	`conf`	SAND: a static analysis approach for detecting SQL antipatterns. ISSTA Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp
2020	J	`jnl`	Synthesizing Precise and Useful Commutativity Conditions. J. Autom. Reason. Kshitij Bansal, Eric Koskinen, Omer Tripp
2019	J	`jnl`	Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy). J. Comput. Lang. Agostino Cortesi, Omer Tripp
2018	J	`jnl`	Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version). CoRR Kshitij Bansal, Eric Koskinen, Omer Tripp
2018	—	`conf`	Automatic Generation of Precise and Useful Commutativity Conditions. TACAS (1) Kshitij Bansal, Eric Koskinen, Omer Tripp
2017	—	`conf`	A solver for a theory of string and bit-vectors. ICSE (Companion Volume) Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp
2017	B	`conf`	Foraging goes mobile: Foraging while debugging on mobile devices. VL/HCC David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara
2017	—	`conf`	Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp
2017	B	`conf`	Using Abstract Interpretation to Correct Synchronization Faults. VMCAI Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen
2017	B	`conf`	Visual Configuration of Mobile Privacy Policies. FASE Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia
2017	J	`jnl`	Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
2016	J	`jnl`	A Solver for a Theory of Strings and Bit-vectors. CoRR Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
2016	—	`conf`	A framework for automatic anomaly detection in mobile applications. MOBILESoft Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp
2016	—	`conf`	Cognitive mobile security: invited conference keynote. MOBILESoft David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp
2016	A	`conf`	Directed synthesis of failing concurrent executions. OOPSLA Malavika Samak, Omer Tripp, Murali Krishna Ramanathan
2016	—	`conf`	Eavesdropping and obfuscation techniques for smartphones. MOBILESoft Supriyo Chakraborty, Omer Tripp
2016	A	`conf`	FASE: functionality-aware security enforcement. ACSAC Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara
2016	A	`conf`	IPA: improving predictive analysis with pointer analysis. ISSTA Peng Liu, Omer Tripp, Xiangyu Zhang
2016	—	`conf`	Improving design validation of mobile application user interface implementation. MOBILESoft Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas
2016	—	`conf`	Pinpointing mobile malware using code analysis. MOBILESoft Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin
2016	—	`ed.`	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. CSTVA@ISSTA Omer Tripp, Christoph M. Wintersteiger
2016	—	`conf`	Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
2016	J	`jnl`	Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp
2015	A	`conf`	Access-rights Analysis in the Presence of Subjects. ECOOP Paolina Centonze, Marco Pistoia, Omer Tripp
2015	—	`conf`	Application- and User-Sensitive Privacy Enforcement in Mobile Systems. MOBILESoft Omer Tripp, Marco Pistoia, Paolina Centonze
2015	—	`conf`	Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. MobileDeLi Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze
2015	B	`conf`	Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015	A	`conf`	Dynamic detection of inter-application communication vulnerabilities in Android. ISSTA Roee Hay, Omer Tripp, Marco Pistoia
2015	—	`conf`	Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
2015	—	`conf`	Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications. MDM (1) Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman
2015	A*	`conf`	Light: replay via tightly bounded recording. PLDI Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
2015	A	`conf`	MorphDroid: Fine-grained Privacy Verification. ACSAC Pietro Ferrara, Omer Tripp, Marco Pistoia
2015	—	`conf`	Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015	A	`conf`	ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
2014	A*	`conf`	A Bayesian Approach to Privacy Enforcement in Smartphones. USENIX Security Symposium Omer Tripp, Julia Rubin
2014	A*	`conf`	ALETHEIA: Improving the Usability of Static Security Analysis. CCS Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin
2014	A	`conf`	Flint: fixing linearizability violations. OOPSLA Peng Liu, Omer Tripp, Xiangyu Zhang
2014	—	`conf`	Grail: context-aware fixing of concurrency bugs. SIGSOFT FSE Peng Liu, Omer Tripp, Charles Zhang
2014	A	`conf`	Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ISSTA Omer Tripp, Pietro Ferrara, Marco Pistoia
2014	—	`—`	Incorporating data abstractions into concurrency control Omer Tripp
2014	—	`conf`	Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle. MobileDeLi Marco Pistoia, Omer Tripp
2014	—	`ed.`	Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014 PLAS@ECOOP Alejandro Russo, Omer Tripp
2013	B	`conf`	Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
2013	A	`conf`	Finding your way in the testing jungle: a learning approach to web security testing. ISSTA Omer Tripp, Omri Weisman, Lotem Guy
2013	J	`jnl`	Path- and index-sensitive string analysis based on monadic second-order logic. ACM Trans. Softw. Eng. Methodol. Takaaki Tateishi, Marco Pistoia, Omer Tripp
2013	—	`conf`	Tightfit: adaptive parallelization with foresight. ESEC/SIGSOFT FSE Omer Tripp, Noam Rinetzky
2013	A	`conf`	Turning nondeterminism into parallelism. OOPSLA Omer Tripp, Eric Koskinen, Mooly Sagiv
2012	A*	`conf`	JANUS: exploiting parallelism via hindsight. PLDI Omer Tripp, Roman Manevich, John Field, Mooly Sagiv
2011	A	`conf`	F4F: taint analysis of framework-based web applications. OOPSLA Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg
2011	A	`conf`	HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv
2011	A*	`conf`	Learning minimal abstractions. POPL Percy Liang, Omer Tripp, Mayur Naik
2011	A	`conf`	Path- and index-sensitive string analysis based on monadic second-order logic. ISSTA Takaaki Tateishi, Marco Pistoia, Omer Tripp
2011	A	`conf`	Saving the world wide web from vulnerable JavaScript. ISSTA Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
2010	A	`conf`	A dynamic evaluation of the precision of static heap abstractions. OOPSLA Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
2009	A*	`conf`	TAJ: effective taint analysis of web applications. PLDI Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman