Sutirtha Bhattacharyya

According to our database, Sutirtha Bhattacharyya authored at least 5 papers between 2024 and 2026.

Collaborative distances:

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

2026

LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking.

Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly

Proceedings of the 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems, 2026

2025

LHS: LLM Assisted Efficient High-level Synthesis of Deep Learning Tasks.

E. Bhawani Eswar Reddy, Sutirtha Bhattacharyya, Ankur Sarmah, Fedrick Nongpoh, Karthik Maddala, Chandan Karfa

ACM Trans. Design Autom. Electr. Syst., November, 2025

LAMA: A Latency Minimum Resource Constraint Accelerator for CNN Models.

Sutirtha Bhattacharyya, Fedrick Nongpoh, Karthik Maddala, E. Bhawani Eswar Reddy, Chandan Karfa

Proceedings of the 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems, 2025

New Branching Heuristics for Incremental Bounded Model Checking.

Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025

2024

LLM vs HLS for RTL Code Generation: Friend or Foe?

Sutirtha Bhattacharyya, Sutharshanan B. G, Chandan Karfa

Proceedings of the 33rd IEEE Asian Test Symposium, 2024