I am a doctoral candidate in the Computer Science department of Stony Brook University, New York.
Interests
Artificial Intelligence • Deep Reinforcement Learning
• Stochastic Decision Making • Statistical Learning • Robotics
Projects
-
UnreLyzer, A static interval analyzer for C like unreliable programs
[code]
[paper]
Unrelyzer is a static analysis tool that analyzes a program defined by a subset of C (Mini-C) grammar with an addendum where each arithmetic, boolean and memory (Read/Write) operation in the program is probabilistic/unreliable in nature. This tool statically analyzes the program using Abstract Interpretation in the interval domain and determines the interval of values with a certain confidence for each program variable at each program point. This tool was built as part of my Master’s thesis.
-
ProPFA, Probabilistic Path based Failure Analyzer
[code]
[paper]
This automatic tool uses a path based failure analysis approach to estimate failure probability of C programs. It is designed as an integrated framework that takes as input a C program annotated with failure assertions, the discrete ranges and probability density functions of all independent input variables. It estimates success probability of each execution path of a program separately and returns failure probability of the whole program along with a measure of confidence on the paths explored within a defined time and memory bound.