Scalable Stability Detection Using Logical Hypercube. - Roy Friedman; Shiri Manor; Katherine Guo (IEEE Trans. Parallel Distributed Syst., 2002)

Inferno: a functional simulation infrastructure for modeling microarchitectural data speculations. - Hong Wang 003; Shiri Manor; Dave LaFollette; Nadav Nesher; Ku-jei King; Perry H. Wang; Shay Levy; Shai Satt; Gal Carmeli; Arjun Kapur; Ioannis Schoinas; Ed Rubinstein; et al. (ISPASS, 2003)