Omer Tripp

Registered user since Fri 6 Mar 2015

Name: Omer Tripp

Country: Israel

Affiliation: IBM Thomas J. Watson Research Center

Personal website: http://researcher.watson.ibm.com/researcher/view.php?person=us-otripp

Research interests: Programming Languages, Program Analysis, Security, Concurrency, Machine Learning

Contributions

WoSSCA 2018Speaker in Attendees within the WoSSCA 2018-track
VMCAI 2017Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track
WODA 2016Session 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 2016Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track
MobileDeLi 2015Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track
SPLASH 2016Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track
SPLASH 2015Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track
PLDI 2015Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track
ECOOP 2015Author of Access-rights Analysis in the Presence of Subjects within the Research Track-track
SPLASH 2014Author of Flint: Fixing Linearizability Violations within the OOPSLA-track
Presenter of Flint: Fixing Linearizability Violations within the OOPSLA Artifacts-track
SPLASH 2013Author of Turning Nondeterminism into Parallelism within the OOPSLA-track