2015 action retreat
Optimization of System Performance using OpenMP m5151117 Yumiko Kimezawa May 25, 20111RPS.
Formal Methods for Privacy Formal Methods 2009 Eindhoven, The Netherlands November 4, 2009 Jeannette M. Wing Assistant Director Computer and Information.