research
∙
08/11/2022
Interactive Code Generation via Test-Driven User-Intent Formalization
Pre-trained large language models (LLMs) such as OpenAI Codex have shown...
share
research
∙
06/04/2022
Fault-Aware Neural Code Rankers
Large language models (LLMs) have demonstrated an impressive ability to ...
research
∙
01/27/2022
GC3: An Optimizing Compiler for GPU Collective Communication
Machine learning models made up of millions or billions of parameters ar...
research
∙
05/12/2021
Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads
Recent trend towards increasing large machine learning models require bo...
research
∙
12/27/2019
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabl...
research
∙
10/01/2018
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs
Fully Homomorphic Encryption (FHE) refers to a set of encryption schemes...
research
∙
05/22/2017
