How exactly do USB audio interfaces interface with a computer? (specifically ADC)
universal protocol that is used by the likes of USB audio 


Sounds like the USB Audio Class specification.


  Is this conversion from output of ADC to USB data stream something which we can do, say, with a microcontroller? 


Some USB microcontrollers - NXP LPC17xx for example - have example code for USB Audio Class available.