Animesh Basak Chowdhury

According to our database, Animesh Basak Chowdhury authored at least 28 papers between 2018 and 2024.

Collaborative distances:

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

2024

Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS.

Matthew DeLorenzo, Animesh Basak Chowdhury, Vasudev Gohil, Shailja Thakur, Ramesh Karri, Siddharth Garg, Jeyavijayan Rajendran

CoRR, 2024

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization.

Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg

CoRR, 2024

2023

Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Postquantum Signature Schemes.

Animesh Basak Chowdhury, Anushree Mahapatra, Deepraj Soni, Ramesh Karri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis.

Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, Ramesh Karri, Siddharth Garg

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023

A Golden-Free Approach to Detect Trojans in COTS Multi-PCB Systems.

Animesh Basak Chowdhury, Anushree Mahapatra, Yang Liu, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri

IEEE Micro, 2023

Towards the Imagenets of ML4EDA.

Animesh Basak Chowdhury, Shailja Thakur, Hammond Pearce, Ramesh Karri, Siddharth Garg

CoRR, 2023

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search.

Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg

CoRR, 2023

ConVERTS: Contrastively Learning Structurally InVariant Netlist Representations.

Animesh Basak Chowdhury, Jitendra Bhandari, Luca Collini, Ramesh Karri, Benjamin Tan, Siddharth Garg

Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023

Invited Paper: Towards the Imagenets of ML4EDA.

Animesh Basak Chowdhury, Shailja Thakur, Hammond Pearce, Ramesh Karri, Siddharth Garg

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

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

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Robust Deep Learning for IC Test Problems.

Animesh Basak Chowdhury, Benjamin Tan, Siddharth Garg, Ramesh Karri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution.

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay

CoRR, 2022

Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis.

Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, Ramesh Karri, Siddharth Garg

CoRR, 2022

Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Post-Quantum Signature Schemes.

Animesh Basak Chowdhury, Anushree Mahapatra, Deepraj Soni, Ramesh Karri

CoRR, 2022

GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs.

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay

Proceedings of the IEEE International Test Conference, 2022

2021

ASSURE: RTL Locking Against an Untrusted Foundry.

Christian Pilato, Animesh Basak Chowdhury, Donatella Sciuto, Siddharth Garg, Ramesh Karri

IEEE Trans. Very Large Scale Integr. Syst., 2021

Adversarially Robust Learning via Entropic Regularization.

Gauri Jagatap, Ameya Joshi, Animesh Basak Chowdhury, Siddharth Garg, Chinmay Hegde

Frontiers Artif. Intell., 2021

FuCE: Fuzzing+Concolic Execution guided Trojan Detection in Synthesizable Hardware Designs.

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay

CoRR, 2021

OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis.

Animesh Basak Chowdhury, Benjamin Tan, Ramesh Karri, Siddharth Garg

CoRR, 2021

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

Proceedings of the 39th IEEE VLSI Test Symposium, 2021

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

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Adversarially Robust Learning via Entropic Regularization.

Gauri Jagatap, Animesh Basak Chowdhury, Siddharth Garg, Chinmay Hegde

CoRR, 2020

Explaining and Interpreting Machine Learning CAD Decisions: An IC Testing Case Study.

Prashanth Krishnamurthy, Animesh Basak Chowdhury, Benjamin Tan, Farshad Khorrami, Ramesh Karri

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

2019

RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares.

Animesh Basak Chowdhury

CoRR, 2019

VeriFuzz: Program Aware Fuzzing - (Competition Contribution).

Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Fault Coverage of a Test Set on Structure-Preserving Siblings of a Circuit-Under-Test.

Manobendra Nath Mondal, Animesh Basak Chowdhury, Manjari Pradhan, Susmita Sur-Kolay, Bhargab B. Bhattacharya

Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems.

Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya

Proceedings of the Network and System Security - 12th International Conference, 2018