Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems., , , , , , , , , and 1 other author(s). IBM J. Res. Dev., 49 (4-5): 541-554 (2005)Industrial experience with test generation languages for processor verification., , , , and . DAC, page 36-40. ACM, (2004)Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system., , , , , , , , , and 15 other author(s). IBM J. Res. Dev., 46 (1): 53-76 (2002)IBM POWER9 system software., , , , , , , and . IBM J. Res. Dev., 62 (4/5): 6:1-6:10 (2018)Verification of Transactional Memory in POWER8., , , , , , , , , and 7 other author(s). DAC, page 58:1-58:6. ACM, (2014)Post Silicon Validation of the MMU., , , , , , , , , and 1 other author(s). DATE, page 212-217. IEEE, (2021)Confidential computing for OpenPOWER., , , , , , , , , and 12 other author(s). EuroSys, page 294-310. ACM, (2021)Advances in Simultaneous Multithreading Testcase Generation Methods., , , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 146-160. Springer, (2010)Solutions to IBM POWER8 verification challenges., , , , , , , , , and 12 other author(s). IBM J. Res. Dev., (2015)