Equivalence Checking of Array-Intensive Programs. - Chandan Karfa; Kunal Banerjee 001; Dipankar Sarkar 001; Chitta Mandal (ISVLSI, 2011)

A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques. - Kunal Banerjee 001; Chandan Karfa; Dipankar Sarkar 001; Chittaranjan Mandal 001 (ISED, 2012)

Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker. - Soumyadip Bandyopadhyay; Kunal Banerjee 001; Dipankar Sarkar 001; Chittaranjan A. Mandal (VDAT, 2012)

Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic. - Partha De; Kunal Banerjee 001; Chittaranjan A. Mandal; Debdeep Mukhopadhyay (DSD, 2013)

Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviors. - Chandan Karfa; Kunal Banerjee 001; Dipankar Sarkar 001; Chittaranjan A. Mandal (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Circuits and Synthesis Mechanism for Hardware Design to Counter Power Analysis Attacks. - Partha De; Kunal Banerjee 001; Chittaranjan A. Mandal; Debdeep Mukhopadhyay (DSD, 2014)

Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers. - Kunal Banerjee 001; Chittaranjan A. Mandal; Dipankar Sarkar 001 (VDAT, 2014)

A BDD based secure hardware design method to guard against power analysis attacks. - Partha De; Kunal Banerjee 001; Chittaranjan A. Mandal (VDAT, 2014)

Verification of Code Motion Techniques Using Value Propagation. - Kunal Banerjee 001; Chandan Karfa; Dipankar Sarkar 001; Chittaranjan A. Mandal (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs. - Kunal Banerjee 001; Dipankar Sarkar 001; Chittaranjan A. Mandal (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

A Path-based Equivalence Checking Method for Petri Net based Models of Programs. - Soumyadip Bandyopadhyay; Dipankar Sarkar 001; Kunal Banerjee 001; Chittaranjan A. Mandal (ICSOFT-EA, 2015)

Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking. - Kunal Banerjee 001; Chittaranjan A. Mandal; Dipankar Sarkar 001 (ISVLSI, 2015)

Establishing Equivalence of Expressions: An Automated Evaluator Designer's Perspective. - K. K. Sharma; Kunal Banerjee 001; Chittaranjan A. Mandal (MIKE, 2015)

A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs. - Kunal Banerjee 001; Chittaranjan A. Mandal; Dipankar Sarkar 001 (SCAM, 2015)

Determining Equivalence of Expressions: An Automated Evaluator's Perspective. - K. K. Sharma; Kunal Banerjee 001; Chittaranjan A. Mandal (T4E, 2015)

Implementing an Efficient Path Based Equivalence Checker for Parallel Programs. - Soumyadip Bandyopadhyay; Kunal Banerjee 001 (SEM4HPC@HPDC, 2016)

Translation validation of loop and arithmetic transformations in the presence of recurrences. - Kunal Banerjee 001; Chittaranjan A. Mandal; Dipankar Sarkar 001 (LCTES, 2016)

Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs. - Kunal Banerjee 001; Soumyadip Banerjee 001; Santonu Sarkar (ARRAY@PLDI, 2016)

A Path Construction Algorithm for Translation Validation Using PRES+ Models. - Soumyadip Bandyopadhyay; Dipankar Sarkar 001; Chittaranjan A. Mandal; Kunal Banerjee 001; Krishnam Raju Duddu (Parallel Process. Lett., 2016)

An Equivalence Checking Framework for Array-Intensive Programs. - Kunal Banerjee 001; Chittaranjan A. Mandal; Dipankar Sarkar 001 (ATVA, 2017)

PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations. - Soumyadip Bandyopadhyay; Kunal Banerjee 001 (SEM4HPC@HPDC, 2017)

An End-to-end Formal Verifier for Parallel Programs. - Soumyadip Bandyopadhyay; Santonu Sarkar; Kunal Banerjee 001 (ICSOFT, 2017)

Ternary Residual Networks. - Abhisek Kundu; Kunal Banerjee 001; Naveen Mellempudi; Dheevatsa Mudigere; Dipankar Das 002; Bharat Kaul; Pradeep Dubey (CoRR, 2017)

Deriving bisimulation relations from path based equivalence checkers. - Kunal Banerjee 001; Dipankar Sarkar 001; Chittaranjan A. Mandal (Formal Aspects Comput., 2017)

Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. - Kunal Banerjee 001; Dipankar Sarkar 001; Chittaranjan Mandal 001 (IEEE Trans. Software Eng., 2017)

Mixed Precision Training of Convolutional Neural Networks using Integer Operations. - Dipankar Das 002; Naveen Mellempudi; Dheevatsa Mudigere; Dhiraj D. Kalamkar; Sasikanth Avancha; Kunal Banerjee 001; Srinivas Sridharan 002; Karthik Vaidyanathan; Bharat Kaul; Evangelos Georganas; Alexander Heinecke; Pradeep Dubey; et al. (ICLR (Poster), 2018)

Automatic detection of inverse operations while avoiding loop unrolling. - Kunal Banerjee 001; Ramanuj Chouksey; Chandan Karfa; Pankaj Kumar Kalita (ICSE (Companion Volume), 2018)

Compiler-agnostic Translation Validation. - Kunal Banerjee 001; Chandan Karfa (ISEC, 2018)

Anatomy of high-performance deep learning convolutions on SIMD architectures. - Evangelos Georganas; Sasikanth Avancha; Kunal Banerjee 001; Dhiraj D. Kalamkar; Greg Henry; Hans Pabst; Alexander Heinecke (SC, 2018)

Training Google Neural Machine Translation on an Intel CPU Cluster. - Dhiraj D. Kalamkar; Kunal Banerjee 001; Sudarshan Srinivasan; Srinivas Sridharan 002; Evangelos Georganas; Mikhail E. Smorkalov; Cong Xu; Alexander Heinecke (CLUSTER, 2019)

A Quick Introduction to Functional Verification of Array-Intensive Programs. - Kunal Banerjee 001; Chandan Karfa (CoRR, 2019)

A Study of BFLOAT16 for Deep Learning Training. - Dhiraj D. Kalamkar; Dheevatsa Mudigere; Naveen Mellempudi; Dipankar Das 002; Kunal Banerjee 001; Sasikanth Avancha; Dharma Teja Vooturi; Nataraj Jammalamadaka; Jianyu Huang; Hector Yuen; Jiyan Yang; Jongsoo Park; et al. (CoRR, 2019)

High-Performance Deep Learning via a Single Building Block. - Evangelos Georganas; Kunal Banerjee 001; Dhiraj D. Kalamkar; Sasikanth Avancha; Anand Venkat; Michael J. Anderson; Greg Henry; Hans Pabst; Alexander Heinecke (CoRR, 2019)

K-TanH: Hardware Efficient Activations For Deep Learning. - Abhisek Kundu; Sudarshan Srinivasan; Eric C. Qin; Dhiraj D. Kalamkar; Naveen K. Mellempudi; Dipankar Das 002; Kunal Banerjee 001; Bharat Kaul; Pradeep Dubey (CoRR, 2019)

Counter-example generation procedure for path-based equivalence checkers. - Ramanuj Chouksey; Chandan Karfa; Kunal Banerjee 001; Pankaj Kumar Kalita; Purandar Bhaduri (IET Softw., 2019)

Optimizing Deep Learning RNN Topologies on Intel Architecture. - Kunal Banerjee 001; Evangelos Georganas; Dhiraj D. Kalamkar; Barukh Ziv; Eden Segal; Cristina Anderson; Alexander Heinecke (Supercomput. Front. Innov., 2019)

Harnessing Deep Learning via a Single Building Block. - Evangelos Georganas; Kunal Banerjee 001; Dhiraj D. Kalamkar; Sasikanth Avancha; Anand Venkat; Michael J. Anderson; Greg Henry; Hans Pabst; Alexander Heinecke (IPDPS, 2020)

Reliability Evaluation of Compressed Deep Learning Models. - Brunno F. Goldstein; Sudarshan Srinivasan; Dipankar Das 002; Kunal Banerjee 001; Leandro Santiago de Araújo; Victor da Cruz Ferreira; Alexandre Solon Nery; Sandip Kundu; Felipe M. G. França (LASCAS, 2020)

Designing a Bot for Efficient Distribution of Service Requests. - Arkadip Basu; Kunal Banerjee 001 (BotSE@ICSE, 2021)

From Pixels to Words: A Scalable Journey of Text Information from Product Images to Retail Catalog. - Pranay Dugar; Rajesh Shreedhar Bhat; Asit Sharad Tarsode; Uddipto Dutta; Kunal Banerjee 001; Anirban Chatterjee; Vijay Srinivas Agneeswaran (CIKM, 2021)

Exploring Alternatives to Softmax Function. - Kunal Banerjee 001; Vishak Prasad C.; Rishi Raj Gupta; Kartik Vyas; Anushree H.; Biswajit Mishra (DeLTA, 2021)

Look Before You Leap! Designing a Human-Centered AI System for Change Risk Assessment. - Binay Gupta; Anirban Chatterjee; Harika Matha; Kunal Banerjee 001; Lalitdutt Parsai; Vijay Agneeswaran 001 (CoRR, 2021)

Developing a noise-aware AI system for change risk assessment with minimal human intervention. - Subhadip Paul; Anirban Chatterjee; Binay Gupta; Kunal Banerjee 001 (CIKM Workshops, 2022)

WALTS: Walmart AutoML Libraries, Tools and Services. - Rahul Bajaj; Kunal Banerjee 001; Lalitdutt Parsai; Deepansh Goyal; Sachin Parmar; Divyajyothi Bn; Balamurugan Subramaniam; Chaitanya Sai; Tarun Balotia; Anirban Chatterjee; Kailash Sati (SEAA, 2022)

Look before You Leap! Designing a Human-centered AI System for Change Risk Assessment. - Binay Gupta; Anirban Chatterjee; Subhadip Paul; Harika Matha; Lalitdutt Parsai; Kunal Banerjee 001; Vijay Agneeswaran 001 (ICAART (3), 2022)

Designing, Developing and Deploying an Enterprise Scale Network Monitoring System. - Arkadip Basu; Rishi Singh; Chenyang Yu; Amarjeet Prasad; Kunal Banerjee 001 (ISEC, 2022)

Don't Miss the Fine Print! An Enhanced Framework to Extract Text from Low Resolution Images. - Pranay Dugar; Aditya Vikram; Anirban Chatterjee; Kunal Banerjee 001; Vijay Agneeswaran 001 (VISIGRAPP (5: VISAPP), 2022)

These Deals Won't Last! Longevity, Uniformity and Bias in Product Badge Assignment in E-Commerce Platforms. - Archit Bansal; Kunal Banerjee 001; Abhijnan Chakraborty (CoRR, 2022)

Detecting Concept Drift in the Presence of Sparsity - A Case Study of Automated Change Risk Assessment System. - Vishwas Choudhary; Binay Gupta; Anirban Chatterjee; Subhadip Paul; Kunal Banerjee 001; Vijay Agneeswaran 001 (CoRR, 2022)

Are you a Foodie looking for New Cookies to try out? Better not ask an LLM. - Binay Gupta; Saptarshi Misra; Anirban Chatterjee; Kunal Banerjee 001 (AIMLSystems, 2023)

A Dynamic Attention Based Graph Neural Network for Anomaly Prediction in Multi-Variate Time-Series & Its Application in Network Monitoring. - Meet Maheshwari; Binay Gupta; Anirban Chatterjee; Kunal Banerjee 001 (COMAD/CODS, 2023)

Designing a Vision Transformer based Enhanced Text Extractor for Product Images. - Saptarshi Misra; Pranay Dugar; Anirban Chatterjee; Lalitdutt Parsai; Kunal Banerjee 001 (COMAD/CODS, 2023)

These Deals Won't Last! Longevity, Uniformity, and Bias in Product Badge Assignment in eCommerce Platforms. - Archit Bansal; Kunal Banerjee 001; Abhijnan Chakraborty (eCom@SIGIR, 2023)

Real-time Anomaly Prediction at Scale using Anomaly Detection Augmented with Regression. - Kunal Banerjee 001; Binay Gupta; Meet Maheshwari; Lalitdutt Parsai; Geet Vudata; Soumik Dasgupta; Anirban Chatterjee (COMAD/CODS (December), 2024)

BARGAIN: A Super-Resolution Technique to Gain High-Resolution Images for Barcodes. - Saptarshi Misra; Kunal Banerjee 001; Anirban Chatterjee (COMAD/CODS, 2024)

waLLMartCache: A Distributed, Multi-tenant and Enhanced Semantic Caching System for LLMs. - Soumik Dasgupta; Anurag Wagh; Lalitdutt Parsai; Binay Gupta; Geet Vudata; Shally Sangal; Sohom Majumdar; Hema Rajesh; Kunal Banerjee 001; Anirban Chatterjee (ICPR (7), 2024)