CoRoVA: Compressed Representations for Vector-Augmented Code Completion | AMiner