I am a PhD student in the Binsec group at CEA List working 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)
Recent-News
Workshop @ Frejus, France: I gave a talk on my current work on a new abstraction refinement framework in static analysis at the 2022 Annual Meeting of the WG "Formal Methods for Security" in March at Fréjus (France) .
Papers
TACAS 2020- VeriAbs : VeriAbs: Verification by Abstraction and Test Generation (Tool paper), M Afzal, A Chauhan, Supratik Chakraborty, B Chimdyalwar, P Darke, AshutoshGupta, 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