I am a postdoctoral researcher at Sorbonne University working under the supervision of Antoine Mine in the Mopsa team. Previously, I completed PhD in Computer Science in the Binsec group at CEA List, University of Paris-Saclay under the supervision of Sébastien BARDIN, Matthieu LEMERRE, and Jean-Yves MARION.

I am interested in designing program analysis formalisms and building tools that are able to handle the complexities of modern software development. Currently, I am focused on designing algorithmic frameworks for incremental abstraction refinement in static analysis.

Prior to my PhD studies, I earned a Master's degree in Computer Science from the Chennai Mathematical Institute in 2017.

Projects

I worked on improving the precision of abstract acceleration of loops for C programs. The techniques are implemented in the software verifier called VeriAbs. (SVComp Results)

Phd Thesis

Search-based Methods for Automated Precision Improvement in Static Analysis (Thesis)

Papers

SAS 2024

• Trace Partitioning as an Optimization Problem (Paper), Charles Babu M, Matthieu Lemerre, Sébsatien Bardin, Jean-Yves Marion.

TACAS 2020

• VeriAbs : VeriAbs: Verification by Abstraction and Test Generation (Tool paper), M Afzal, A Chauhan, Supratik Chakraborty, B Chimdyalwar, P Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, and Venkatesh R.

Activities

Sub-reviewer: ISSTA 2021, ESEC/FSE 2022, SAS 2022

Artifact-Evaluation: USENIX 2022, CAV 2023