research
∙
11/09/2021
DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution
The rapidly growing size of deep neural network (DNN) models and dataset...
share
research
∙
09/12/2021
Verifying Concurrent Multicopy Search Structures
Multicopy search structures such as log-structured merge (LSM) trees are...
research
∙
11/19/2019
Local Reasoning for Global Graph Properties
Separation logics are widely used for verifying programs that manipulate...
research
∙
11/04/2019
Verifying Visibility-Based Weak Consistency
Multithreaded programs generally leverage efficient and thread-safe conc...
research
∙
01/01/2018
On the tensor rank of 3× 3 permanent and determinant
The tensor rank and border rank of the 3 × 3 determinant tensor is known...
research
∙
11/09/2017