Wisam Kadry

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Comparative Study

Speculative Execution

Transactional Memory

Top Venues

Haifa Verification Conference

Publications

Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms. IEEE Des. Test 34 (1) (2017)
Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
Comparative study of test generation methods for simulation accelerators. DATE (2015)
Ophir Friedler, Wisam Kadry, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin
Effective post-silicon failure localization using dynamic program slicing. DATE (2014)
Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
Verification of Transactional Memory in POWER8. DAC (2014)
Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson
SLAM: SLice And Merge - Effective Test Generation for Large Systems. Haifa Verification Conference (2013)
Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin
Improving Post-silicon Validation Efficiency by Using Pre-generated Data. Haifa Verification Conference (2013)
Wisam Kadry, Ronny Morad, Alex Goryachev, Eli Almog, Christopher A. Krygowski
Facing the challenge of new design features: an effective verification approach. DAC (2011)