Rajdeep Mukherjee

According to our database, Rajdeep Mukherjee authored at least 45 papers between 2012 and 2024.

Collaborative distances:

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

2024

User-assisted code query customization and optimization.

Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang

Int. J. Softw. Tools Technol. Transf., October, 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

ACM Trans. Web, August, 2024

Scaling Use-case Based Shopping using LLMs.

Sachin Farfade, Sachin Vernekar, Vineet Chaoji, Rajdeep Mukherjee

Proceedings of the 17th ACM International Conference on Web Search and Data Mining, 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, Pawan Goyal

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

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

Proceedings of the Eighteenth International AAAI Conference on Web and Social Media, 2024

2023

User-Assisted Code Query Optimization.

Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Heterogeneous Generative Dataset for UASes.

Balakrishnan Dharmalingam, Ibrahim Odat, Rajdeep Mukherjee, Brett Piggott, Anyi Liu

Proceedings of the IEEE International Conference on Mobility, 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

Proceedings of the IEEE/ACM Symposium on Edge Computing, 2023

Long-term Static Analysis Rule Quality Monitoring Using True Negatives.

Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Shifting Left for Early Detection of Machine-Learning Bugs.

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser

Proceedings of the Formal Methods - 25th International Symposium, 2023

CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction.

Rajdeep Mukherjee, Nithish Kannen, Saurabh Kumar Pandey, Pawan Goyal

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments.

Debtanu Datta, Shubham Soni, Rajdeep Mukherjee, Saptarshi Ghosh

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

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, Niloy Ganguly

Proceedings of the WSDM '22: The Fifteenth ACM International Conference on Web Search and Data Mining, Virtual Event / Tempe, AZ, USA, February 21, 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

Proceedings of the SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11, 2022

ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach.

Raghav R, Adarsh Vemali, Rajdeep Mukherjee

Proceedings of the 16th International Workshop on Semantic Evaluation, SemEval@NAACL 2022, 2022

Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation.

Abhay Shukla, Paheli Bhattacharya, Soham Poddar, Rajdeep Mukherjee, Kripabandhu Ghosh, Pawan Goyal, Saptarshi Ghosh

Proceedings of the 2nd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 12th International Joint Conference on Natural Language Processing, 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, Pawan Goyal

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Static Analysis for AWS Best Practices in Python Code.

Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

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

Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 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

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

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

Proceedings of the Advances in Information Retrieval, 2021

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

Hardware/Software Co-verification Using Path-based Symbolic Execution.

Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham

CoRR, 2020

Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews.

Rajdeep Mukherjee, Hari Chandana Peruri, Uppada Vishnu, Pawan Goyal, Sourangshu Bhattacharya, Niloy Ganguly

Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, 2020

2018

Precise abstract interpretation of hardware designs.

Rajdeep Mukherjee

PhD thesis, 2018

StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures.

Sawon Pratiher, Subhankar Chattoraj, Rajdeep Mukherjee

Proceedings of the 2018 IEEE Global Conference on Signal and Information Processing, 2018

Efficient verification of multi-property designs (The benefit of wrong assumptions).

Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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

Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.

Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening

Proceedings of the 54th Annual Design Automation Conference, 2017

Lifting CDCL to Template-Based Abstract Domains for Program Verification.

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

CoRR, 2016

v2c - A Verilog to C Translator.

Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening

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

Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Proceedings of the FM 2016: Formal Methods, 2016

Unbounded safety verification for hardware using software analyzers.

Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Equivalence Checking Using Trace Partitioning.

Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas

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

Hardware Verification Using Software Analyzers.

Rajdeep Mukherjee, Daniel Kroening, Tom Melham

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

2014

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

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture

Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal

CoRR, 2013

Formal Verification of Hardware / Software Power Management Strategies.

Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Model checking of global power management strategies in software with temporal logic properties.

Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta

Proceedings of the 6th India Software Engineering Conference, 2013

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

Proceedings of the International Symposium on Electronic System Design, 2012

Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture.

Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal

Proceedings of the Advances in Computing and Information Technology - Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India, 2012