← Back to main page
CompTaint, a paper on large-scale compositional static taint analysis to enforce policies on code, is accepted at ESEC/FSE 2023!
Presented
RAPID at
ESEC/FSE 2021, Aug 2021. Check out the
talk to know how
CodeGuru works at Amazon scale!
Our paper: RAPID on API checking in the cloud accepted at ESEC/FSE 2021!
An extended version of Transactuation accepted at ACM TOCS (2020)!
Joined the Automated Reasoning Group at Amazon AWS!
Transactuation invited to be submitted to ACM Transactions on Computer Systems!
Transactuation wins the Best Paper Award at USENIX ATC 2019! Presented Talk at Seattle.
Transactuation accepted at USENIX ATC 2019.
Joined Samsung Research America on July 2017.
Defended my PhD Dissertation:
Efficient Compiler and Runtime Support for Strong Semantics on Commodity Hardware.
Dissertation.
Paper on bounded region serializability using HTM accepted at CGO 2017. Presented the work at Austin on Feb 6, 2017.
Completed an internship at Microsoft Research. Worked with an amazing team on memory pressure aware server provisioning.
Presented a poster on bounded region serializability at OOPSLA 2015 student research competition.
Paper on enforcement of stronger memory model for Java accepted at PPPJ 2015. Presented the Talk at Melbourne, Florida.
Passed PhD candidacy examination.
Paper on enforcement of strong semantics using hybrid static-dynamic analysis accepted at ASPLOS 2015. Presented the paper at Istanbul, Turkey.
Presented a poster on a novel technique to enforce serializability at PLDI 2013 student research competition.