Stem pnueli$ (all stems)

3 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.

FME-1993-EngelhardtR #problem

Generalizing Abadi & Lamport’s Method to Solve a Problem Posed by A. Pnueli (KE, WPdR), pp. 294–313.