Conference paperAn analysis of the effects of miss clustering on the cost of a cache missThomas R. Puzak, A. Hartstein, et al.CF 2007
PaperStabilizer-based symmetry breaking constraints for mathematical programsLeo Liberti, James OstrowskiJournal of Global Optimization
Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009