Hi, I am Jyoti. I work for OpenText India in developing a state-of-the-art static analyzer for detecting security vulnerabilities. My research interests are in static program analysis, information flow control, and polyglot programming.

I have defended my PhD dissertation on the topic of Static Analysis of Interlanguage Interoperations: (Slides) and (Thesis) . I did my PhD at the University of Passau in Chair of Software Engineering 1 supervised by Christian Hammer.

I hold a masters' degree in Computer Science from Saarland University and a bachelors' degree in Information Technology from VSS University of Technology. I have also worked as a software developer in IBM Consulting.

Updates

• (Oct 2024) Defended my PhD thesis on Static Analysis of Interlanguage Interoperations (Slides)
• (Oct 2024) I am on TACAS'24 AEC
• (Jun 2024) I am on ISSTA'24 AEC
• (Jun 2024) Paper on Android IFC repair accepted in FM'24