Programming languages and software engineering
Video
Research talks: AI for software development
This session will showcase a future in which AI automates much of the tedious and error-prone collaborative software development tasks. We take a broad, end-to-end view of software development that consists of not only coding…
Video
Research talk: Torchy: A tracing JIT compiler for PyTorch
This session will introduce current technologies to speed up training of machine learning models and their limitations, and it will also include a presentation of Torchy, a transparent solution to speed up PyTorch workloads through…
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