Automaton: an autonomous coverage-based multiprocessor system verification environment. - Nadeem Malik; Steven Roberts; Alan Pita; Ryan Dobson (IEEE International Workshop on Rapid System Prototyping, 1997)

Sectored renaming for superscalar microprocessors. - Alan Pita; Nadeem Malik (IPCCC, 1999)