Stem amir$ (all stems)

2 papers:

SAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters #validation

Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.

LICS-2010-Harel

Amir Pnueli: A Gentle Giant, Lord of the Phi’s and the Psi’s (DH), p. 57.