Some of the tools we use in our research:
GCC
PIN
Simics
VTune