research
∙
08/11/2023
Code Transpilation for Hardware Accelerators
DSLs and hardware accelerators have proven to be very effective in optim...
share
research
∙
08/07/2023
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations
Videos that are shot using commodity hardware such as phones and surveil...
research
∙
06/18/2023
Optimizing Stateful Dataflow with Local Rewrites
Optimizing a stateful dataflow language is a challenging task. There are...
research
∙
05/29/2023
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
Transformer-based models, such as BERT and ViT, have achieved state-of-t...
research
∙
05/21/2023
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers
This paper explores the effectiveness of model-generated signals in impr...
research
∙
03/26/2023
An Evaluation of Memory Optimization Methods for Training Neural Networks
As models continue to grow in size, the development of memory optimizati...
research
∙
03/07/2023
ADELT: Transpilation Between Deep Learning Frameworks
We propose Adversarial DEep Learning Transpiler (ADELT) for source-to-so...
research
∙
10/23/2022
Keep CALM and CRDT On
Despite decades of research and practical experience, developers have fe...
research
∙
06/28/2022
NumS: Scalable Array Programming for the Cloud
Scientists increasingly rely on Python tools to perform scalable distrib...
research
∙
06/22/2022
GACT: Activation Compressed Training for General Architectures
Training large neural network (NN) models requires extensive memory reso...
research
∙
05/25/2022
Katara: Synthesizing CRDTs with Verified Lifting
Conflict-free replicated data types (CRDTs) are a promising tool for des...
research
∙
05/14/2022
The Sky Above The Clouds
Technology ecosystems often undergo significant transformations as they ...
research
∙
05/05/2022
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
Exploiting the relationships among data, such as primary and foreign key...
research
∙
04/14/2022
Synthesizing Analytical SQL Queries from Computation Demonstration
Analytical SQL is widely used in modern database applications and data a...
research
∙
03/30/2021
VSS: A Storage System for Video Analytics [Technical Report]
We present a new video storage system (VSS) designed to decouple high-le...
research
∙
01/04/2021
New Directions in Cloud Programming
Nearly twenty years after the launch of AWS, it remains difficult for mo...
research
∙
06/04/2020
TASM: A Tile-Based Storage Manager for Video Analytics
The amount of video data being produced is rapidly growing. At the same ...
research
∙
04/19/2019
Learning Programmatic Idioms for Scalable Semantic Parsing
Programmers typically organize executable source code using high-level c...
research
∙
02/04/2019
Vignette: Perceptual Compression for Video Storage and Processing Systems
Compressed videos constitute 70 rates far outpace compute and storage im...
research
∙
10/03/2018
Improving High Contention OLTP Performance via Transaction Scheduling
Research in transaction processing has made significant progress in impr...
research
∙
08/29/2018
Mapping Language to Code in Programmatic Context
Source code is rarely written in isolation. It depends significantly on ...
research
∙
02/26/2018
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing
Modern data processing applications execute increasingly sophisticated a...
research
∙
02/06/2018
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Deciding the equivalence of SQL queries is a fundamental problem in data...
research
∙
01/30/2018
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
MapReduce is a popular programming paradigm for running large-scale data...
research
∙
04/27/2017