CodeDSI: Differentiable Code Search. - Usama Nadeem; Noah Ziems; Shaoen Wu (CoRR, 2022)