Hardware-Software Trade-Offs in a Direct Rambus Implementation of the RAMpage Memory Hierarchy. - Philip Machanick; Pierre Salverda; Lance Pompe (ASPLOS, 1998)

Formally Defining and Verifying Master/Slave Speculative Parallelization. - Pierre Salverda; Grigore Rosu; Craig B. Zilles (FM, 2005)

A Criticality Analysis of Clustering in Superscalar Processors. - Pierre Salverda; Craig B. Zilles (MICRO, 2005)

Accurate critical path prediction via random trace construction. - Pierre Salverda; Charles Tucker; Craig B. Zilles (CGO, 2008)

Fundamental performance constraints in horizontal fusion of in-order cores. - Pierre Salverda; Craig B. Zilles (HPCA, 2008)

Principles of Instruction-Level Distributed Processing - Pierre Salverda (2008)