I am interested in work related to runtimes, programming models,
parallel and distributed system software, hardware and
software TM, and program analysis (static and dynamic analysis).
I enjoy desigining and implementing runtimes for concurrent systems
considering tradeoffs between performance and correctness across the
software stack.
I completed my PhD. under the guidance of Prof.
Michael D. Bond.
Our research group at OSU:
PLaSS.
My research was directed towards low-overhead, state-of-the-art
solutions that enforce strong
semantics in ill-synchronized programs using hyrbid static-dynamic
analysis, runtime support, compiler transformations, and software or
hardware transactional memory, all on commodity hardware. I had the
opportunity to collaborate with Prof.
Milind Kulkarni
at Purdue on several projects that are part of my PhD dissertation.
I joined the Automated Reasoning Group at Amazon. I am working on
enforcing correctness properties on AWS services at scale.
Previously I was a Researcher at Samsung Research, in SRA's Artificial
Intelligence Center, working on building systems targeting reliability,
performance, and explainability.
Here is a shorter resume:
resume.
My academic CV is
here:
CV.
.