[ 13 ] I . Burcea and A . Moshovos , “ a virtualized branch target buffer design , ” in Proceedings of the 14 th International Conference on Architectural Support for Programming Languages and Operating Systems , ASPLOS 2009 , Washington , DC , USA , March 7 - 11 , 2009 , pp . 313 - 324 , 2009 .