Sammen med Robert P. Goldberg foreslo han Popek og Goldberg virtualiseringskrav, et sett med betingelser som må være tilstede for en datamaskinarkitektur som skal støtte maskinvarevirtualisering. Popek er også kjent for sitt bidrag til utviklingen av det Unix-liknende distribuerte operativsystemet LOCUS 845.