Как получить имя Android AVD из имени устройства adb

Используя Android SDK из командной строки, я могу получить список доступных работающих устройств, используя:

./adb device

Это дает мне серийный номер доступных устройств. Как я могу получить имя AVD устройства-эмулятора из этого серийного номера (например, плагин Eclipse ADT)?