Automated Techniques for Energy Efficient