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

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
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