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

2021

ISSTA

Session Chair of Session 24 (time band 2) Android and Web Application Testing (part of Technical Papers)

2018

WoSSCA

Speaker in Attendees within the WoSSCA 2018-track

2017

VMCAI

Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track

2016

SPLASH

Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track

WODA

PLDI

Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track

2015

SPLASH

Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track

Mobile!

Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track

ECOOP

Author of Access-rights Analysis in the Presence of Subjects within the Research Track-track

PLDI

Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track

2014

SPLASH

2013

SPLASH

Author of Turning Nondeterminism into Parallelism within the OOPSLA-track