Travelled to:1 × France
1 × Germany
2 × USA
Collaborated with:A.Nahir A.Morgenshtein V.Sokhin O.Friedler R.Morad A.Goryachev E.Almog C.A.Krygowski D.Krestyashyn J.S.Park S.Park W.Jeong J.Son A.Adir D.Goodman D.Hershcovich O.Hershkovitz B.G.Hickerson K.Holtz A.Koyfman J.M.Ludden C.Meissner R.R.Pratt M.Schiffli B.S.Onge B.W.Thompto E.Tsanko A.Ziv
Talks about:effect (2) verif (2) transact (1) challeng (1) approach (1) silicon (1) program (1) generat (1) acceler (1) method (1)
Person: Wisam Kadry
DBLP: Kadry:Wisam
Contributed to:
2015
201420142011Wrote 4 papers:
- DATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation #testing
- Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
- DAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #transaction #verification
- Verification of Transactional Memory in POWER8 (AA, DG, DH, OH, BGH, KH, WK, AK, JML, CM, AN, RRP, MS, BSO, BWT, ET, AZ), p. 6.
- DATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using
- Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
- DAC-2011-KadryMGAK #approach #challenge #design #effectiveness #verification
- Facing the challenge of new design features: an effective verification approach (WK, RM, AG, EA, CAK), pp. 842–847.