Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (ACITY (3), 2012)

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. - Rajdeep Mukherjee; Priyankar Ghosh; N. Sravan Kumar; Pallab Dasgupta; Ajit Pal (ISED, 2012)

Model checking of global power management strategies in software with temporal logic properties. - Rajdeep Mukherjee; Subhankar Mukherjee 001; Pallab Dasgupta (ISEC, 2013)

Formal Verification of Hardware / Software Power Management Strategies. - Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Subhankar Mukherjee 001 (VLSI Design, 2013)

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (CoRR, 2013)

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (J. Low Power Electron., 2013)

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. - Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin Harer; Ansuman Banerjee; Subhankar Mukherjee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Formal Hardware/Software Co-Verification of Embedded Power Controllers. - Pallab Dasgupta; Mandayam K. Srivas; Rajdeep Mukherjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Hardware Verification Using Software Analyzers. - Rajdeep Mukherjee; Daniel Kroening; Tom Melham (ISVLSI, 2015)

Equivalence Checking Using Trace Partitioning. - Rajdeep Mukherjee; Daniel Kroening; Tom Melham; Mandayam K. Srivas (ISVLSI, 2015)

Unbounded safety verification for hardware using software analyzers. - Rajdeep Mukherjee; Peter Schrammel; Daniel Kroening; Tom Melham (DATE, 2016)

Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. - Rajdeep Mukherjee; Saurabh Joshi 001; Andreas Griesmayer; Daniel Kroening; Tom Melham (FM, 2016)

v2c - A Verilog to C Translator. - Rajdeep Mukherjee; Michael Tautschnig; Daniel Kroening (TACAS, 2016)

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). - Rajdeep Mukherjee; Saurabh Joshi 001; Andreas Griesmayer; Daniel Kroening; Tom Melham (CoRR, 2016)

Lifting CDCL to Template-Based Abstract Domains for Program Verification. - Rajdeep Mukherjee; Peter Schrammel; Leopold Haller; Daniel Kroening; Tom Melham (ATVA, 2017)

Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. - Rajdeep Mukherjee; Mitra Purandare; Raphael Polig; Daniel Kroening (DAC, 2017)

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). - Eugene Goldberg; Matthias Güdemann; Daniel Kroening; Rajdeep Mukherjee (CoRR, 2017)

Efficient verification of multi-property designs (The benefit of wrong assumptions). - Eugene Goldberg; Matthias Güdemann; Daniel Kroening; Rajdeep Mukherjee (DATE, 2018)

StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures. - Sawon Pratiher; Subhankar Chattoraj; Rajdeep Mukherjee (GlobalSIP, 2018)

Precise abstract interpretation of hardware designs. - Rajdeep Mukherjee (2018)

Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews. - Rajdeep Mukherjee; Hari Chandana Peruri; Uppada Vishnu; Pawan Goyal 002; Sourangshu Bhattacharya; Niloy Ganguly (SIGIR, 2020)

Hardware/Software Co-verification Using Path-based Symbolic Execution. - Rajdeep Mukherjee; Saurabh Joshi 001; John O'Leary; Daniel Kroening; Tom Melham (CoRR, 2020)

How Have We Reacted To The COVID-19 Pandemic? Analyzing Changing Indian Emotions Through The Lens of Twitter. - Rajdeep Mukherjee; Sriyash Poddar; Atharva Naik; Soham Dasgupta (CoRR, 2020)

Reproducibility, Replicability and Beyond: Assessing Production Readiness of Aspect Based Sentiment Analysis in the Wild. - Rajdeep Mukherjee; Shreyas Shetty; Subrata Chattopadhyay; Subhadeep Maji; Samik Datta; Pawan Goyal 002 (ECIR (2), 2021)

PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction. - Rajdeep Mukherjee; Tapas Nayak; Yash Butala; Sourangshu Bhattacharya; Pawan Goyal 002 (EMNLP (1), 2021)

Understanding the Role of Affect Dimensions in Detecting Emotions from Tweets: A Multi-task Approach. - Rajdeep Mukherjee; Atharva Naik; Sriyash Poddar; Soham Dasgupta; Niloy Ganguly (SIGIR, 2021)

Static Analysis for AWS Best Practices in Python Code. - Rajdeep Mukherjee; Omer Tripp; Ben Liblit; Michael Wilson (ECOOP, 2022)

