Currently I work on the Rel compiler front-end. Previously I worked on flow-sensitive points-to analysis in SVF.