An overview of the competitive and adversarial approaches to designing dynamic power management strategies. - Sandy Irani; Gaurav Singh 006; Sandeep K. Shukla; Rajesh K. Gupta 001 (IEEE Trans. Very Large Scale Integr. Syst., 2005)

Low-power hardware synthesis from TRS-based specifications. - Gaurav Singh 006; Sandeep K. Shukla (MEMOCODE, 2006)

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. - Gaurav Singh 006; S. S. Ravi; Sumit Ahuja; Sandeep K. Shukla (Power-aware Computing Systems, 2007)

Model Checking Bluespec Specified Hardware Designs. - Gaurav Singh 006; Sandeep K. Shukla (MTV, 2007)

Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). - Gaurav Singh 006; Sandeep K. Shukla (Int. J. Embed. Syst., 2007)

Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sumit Ahuja; Sandeep K. Shukla (J. Low Power Electron., 2007)

Verifying Compiler Based Refinement of BluespecTM. - Gaurav Singh 006; Sandeep K. Shukla (SPIN, 2008)

Power estimation methodology for a high-level synthesis framework. - Sumit Ahuja; Deepak Mathaikutty; Gaurav Singh 006; Joe Stetzer; Sandeep K. Shukla; Ajit Dingankar (ISQED, 2009)

A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sandeep K. Shukla (J. Low Power Electron., 2009)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. - Gaurav Singh 006; Sandeep Kumar Shukla (Springer, 2010)