default search action
Rajdeep Mukherjee
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-assisted code query customization and optimization. Int. J. Softw. Tools Technol. Transf. 26(5): 607-619 (2024) - [j4]Soham Poddar, Rajdeep Mukherjee, Azlaan Mustafa Samad, Niloy Ganguly, Saptarshi Ghosh:
MuLX-QA: Classifying Multi-Labels and Extracting Rationale Spans in Social Media Posts. ACM Trans. Web 18(3): 35:1-35:26 (2024) - [c34]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: 1276-1288 - [c33]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: 7391-7403 - [c32]Sachin Farfade, Sachin Vernekar, Vineet Chaoji, Rajdeep Mukherjee:
Scaling Use-case Based Shopping using LLMs. WSDM 2024: 1165-1166 - [i21]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 abs/2404.01669 (2024) - [i20]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 abs/2405.06671 (2024) - 2023
- [c31]Debtanu Datta, Shubham Soni, Rajdeep Mukherjee, Saptarshi Ghosh:
MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments. EMNLP 2023: 5291-5302 - [c30]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: 12065-12080 - [c29]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: 584-597 - [c28]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: 315-326 - [c27]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: 327-339 - [c26]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: 287-293 - [c25]Balakrishnan Dharmalingam, Ibrahim Odat, Rajdeep Mukherjee, Brett Piggott, Anyi Liu:
Heterogeneous Generative Dataset for UASes. MOST 2023: 229-230 - [c24]Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-Assisted Code Query Optimization. SOAP@PLDI 2023: 40-46 - [i19]Rajdeep Mukherjee, Nithish Kannen, Saurabh Kumar Pandey, Pawan Goyal:
CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction. CoRR abs/2310.15577 (2023) - [i18]Debtanu Datta, Shubham Soni, Rajdeep Mukherjee, Saptarshi Ghosh:
MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments. CoRR abs/2310.18600 (2023) - 2022
- [c23]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. ECOOP 2022: 14:1-14:28 - [c22]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: 10893-10906 - [c21]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: 1048-1064 - [c20]Raghav R, Adarsh Vemali, Rajdeep Mukherjee:
ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach. SemEval@NAACL 2022: 1373-1381 - [c19]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: 3154-3164 - [c18]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: 755-763 - [i17]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 abs/2204.13746 (2022) - [i16]Raghav R, Adarsh Vemali, Rajdeep Mukherjee:
ETMS@IITKGP at SemEval-2022 Task 10: Structured Sentiment Analysis Using A Generative Approach. CoRR abs/2205.00440 (2022) - [i15]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. CoRR abs/2205.04432 (2022) - [i14]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 abs/2210.07544 (2022) - [i13]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 abs/2210.12467 (2022) - 2021
- [c17]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: 92-106 - [c16]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: 9279-9291 - [c15]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: 2303-2307 - [i12]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 abs/2101.09449 (2021) - [i11]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 abs/2105.03983 (2021) - [i10]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 abs/2110.04794 (2021) - [i9]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 abs/2112.05798 (2021) - 2020
- [c14]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: 1825-1828 - [i8]Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham:
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR abs/2001.01324 (2020) - [i7]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 abs/2006.04660 (2020) - [i6]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 abs/2008.09035 (2020)
2010 – 2019
- 2018
- [b1]Rajdeep Mukherjee:
Precise abstract interpretation of hardware designs. University of Oxford, UK, 2018 - [c13]Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee:
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE 2018: 43-48 - [c12]Sawon Pratiher, Subhankar Chattoraj, Rajdeep Mukherjee:
StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures. GlobalSIP 2018: 499-503 - [i5]Sawon Pratiher, Subhankar Chattoraj, Rajdeep Mukherjee:
StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures. CoRR abs/1811.04230 (2018) - 2017
- [c11]Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham:
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA 2017: 307-326 - [c10]Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening:
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. DAC 2017: 35:1-35:6 - [i4]Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham:
Lifting CDCL to Template-based Abstract Domains for Program Verification. CoRR abs/1707.02011 (2017) - [i3]Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee:
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). CoRR abs/1711.05698 (2017) - 2016
- [c9]Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham:
Unbounded safety verification for hardware using software analyzers. DATE 2016: 1152-1155 - [c8]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: 551-558 - [c7]Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening:
v2c - A Verilog to C Translator. TACAS 2016: 580-586 - [i2]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 abs/1609.00169 (2016) - 2015
- [c6]Rajdeep Mukherjee, Daniel Kroening, Tom Melham:
Hardware Verification Using Software Analyzers. ISVLSI 2015: 7-12 - [c5]Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas:
Equivalence Checking Using Trace Partitioning. ISVLSI 2015: 13-18 - 2014
- [j3]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): 2025-2029 (2014) - 2013
- [j2]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): 350-362 (2013) - [j1]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): 1801-1813 (2013) - [c4]Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta:
Model checking of global power management strategies in software with temporal logic properties. ISEC 2013: 29-34 - [c3]Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee:
Formal Verification of Hardware / Software Power Management Strategies. VLSI Design 2013: 326-331 - [i1]Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal:
A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture. CoRR abs/1303.1645 (2013) - 2012
- [c2]Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal:
Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. ACITY (3) 2012: 633-648 - [c1]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: 267-271
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-08 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint