research
∙
02/01/2023
iPAL: A Machine Learning Based Smart Healthcare Framework For Automatic Diagnosis Of Attention Deficit/Hyperactivity Disorder (ADHD)
ADHD is a prevalent disorder among the younger population. Standard eval...
share
research
∙
11/16/2022
Optimal Stateless Model Checking of Transactional Programs under Causal Consistency
We present a framework for efficient stateless model checking (SMC) of c...
research
∙
01/08/2022
Two-Pass End-to-End ASR Model Compression
Speech recognition on smart devices is challenging owing to the small me...
research
∙
08/06/2021
Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions during Clinical Evaluation of Medical Images
Semantic segmentation of medical images is an essential first step in co...
research
∙
07/05/2021
Automated inference of production rules for glycans
Glycans are tree-like polymers made up of sugar monomer building blocks....
research
∙
05/31/2021
Diffy: Inductive Reasoning of Array Programs using Difference Invariants
We present a novel verification technique to prove interesting propertie...
research
∙
02/23/2020
Verifying Array Manipulating Programs with Full-Program Induction
We present a full-program induction technique for proving (a sub-class o...
research
∙
04/23/2019
Trend-Based Networking Driven by Big Data Telemetry for SDN and Traditional Networks
Organizations face a challenge of accurately analyzing network data and ...
research
∙
10/10/2018
Synthesis for Vesicle Traffic Systems
Vesicle Traffic Systems (VTSs) are the material transport mechanisms amo...
research
∙
04/15/2018
SMT Solving for Vesicle Traffic Systems in Cells
In biology, there are several questions that translate to combinatorial ...
research
∙
07/12/2017