Programming languages and software engineering
Project
SeeDot: compiler for low-precision machine learning
The emergence of IoT and Machine Learning (ML) has seen an increase in systems that deploy sensors to collect data and analyze the data using ML algorithms in the cloud. However, running the ML classifiers directly…
Project
CHET
CHET is a compiler and runtime that automates many parts of this process for neural network inference tasks. The compiler applies transformations based on a framework of symbolic analysis passes.
Video
TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB
Microsoft Azure Cosmos DB provides 5 well defined operation consistency properties to the clients: strong consistency, bounded staleness, session consistency, consistent prefix, and eventual consistency. Here we provide client-centric TLA+ specifications of these properties to…
Publication
Verified Three-Way Program Merge
Video
How to Obtain and Run Light and Efficient Deep Learning Networks
Fast growth of the computation cost associated with training and testing of deep neural networks (DNNs) inspired various acceleration techniques. Reducing topological complexity and simplifying data representation of neural networks are two approaches that popularly…
