1 citations · 1 across the 4 of their papers we have counts for
4 papers
ProofWright: Towards Agentic Formal Verification of CUDA
Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani +2
Large Language Models (LLMs) are increasingly used to automatically generate optimized CUDA kernels, substantially improving developer productivity. However, despite rapid generati…
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Bodhisatwa Chatterjee, Neeraj Jadhav, Santosh Pande
Application profiling is essential for software optimization tasks such as code layout and memory placement, where optimization decisions depend on program behavior. However, moder…
Compiler-Guided Throughput Scheduling for Many-core Machines
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee +4
Typical schedulers in multi-tenancy environments make use of reactive, feedback-oriented mechanisms based on performance counters to avoid resource contention but suffer from detec…
Effective Cache Apportioning for Performance Isolation Under Compiler Guidance
Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande
With a growing number of cores in modern high-performance servers, effective sharing of the last level cache (LLC) is more critical than ever. The primary agenda of such systems is…