COMP 522 Multi-core Computing Resources

The Future of Chip Design

• The Chip Design Game at the End of Moore's Law. Robert Colwell. Hot Chips 25 Keynote. Hot Chips A Symposium on High Performance Chips. August, 2013.

Morgan Claypool Synthesis Lectures on Computer Architecture

Concurrent Data Structures

• A methodology for implementing highly concurrent data structures, Maurice Herlihy, in Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Seattle, Washington, United States, March 14 - 16, 1990). PPOPP '90. ACM Press, New York, NY, 197-206.

Debugging

• CHESS: Find and Reproduce Heisenbugs in Concurrent Programs
  • Testing Finding and Reproducing Heisenbugs in Concurrent Programs. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, I. Neamtiu. In Operating System Design and Implementation (OSDI), 2008.
  • Verification: Effective Program Verification for Relaxed Memory Models. S. Burchkardt and M. Musuvathi. In 20th International Conference on Computer Aided Verification (CAV), 2008.
• The Multicore Challenge. David Patterson, Computing Community Consortium Blog, August 26, 2008.
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, S. Lu, S. Park, E. Seo, and Y. Zhou, in SIGARCH Comput. Archit. News 36, 1 (Mar. 2008), 329-339.

Power

• Managing energy-performance tradeoffs for multithreaded applications on multiprocessor architectures. Soyeon Park, Weihang Jiang, Yuanyuan Zhou, and Sarita Adve. SIGMETRICS Perform. Eval. Rev. 35, 1 (Jun. 2007), 169-180.
• An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget. Canturk Isci, Alper Buyuktosunoglu, Chen-Yong Cher, Pradip Bose, and Margert Martonosi. In Proceedings of the 39th Annual IEEE/ACM international Symposium on Microarchitecture (December 09 - 13, 2006). International Symposium on Microarchitecture. IEEE Computer Society, Washington, DC, 347-358.

Optimizing for Multi-core Platforms

• Lattice Boltzmann Simulation Optimization on Leading Multicore Platforms, S. Williams, J. Carter, L. Oliker, J. Shalf, K. Yelick, in International Parallel & Distributed Processing Symposium (IPDPS), 2008.
• Optimization of Sparse Matrix-Vector Multiplication on Emerging Multicore Platforms, Samuel W. Williams, Leonid Oliker, Richard Vuduc, Katherine Yelick, James Demmel, John Shalf Supercomputing (SC), 2007.

Automatic Derivation of Concurrent Data Structures

• Deriving linearizable fine-grained concurrent objects, M. Vechev and E. Yahav, in Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 125-135.
• Sketching concurrent data structures. A. Solar-Lezama, C.G. Jones, and R. Bodik, In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 136-148.