Rajdeep Mukherjee

Orcid: 0000-0002-2267-1695

Affiliations:
  • University of Oxford, UK


According to our database1, Rajdeep Mukherjee authored at least 41 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Scaling Use-case Based Shopping using LLMs.
Proceedings of the 17th ACM International Conference on Web Search and Data Mining, 2024

2023
User-Assisted Code Query Optimization.
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Heterogeneous Generative Dataset for UASes.
Proceedings of the IEEE International Conference on Mobility, 2023

Net-GPT: A LLM-Empowered Man-in-the-Middle Chatbot for Unmanned Aerial Vehicle.
Proceedings of the IEEE/ACM Symposium on Edge Computing, 2023

Long-term Static Analysis Rule Quality Monitoring Using True Negatives.
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.
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.
Proceedings of the Formal Methods - 25th International Symposium, 2023

CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction.
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.
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.
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.
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.
Proceedings of the 16th International Workshop on Semantic Evaluation, SemEval@NAACL 2022, 2022

Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation.
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.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Static Analysis for AWS Best Practices in Python Code.
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.
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.
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.
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.
CoRR, 2020

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

Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews.
Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, 2020

2018
Precise abstract interpretation of hardware designs.
PhD thesis, 2018

StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures.
Proceedings of the 2018 IEEE Global Conference on Signal and Information Processing, 2018

Efficient verification of multi-property designs (The benefit of wrong assumptions).
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).
CoRR, 2017

Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.
Proceedings of the 54th Annual Design Automation Conference, 2017

Lifting CDCL to Template-Based Abstract Domains for Program Verification.
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).
CoRR, 2016

v2c - A Verilog to C Translator.
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.
Proceedings of the FM 2016: Formal Methods, 2016

Unbounded safety verification for hardware using software analyzers.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Equivalence Checking Using Trace Partitioning.
Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Hardware Verification Using Software Analyzers.
Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

2014
Formal Hardware/Software Co-Verification of Embedded Power Controllers.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis.
J. Low Power Electron., 2013

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

Formal Verification of Hardware / Software Power Management Strategies.
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.
Proceedings of the 6th India Software Engineering Conference, 2013

2012
Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework.
Proceedings of the International Symposium on Electronic System Design, 2012

Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture.
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


  Loading...