Formal verification and abstract modeling of the nested kernel targeting reconfigurable (functional) hardware platforms.
Andre DeHon : Work at UPenn on using reconfigurable hardware as general purpose compute platform. Papers on energy efficiency, high level languanguage support, and architecture verification.