Omer Tripp

Registered user since Fri 6 Mar 2015

Name:Omer Tripp
Affiliation:IBM Thomas J. Watson Research Center
Research interests:Programming Languages, Program Analysis, Security, Concurrency, Machine Learning


ISSTA 2021 Session Chair of Session 24 (time band 2) Android and Web Application Testing (part of Technical Papers)
WoSSCA 2018 Speaker in Attendees within the WoSSCA 2018-track
VMCAI 2017 Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track
SPLASH 2016 Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track
WODA 2016 Session Chair of Session 3 (part of WODA)
Session Chair of Session 2 (part of WODA)
Committee Member in Organizing Committee within the WODA-track
Session Chair of Session 4 (part of WODA)
Session Chair of Session 1 (part of WODA)
PLDI 2016 Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track
SPLASH 2015 Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track
MobileDeLi 2015 Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track
ECOOP 2015 Author of Access-rights Analysis in the Presence of Subjects within the Research Track-track
PLDI 2015 Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track
SPLASH 2014 Author of Flint: Fixing Linearizability Violations within the OOPSLA-track
Presenter of Flint: Fixing Linearizability Violations within the OOPSLA Artifacts-track
SPLASH 2013 Author of Turning Nondeterminism into Parallelism within the OOPSLA-track