Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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…
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…
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…
