Abhinandan Pal -

Registered user since Wed 31 Aug 2022

Name:Abhinandan Pal

Country:United Kingdom

Affiliation:University of Birmingham

Personal website: https://www.abhinandanpal.co.in/

GitHub: https://github.com/Abhinandan-Pal

Research interests:ML Verification, Abstract Interpretation, Model Checking

Contributions

2025

POPL

Author of Loop Invariants Using Neural Networks within the Student Research Competition-track

2024

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

POPL

Author of PiR (πr): Probabilistic Interpretation of Robustness within the Student Research Competition-track

VMCAI

Author of Abstract Interpretation-Based Feature Importance for Support Vector Machines within the VMCAI 2024-track

CAV - External

Member in Artifact Evaluation Committee within the Artifact Evaluation-track

NeurIPS - External

Author of Neural Model Checking within the Main-track

2022

SPLASH

Author of Qiwi: A Beginner Friendly Quantum Language within the Student Research Competition-track