Interlock collapsing ALU for increased instruction-level parallelism. - Nadeem Malik; Richard J. Eickemeyer; Stamatis Vassiliadis (MICRO, 1992)

Instruction-level parallelism from execution interlock collapsing. - Nadeem Malik; Richard J. Eickemeyer; Stamatis Vassiliadis (SIGARCH Comput. Archit. News, 1992)

Distributed directory tags. - Avijit Saha; Nadeem Malik (SIGARCH Comput. Archit. News, 1994)

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)

A toolset for assisted formal verification. - Nadeem Malik; Jason Baumgartner; Steven Roberts; Ryan Dobson (IPCCC, 1999)

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