Abhinandan Pal
Orcid: 0000-0002-4122-5092
According to our database1,
Abhinandan Pal
authored at least 4 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
2022
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022