> Using these techniques we can automatically infer an approximate upper bound of the energy consumed when running a function under different platforms, using different compilers - without the need of actually running it.
Wouldn't a necessary first step be to solve the Halting Problem?
Determining the runtime bounds of a function is also undecidable.[1] That doesn't mean that we can't do it in practice for the things we're interested in.
Wouldn't a necessary first step be to solve the Halting Problem?
Sorry, I haven't read the actual paper.