Concepedia

Ohad Shacham

OS

Statistics

Publications

10

Citations

326

H-Index

10

Active since

2004

Affiliations

Tel Aviv University(Current)

Technion – Israel Institute of Technology

IBM (United States)

IBM Research - Haifa

Stanford University

Ohad Shacham is an author at Tel Aviv University specializing in computer science, engineering, and software analysis.

Top concepts

Publications per year

2004–2017

10

Publications

10

Chameleon

Ohad Shacham, Martin Vechev, Eran Yahav · 2009 · 108 citations

, , +17

Testing atomicity of composed concurrent operations

Ohad Shacham, Nathan Bronson, Alex Aiken et al. · 2011 · 82 citations

, , +17

Tuning the VSIDS decision heuristic for bounded model checking

Ohad Shacham, Emmanuel Zarpas · 2004 · 32 citations

, , +20

Scaling model checking of dataraces using dynamic information

Ohad Shacham, Mooly Sagiv, Assaf Schuster · 2005 · 21 citations

, , +21

Chameleon

Ohad Shacham, Martin Vechev, Eran Yahav · ACM SIGPLAN Notices · 2009 · 21 citations

, , +17

1–5 of 10