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


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
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
MobileDeLi 2015 Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track
SPLASH 2016 Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track
SPLASH 2015 Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track
PLDI 2015 Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track
ECOOP 2015 Author of Access-rights Analysis in the Presence of Subjects within the Research Track-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