ECTSum: A New Benchmark Dataset For Bullet Point Summarization of Long Earnings Call Transcripts. - Rajdeep Mukherjee; Abhinav Bohra; Akash Banerjee; Soumya Sharma; Manjunath Hegde; Afreen Shaikh; Shivani Shrivastava; Koustuv Dasgupta; Niloy Ganguly; Saptarshi Ghosh 001; Pawan Goyal 002 (EMNLP, 2022)

Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation. - Abhay Shukla; Paheli Bhattacharya; Soham Poddar; Rajdeep Mukherjee; Kripabandhu Ghosh; Pawan Goyal 002; Saptarshi Ghosh 001 (AACL/IJCNLP (1), 2022)

ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach. - Raghav R; Adarsh Vemali; Rajdeep Mukherjee (SemEval@NAACL, 2022)

CAVES: A Dataset to facilitate Explainable Classification and Summarization of Concerns towards COVID Vaccines. - Soham Poddar; Azlaan Mustafa Samad; Rajdeep Mukherjee; Niloy Ganguly; Saptarshi Ghosh 001 (SIGIR, 2022)

MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs. - Rajdeep Mukherjee; Uppada Vishnu; Hari Chandana Peruri; Sourangshu Bhattacharya; Koustav Rudra; Pawan Goyal 002; Niloy Ganguly (WSDM, 2022)

MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments. - Debtanu Datta; Shubham Soni; Rajdeep Mukherjee; Saptarshi Ghosh 001 (EMNLP, 2023)

CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction. - Rajdeep Mukherjee; Nithish Kannen; Saurabh Kumar Pandey; Pawan Goyal 002 (EMNLP (Findings), 2023)

Shifting Left for Early Detection of Machine-Learning Bugs. - Ben Liblit; Linghui Luo; Alejandro Molina 002; Rajdeep Mukherjee; Zachary Patterson; Goran Piskachev; Martin Schäf; Omer Tripp; Willem Visser (FM, 2023)

A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. - Sedick Baker Effendi; Berk Çirisci; Rajdeep Mukherjee; Hoan Anh Nguyen; Omer Tripp (ICSE-SEIP, 2023)

Long-term Static Analysis Rule Quality Monitoring Using True Negatives. - Linghui Luo; Rajdeep Mukherjee; Omer Tripp; Martin Schäf; Qiang Zhou 009; Daniel Sanchez (ICSE-SEIP, 2023)

Net-GPT: A LLM-Empowered Man-in-the-Middle Chatbot for Unmanned Aerial Vehicle. - Brett Piggott; Siddhant Patil; Guohuan Feng; Ibrahim Odat; Rajdeep Mukherjee; Balakrishnan Dharmalingam; Anyi Liu (SEC, 2023)

Heterogeneous Generative Dataset for UASes. - Balakrishnan Dharmalingam; Ibrahim Odat; Rajdeep Mukherjee; Brett Piggott; Anyi Liu (MOST, 2023)

User-Assisted Code Query Optimization. - Ben Liblit; Yingjun Lyu; Rajdeep Mukherjee; Omer Tripp; Yanjun Wang 005 (SOAP@PLDI, 2023)

How COVID-19 Has Impacted the Anti-vaccine Discourse: A Large-Scale Twitter Study Spanning Pre-COVID and Post-COVID Era. - Soham Poddar; Rajdeep Mukherjee; Subhendu Khatuya; Niloy Ganguly; Saptarshi Ghosh 001 (ICWSM, 2024)

Parameter-Efficient Instruction Tuning of Large Language Models For Extreme Financial Numeral Labelling. - Subhendu Khatuya; Rajdeep Mukherjee; Akash Ghosh; Manjunath Hegde; Koustuv Dasgupta; Niloy Ganguly; Saptarshi Ghosh 001; Pawan Goyal 002 (NAACL-HLT, 2024)

Scaling Use-case Based Shopping using LLMs. - Sachin Farfade; Sachin Vernekar; Vineet Chaoji; Rajdeep Mukherjee (WSDM, 2024)

MuLX-QA: Classifying Multi-Labels and Extracting Rationale Spans in Social Media Posts. - Soham Poddar; Rajdeep Mukherjee; Azlaan Mustafa Samad; Niloy Ganguly; Saptarshi Ghosh 001 (ACM Trans. Web, 2024)

User-assisted code query customization and optimization. - Ben Liblit; Yingjun Lyu; Rajdeep Mukherjee; Omer Tripp; Yanjun Wang 005 (Int. J. Softw. Tools Technol. Transf., 2024)

Using Instruction-Tuned LMs for Scalable Use Case-Based Shopping - Where Customers Meet Their Needs. - Rajdeep Mukherjee; Sonali Singh; Sachin Farfade (KDD (1), 2025)

Aero-LLM: A Distributed Framework for Secure UAV Communication and Intelligent Decision-Making. - Balakrishnan Dharmalingam; Rajdeep Mukherjee; Brett Piggott; Guohuan Feng; Anyi Liu (CoRR, 2025)