( en | de | ru )

 

Disambiguation of "Mukherjee, Rajdeep"

Author of the publication

copydeleteadd this publication to your clipboard
Lifting CDCL to Template-Based Abstract Domains for Program Verification.

, , , , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 307-326. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Santanu Mukherjee

Oindrilla Mukherjee

Rick Mukherjee

Vera Mukherjee

Bhaskar Mukherjee

 

Other publications of authors with the same name

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework., , , , and . ISED, page 267-271. IEEE, (2012)PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction., , , , and . EMNLP (1), page 9279-9291. Association for Computational Linguistics, (2021)Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews., , , , , and . SIGIR, page 1825-1828. ACM, (2020)Scaling Use-case Based Shopping using LLMs., , , and . WSDM, page 1165-1166. ACM, (2024)Formal Verification of Hardware / Software Power Management Strategies., , , and . VLSI Design, page 326-331. IEEE Computer Society, (2013)CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction., , , and . EMNLP (Findings), page 12065-12080. Association for Computational Linguistics, (2023)Static Analysis for AWS Best Practices in Python Code., , , and . ECOOP, volume 222 of LIPIcs, page 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Model checking of global power management strategies in software with temporal logic properties., , and . ISEC, page 29-34. ACM, (2013)User-Assisted Code Query Optimization., , , , and . SOAP@PLDI, page 40-46. ACM, (2023)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)