Binary-Level Tools for Floating-Point Correctness Analysis Michael Lam LLNL Summer Intern 2011 Bronis de Supinski, Mentor.
Abstraction of Man-Made Shapes Ravish Mehra 1,2, Qingnan Zhou 1, Jeremy Long 4, Alla Sheffer 1, Amy Gooch 4, Niloy J. Mitra 2,3 1 Univ. of British Columbia.
E-ARMOR: An Online Tool to Evaluate Polypharmacy in Elderly Persons E-ARMOR Group Jacob Brown – Domain Expert Jordan Fish – Project Manager Kajal Miyan.