Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009
PaperOn convex relaxations of quadrilinear termsSonia Cafieri, Jon Lee, et al.Journal of Global Optimization
Conference paperFailure diagnosis with incomplete information in cable networksYun Mao, Hani Jamjoom, et al.CoNEXT 2006