"Operator Scheduling Revisited : A Multi-Objective Perspective for
Fine-Grained DVS Architecture", Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal. International Conference on Advances in Computing and Information Technology, (ACITY), 2012.
"A Multi-Objective Perspective for Operator Scheduling using
Fine-Grained DVS Architectures", Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal. International Journal of VLSI design & Communication Systems (VLSICS
Journal), July 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. International Symposium of Electronic Design, (ISED), December 2012.
Best Session Paper
"Formal Verifcation of Hardware / Software Power Management Strategies", Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee.
26th VLSI Design Conference, (VLSID), January 2013.
"Model Checking Global Power Management Strategies in Software with
safety LTL properties", Rajdeep Mukherjee, Pallab Dasgupta, Subhankar Mukherjee. Indian Software Engineering Conference, (ISEC), February 2013.
"Hotspot Reduction using Fine-grained DVS Architecture at 90 nm
Technology", Rajdeep Mukherjee, Priyankar Ghosh, Ajit Pal. Asia-Pacific Conference on Postgraduate Research in Microelectronics &
Electronics, (PRIMEASIA), December 2012. Best Paper
"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, and Subhankar Mukherjee. Accepted for publication in IEEE Transactions on Computer-Aided Design
of Integrated Circuits and Systems (TCAD), 2013
"An Integrated Approach for Fine-Grained Power and Temperature
Management During High-level Synthesis", Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal. Accepted for Publication in Internatinal Journal of Low Power
Electronics (JOLPE), 2013
"Model Checking of Software Power Manager in Hardware/Software Based
Power Controllers", Rajdeep Mukherjee, Pallab Dasgupta. Accepted for Poster Publication in 17th International Symposium on VLSI
Design and Test (VDAT), 2013
Teaching Assistant for "Embedded Software Design and Validation" (Autumn 2012)
Teaching Assistant for "Computer Architecture and Operating Systems" (Spring 2012)
Teaching Assistant for "Artificial Intelligence" (Autumn 2011)
Teaching Assistant for "Operating Systems" (Spring 2011)
Delivered lecture on "Formal Verification using CAD tools and Software
Model Checking" at Advanced VLSI Summer Course, IIT Kharagpur, 2012, India