Algorithms and hardware support for efficient virtual machines
Combining data and computation transformations for Fine-grain reconfigurable archi...
Algorithms and techniques for efficient branch emulation in virtual machines
Loop Parallelization using Cloud MapReduce for Scientific Workloads
Developing an ArchC behavioral model for the AVR32 instruction set architecture