VMs / XP / Windows XP / Windows 2000 / Microsoft Windows / /
Organization
Army Research Office / National Science Foundation / UC Berkeley / Carnegie Mellon / RWTH Aachen University / Air Force office of Scientific Research / /
Person
Artem Dinaburg / Stephen McCamant Dawn Song / Paul Royal / Min Gyung Kang / Min Gyung Kang Heng Yin / / /
Position
skilled analyst / analyst / /
Product
Windows XP / Ether / DSMs / /
ProgrammingLanguage
Python / /
ProvinceOrState
Illinois / /
RadioStation
XED / /
Technology
comparison-based back slicing algorithm / DSM generation algorithm / virtual machine / 2.2 Worklist algorithm / DSM construction algorithm / API / operating system / html / OPERATING SYSTEMS / cmp / real processor / alignment algorithm / trace matching algorithm / http / coverage-based diagnosis algorithm / dynamic programming algorithm / diagnosis algorithm / simulation / DSM-building algorithm / /