I agree that this site is using cookies. You can find further informations here.
X
Tripp, Omer
75  results:
Search for persons X
?
1

Inference for Ever-Changing Policy of Taint Analysis:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice,
Chiang, Wen-Hao ; Li, Peixuan ; Zhou, Qiang... - p. 452-462 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Inference for Ever-Changing Policy of Taint Analysis:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Chiang, Wen-Hao ; Li, Peixuan ; Zhou, Qiang... - p. 452-462 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Compositional Taint Analysis for Enforcing Security Policie..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Banerjee, Subarno ; Cui, Siwei ; Emmi, Michael... - p. 1985-1996 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Shifting Left for Early Detection of Machine-Learning Bugs:

, In: Formal Methods; Lecture Notes in Computer Science,
Liblit, Ben ; Luo, Linghui ; Molina, Alejandro... - p. 584-597 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Language-agnostic Framework for Mining Static Analysis Ru..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Effendi, Sedick David Baker ; Cirisci, Berk ; Mukherjee, Rajdeep.. - p. 327-339 , 2023
Link: https://doi.org/10.1109/..
 
?
6

User-Assisted Code Query Optimization:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Liblit, Ben ; Lyu, Yingjun ; Mukherjee, Rajdeep.. - p. 40-46 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Long-term Static Analysis Rule Quality Monitoring Using Tru..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Luo, Linghui ; Mukherjee, Rajdeep ; Tripp, Omer... - p. 315-326 , 2023
Link: https://doi.org/10.1109/..
 
?
8

SAND: a static analysis approach for detecting SQL antipatt..:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Lyu, Yingjun ; Volokh, Sasha ; Halfond, William G. J.. - p. 270-282 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Synthesizing Precise and Useful Commutativity Conditions:

Bansal, Kshitij ; Koskinen, Eric ; Tripp, Omer
Journal of Automated Reasoning.  64 (2020)  7 - p. 1333-1359 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Introduction to the special issue:SAAP-2017 (Static Analysi..:

Cortesi, Agostino ; Tripp, Omer
Journal of Computer Languages.  52 (2019)  - p. 25 , 2019
Link: https://doi.org/10.1016/..
 
?
11

Automatic Generation of Precise and Useful Commutativity Co..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bansal, Kshitij ; Koskinen, Eric ; Tripp, Omer - p. 115-132 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Combining Static Code Analysis and Machine Learning for Aut..:

, In: Application Development and Design,
Pistoia, Marco ; Tripp, Omer ; Lubensky, David - p. 1121-1147 , 2018
Link: https://doi.org/10.4018/..
 
?
13

Combining Static Code Analysis and Machine Learning for Aut..:

, In: Mobile Application Development, Usability, and Security; Advances in Multimedia and Interactive Technologies,
Pistoia, Marco ; Tripp, Omer ; Lubensky, David - p. 68-94 , 2017
Link: https://doi.org/10.4018/..
 
?
14

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

, In: Proceedings of the 39th International Conference on Software Engineering Companion,
Subramanian, Sanu ; Berzish, Murphy ; Ganesh, Vijay. - p. 124-126 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Identifying Android library dependencies in the presence of..:

, In: Proceedings of the 39th International Conference on Software Engineering Companion,
Baset, Salman A. ; Li, Shih-Wei ; Suter, Philippe. - p. 250-252 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15