The rapidly growing size of deep neural network (DNN) models and dataset...
Multicopy search structures such as log-structured merge (LSM) trees are...
Separation logics are widely used for verifying programs that manipulate...
Multithreaded programs generally leverage efficient and thread-safe
conc...
The tensor rank and border rank of the 3 × 3 determinant tensor is
known...
Concurrent separation logics have helped to significantly simplify
corre...