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