research
∙
07/25/2023
mL-BFGS: A Momentum-based L-BFGS for Distributed Large-Scale Neural Network Optimization
Quasi-Newton methods still face significant challenges in training large...
share
research
∙
07/12/2023
Decalf: A Directed, Effectful Cost-Aware Logical Framework
We present decalf, a directed, effectful cost-aware logical framework fo...
research
∙
09/26/2022
A metalanguage for cost-aware denotational semantics
We present two metalanguages for developing synthetic cost-aware denotat...
research
∙
10/04/2021
AsymML: An Asymmetric Decomposition Framework for Privacy-Preserving DNN Training and Inference
Leveraging parallel hardware (e.g. GPUs) to conduct deep neural network ...
research
∙
07/09/2021
A cost-aware logical framework
We present calf, a cost-aware logical framework for studying quantitativ...
research
∙
11/07/2020
Cost-Aware Type Theory
Although computational complexity is a fundamental aspect of program beh...
research
∙
10/16/2019