John M. Ludden

According to our database, John M. Ludden authored at least 9 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Confidential computing for OpenPOWER.

Guerney D. H. Hunt, Ramachandra Pai, Michael V. Le, Hani Jamjoom, Sukadev Bhattiprolu, Rick Boivie, Laurent Dufour, Brad Frey, Mohit Kapur, Kenneth A. Goldman, Ryan Grimm, Janani Janakirman, John M. Ludden, Paul Mackerras, Cathy May, Elaine R. Palmer, Bharata Bhasker Rao, Lawrence Roy, William A. Starke, Jeff Stuecheli, Enriquillo Valdez, Wendel Voigt

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

Post Silicon Validation of the MMU.

Tom Kolan, Hillel Mendelson, Vitali Sokhin, Shai Doron, Hernan Theiler, Shay Aviv, Hagai Hadad, Natalia Freidman, Elena Tsanko, John M. Ludden, Bryant Cockcroft

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2018

IBM POWER9 system software.

Joefon Jann, Paul Mackerras, John M. Ludden, Michael Gschwind, Wade Ouren, Stuart Jacobs, Brian F. Veale, David Edelsohn

IBM J. Res. Dev., 2018

2015

Solutions to IBM POWER8 verification challenges.

Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, L. S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann

IBM J. Res. Dev., 2015

2014

Verification of Transactional Memory in POWER8.

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2010

Advances in Simultaneous Multithreading Testcase Generation Methods.

John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir

Proceedings of the Hardware and Software: Verification and Testing, 2010

2005

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems.

Dave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago

IBM J. Res. Dev., 2005

2004

Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Proceedings of the 41th Design Automation Conference, 2004

2002

Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system.

John M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile

IBM J. Res. Dev., 2002