Animesh Basak Chowdhury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICCAD | ASCENT: Amplifying Power Side-Channel Resilience via Learning & Monte-Carlo Tree Search. | Jitendra Bhandari, Animesh Basak Chowdhury, Ozgur Sinanoglu, Siddharth Garg, Ramesh Karri, Johann Knechtel |
| 2024 | ICCAD | LEAP: Learning guided Quality Cut selection for faster Technology Mapping. | Chandrabhusan Reddy Chigarapally, Harshwardhan Nitin Bhakkad, Animesh Basak Chowdhury, Chandan Karfa, Sukanta Bhattacharjee |
| 2024 | ICLR | Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization. | Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg |
| 2023 | DAC | ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning. | Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan |
| 2023 | ICCAD | Invited Paper: Towards the Imagenets of ML4EDA. | Animesh Basak Chowdhury, Shailja Thakur, Hammond Pearce, Ramesh Karri, Siddharth Garg |
| 2022 | ITC | GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs. | Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay |
| 2021 | DAC | Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks. | Nimisha Limaye, Animesh Basak Chowdhury, Christian Pilato, Mohammed Thari Nabeel, Ozgur Sinanoglu, Siddharth Garg, Ramesh Karri |
| 2021 | VTS | Special Session: Machine Learning for Semiconductor Test and Reliability. | Hussam Amrouch, Animesh Basak Chowdhury, Wentian Jin, Ramesh Karri, Farshad Khorrami, Prashanth Krishnamurthy, Ilia Polian, Victor M. van Santen, Benjamin Tan, Sheldon X.-D. Tan |
| 2019 | TACAS | VeriFuzz: Program Aware Fuzzing - (Competition Contribution). | Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh |
| 2018 | NSS | ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. | Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya |
| 2018 | TACAS | VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). | Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla |