Specifying resource consumption via annotations can be made more lightweight by inferring annotations automatically from unannotated codes. The Houdini [18] annotation assistant for ESC/Java is a productive verification tool which works in this way. We will investigate the use of Houdini for resource annotation inference.