Bodhisatwa Chatterjee

According to our database, Bodhisatwa Chatterjee authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

ProofWright: Towards Agentic Formal Verification of CUDA.

Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani, Siva Hari, Christos Kozyrakis

CoRR, November, 2025

2024

Phaedrus: Exploring Dynamic Application Behavior with Lightweight Generative Models and Large-Language Models.

Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan, Santosh Pande

CoRR, 2024

Pythia: Compiler-Guided Defense Against Non-Control Data Attacks.

Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics.

Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, Santosh Pande

Proc. ACM Program. Lang., October, 2023

2022

VICO: demand-driven verification for improving compiler optimizations.

Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande

Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

Com-CAS: Effective Cache Apportioning under Compiler Guidance.

Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

Effective Cache Apportioning for Performance Isolation Under Compiler Guidance.

Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande

CoRR, 2021