Haverford College Computer Science Technical Reports

• HC-CS-TR 2019-01: A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
  Get the PDF file or visit arXiv.org.

• HC-CS-TR 2012-01: On the Scalability of Loop Tiling Techniques
  Get a PDF file.

• HC-CS-TR 2011-01: Experiences with Expressing and Optimizing Dense Numerical Algorithms in AlphaZ
  Get a PDF file or PDF or hard copy from lulu.com or just the code as a tgz file.
• HC-CS-TR 2011-02: An Experimental Investigation of Scalable Locality for Cluster Computing
  Get a PDF file.

• HC-CS-TR 2010-01: A Retrospective of the Omega Project
  Get a PDF file or PDF or hard copy from lulu.com.
• HC-CS-TR 2010-02: Automatic Synthesis of a Voting Machine Design
  Get a PDF file here.

• HC-CS-TR 2009-01: DSM+SL=?SC (Or, Can Adding Scalable Locality to Distributed Shared Memory Yield SuperComputer Power?)
  Get a PDF file or PDF or hard copy from lulu.com or just the code as a tgz file.