Articles with public access mandates - Omer TrippLearn more
Available somewhere: 9
Grail: Context-aware fixing of concurrency bugs
P Liu, O Tripp, C Zhang
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
Mandates: Research Grants Council, Hong Kong
Automatic generation of precise and useful commutativity conditions
K Bansal, E Koskinen, O Tripp
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
Mandates: US National Science Foundation
Datacentric semantics for verification of privacy policy compliance by mobile applications
A Cortesi, P Ferrara, M Pistoia, O Tripp
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
Mandates: Government of Italy
Ipa: Improving predictive analysis with pointer analysis
P Liu, O Tripp, X Zhang
Proceedings of the 25th International Symposium on Software Testing and …, 2016
Mandates: US National Science Foundation
Privacy analysis of android apps: implicit flows and quantitative analysis
G Barbon, A Cortesi, P Ferrara, M Pistoia, O Tripp
Computer Information Systems and Industrial Management: 14th IFIP TC 8 …, 2015
Mandates: Government of Italy
Sand: A static analysis approach for detecting sql antipatterns
Y Lyu, S Volokh, WGJ Halfond, O Tripp
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
Mandates: US Department of Defense
Synthesizing precise and useful commutativity conditions
K Bansal, E Koskinen, O Tripp
Journal of Automated Reasoning 64 (7), 1333-1359, 2020
Mandates: US National Science Foundation
Foraging goes mobile: Foraging while debugging on mobile devices
D Piorkowski, S Penney, AZ Henley, M Pistoia, M Burnett, O Tripp, ...
2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2017
Mandates: US National Science Foundation, US Department of Defense
Using Abstract Interpretation to Correct Synchronization Faults
P Ferrara, O Tripp, P Liu, E Koskinen
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program