Rajdeep Mukherjee

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 48

Top Topics

Epileptic Seizures

Static Analysis

Top Venues

Publications

Subhendu Khatuya, Rajdeep Mukherjee, Akash Ghosh, Manjunath Hegde, Koustuv Dasgupta, Niloy Ganguly, Saptarshi Ghosh, Pawan Goyal
Parameter-Efficient Instruction Tuning of Large Language Models For Extreme Financial Numeral Labelling. NAACL-HLT (2024)
Soham Poddar, Rajdeep Mukherjee, Subhendu Khatuya, Niloy Ganguly, Saptarshi Ghosh
How COVID-19 has Impacted the Anti-Vaccine Discourse: A Large-Scale Twitter Study Spanning Pre-COVID and Post-COVID Era. CoRR (2024)
Sachin Farfade, Sachin Vernekar, Vineet Chaoji, Rajdeep Mukherjee
Scaling Use-case Based Shopping using LLMs. WSDM (2024)
Subhendu Khatuya, Rajdeep Mukherjee, Akash Ghosh, Manjunath Hegde, Koustuv Dasgupta, Niloy Ganguly, Saptarshi Ghosh, Pawan Goyal
Parameter-Efficient Instruction Tuning of Large Language Models For Extreme Financial Numeral Labelling. CoRR (2024)
Soham Poddar, Rajdeep Mukherjee, Subhendu Khatuya, Niloy Ganguly, Saptarshi Ghosh
How COVID-19 Has Impacted the Anti-vaccine Discourse: A Large-Scale Twitter Study Spanning Pre-COVID and Post-COVID Era. ICWSM (2024)
Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
Shifting Left for Early Detection of Machine-Learning Bugs. FM (2023)
Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. ICSE-SEIP (2023)
Brett Piggott, Siddhant Patil, Guohuan Feng, Ibrahim Odat, Rajdeep Mukherjee, Balakrishnan Dharmalingam, Anyi Liu
Net-GPT: A LLM-Empowered Man-in-the-Middle Chatbot for Unmanned Aerial Vehicle. sec (2023)
Debtanu Datta, Shubham Soni, Rajdeep Mukherjee, Saptarshi Ghosh
MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments. EMNLP (2023)
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang
User-Assisted Code Query Optimization. SOAP@PLDI (2023)
Debtanu Datta, Shubham Soni, Rajdeep Mukherjee, Saptarshi Ghosh
MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments. CoRR (2023)
Rajdeep Mukherjee, Nithish Kannen, Saurabh Kumar Pandey, Pawan Goyal
CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction. EMNLP (Findings) (2023)
Rajdeep Mukherjee, Nithish Kannen, Saurabh Kumar Pandey, Pawan Goyal
CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction. CoRR (2023)
Balakrishnan Dharmalingam, Ibrahim Odat, Rajdeep Mukherjee, Brett Piggott, Anyi Liu
Heterogeneous Generative Dataset for UASes. MOST (2023)
Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP (2023)
Soham Poddar, Azlaan Mustafa Samad, Rajdeep Mukherjee, Niloy Ganguly, Saptarshi Ghosh
CAVES: A Dataset to facilitate Explainable Classification and Summarization of Concerns towards COVID Vaccines. SIGIR (2022)
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
Static Analysis for AWS Best Practices in Python Code. ECOOP (2022)
Abhay Shukla, Paheli Bhattacharya, Soham Poddar, Rajdeep Mukherjee, Kripabandhu Ghosh, Pawan Goyal, Saptarshi Ghosh
Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation. CoRR (2022)
Rajdeep Mukherjee, Abhinav Bohra, Akash Banerjee, Soumya Sharma, Manjunath Hegde, Afreen Shaikh, Shivani Shrivastava, Koustuv Dasgupta, Niloy Ganguly, Saptarshi Ghosh, Pawan Goyal
ECTSum: A New Benchmark Dataset For Bullet Point Summarization of Long Earnings Call Transcripts. CoRR (2022)
Abhay Shukla, Paheli Bhattacharya, Soham Poddar, Rajdeep Mukherjee, Kripabandhu Ghosh, Pawan Goyal, Saptarshi Ghosh
Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation. AACL/IJCNLP (1) (2022)
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
Static Analysis for AWS Best Practices in Python Code. CoRR (2022)
Rajdeep Mukherjee, Uppada Vishnu, Hari Chandana Peruri, Sourangshu Bhattacharya, Koustav Rudra, Pawan Goyal, Niloy Ganguly
MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs. WSDM (2022)
Rajdeep Mukherjee, Abhinav Bohra, Akash Banerjee, Soumya Sharma, Manjunath Hegde, Afreen Shaikh, Shivani Shrivastava, Koustuv Dasgupta, Niloy Ganguly, Saptarshi Ghosh, Pawan Goyal
ECTSum: A New Benchmark Dataset For Bullet Point Summarization of Long Earnings Call Transcripts. EMNLP (2022)
Soham Poddar, Azlaan Mustafa Samad, Rajdeep Mukherjee, Niloy Ganguly, Saptarshi Ghosh
CAVES: A Dataset to facilitate Explainable Classification and Summarization of Concerns towards COVID Vaccines. CoRR (2022)
Raghav R, Adarsh Vemali, Rajdeep Mukherjee
ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach. CoRR (2022)
Raghav R, Adarsh Vemali, Rajdeep Mukherjee
ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach. SemEval@NAACL (2022)
Rajdeep Mukherjee, Shreyas Shetty, Subrata Chattopadhyay, Subhadeep Maji, Samik Datta, Pawan Goyal
Reproducibility, Replicability and Beyond: Assessing Production Readiness of Aspect Based Sentiment Analysis in the Wild. CoRR (2021)
Rajdeep Mukherjee, Atharva Naik, Sriyash Poddar, Soham Dasgupta, Niloy Ganguly
Understanding the Role of Affect Dimensions in Detecting Emotions from Tweets: A Multi-task Approach. SIGIR (2021)
Rajdeep Mukherjee, Shreyas Shetty, Subrata Chattopadhyay, Subhadeep Maji, Samik Datta, Pawan Goyal
Reproducibility, Replicability and Beyond: Assessing Production Readiness of Aspect Based Sentiment Analysis in the Wild. ECIR (2) (2021)
Rajdeep Mukherjee, Tapas Nayak, Yash Butala, Sourangshu Bhattacharya, Pawan Goyal
PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction. CoRR (2021)
Rajdeep Mukherjee, Tapas Nayak, Yash Butala, Sourangshu Bhattacharya, Pawan Goyal
PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction. EMNLP (1) (2021)
Rajdeep Mukherjee, Atharva Naik, Sriyash Poddar, Soham Dasgupta, Niloy Ganguly
Understanding the Role of Affect Dimensions in Detecting Emotions from Tweets: A Multi-task Approach. CoRR (2021)
Rajdeep Mukherjee, Uppada Vishnu, Hari Chandana Peruri, Sourangshu Bhattacharya, Koustav Rudra, Pawan Goyal, Niloy Ganguly
MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs. CoRR (2021)
Rajdeep Mukherjee, Hari Chandana Peruri, Uppada Vishnu, Pawan Goyal, Sourangshu Bhattacharya, Niloy Ganguly
Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews. CoRR (2020)
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR (2020)
Rajdeep Mukherjee, Hari Chandana Peruri, Uppada Vishnu, Pawan Goyal, Sourangshu Bhattacharya, Niloy Ganguly
Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews. SIGIR (2020)
Rajdeep Mukherjee, Sriyash Poddar, Atharva Naik, Soham Dasgupta
How Have We Reacted To The COVID-19 Pandemic? Analyzing Changing Indian Emotions Through The Lens of Twitter. CoRR (2020)
Sawon Pratiher, Subhankar Chattoraj, Rajdeep Mukherjee
StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures. CoRR (2018)
Sawon Pratiher, Subhankar Chattoraj, Rajdeep Mukherjee
StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures. GlobalSIP (2018)
Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE (2018)
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA (2017)
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-based Abstract Domains for Program Verification. CoRR (2017)
Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. DAC (2017)
Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). CoRR (2017)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). CoRR (2016)
Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham
Unbounded safety verification for hardware using software analyzers. DATE (2016)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM (2016)
Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening
v2c - A Verilog to C Translator. TACAS (2016)
Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas
Equivalence Checking Using Trace Partitioning. ISVLSI (2015)
Rajdeep Mukherjee, Daniel Kroening, Tom Melham
Hardware Verification Using Software Analyzers. ISVLSI (2015)
Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee
Formal Hardware/Software Co-Verification of Embedded Power Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (12) (2014)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. J. Low Power Electron. 9 (3) (2013)
Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (11) (2013)
Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta
Model checking of global power management strategies in software with temporal logic properties. ISEC (2013)
Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee
Formal Verification of Hardware / Software Power Management Strategies. VLSI Design (2013)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture CoRR (2013)
Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal
Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. ISED (2012)
Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. ACITY (3) (2012)