Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009
Conference paperPIRE: A global living laboratory for cyberinfrastructure application enablementS.M. Sadjadi, S. Chen, et al.TAPIA 2009
PaperStabilizer-based symmetry breaking constraints for mathematical programsLeo Liberti, James OstrowskiJournal of Global Optimization
PaperQuantum Simulators: Architectures and OpportunitiesEhud Altman, Kenneth R. Brown, et al.PRX Quantum