Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. The emergence of IoT and Machine Learning (ML) has seen an increase in systems that deploy sensors to…
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.
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…
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…
