Programming languages and software engineering
Video
Research talk: SPTAG++: Fast hundreds of billions-scale vector search with millisecond response time
Current state-of-the-art vector approximate nearest neighbor search (ANNS) libraries mainly focus on how to do fast high-recall search in memory. However, extremely large-scale vector search scenarios present certain challenges. For example, hundreds of billions of…
Video
Research talks: Software supply chain security
The software development process has an extensive list of dependencies for building software, to include build inputs such as source code, open-source software (OSS), software development kits (SDKs), compilers, linkers, and other build tools. Securing…
Publication
Nekara: Generalized Concurrency Testing
Publication