README.md

bookmarks

Looking for something else? Take a look at the awesome collection of other awesome lists.

• Excellent list of free programming books

  • The list in English
  • Много бесплатных книг по программированию

• CFD

• Particle simulation

  • MercuryDPM is a code for discrete particle simulations

• CPU, GPU & DRAM Architecture Simulators

  • GPGPU-Sim
  • Integrated gem5 + GPGPU-Sim Simulator
    • Getting gem5
  • SimpleScalar LLC
    • SimpleScalar LLC Intro
      • Todd Austin : the author
  • DRAMSim2
    • github repos for DRAMSim2 etc. from University of Maryland
      • Write-back vs Write-Through
      • Study of Different Cache Line Replacement Algorithms in Embedded Systems
  • Chisel: Constructing Hardware in a Scala Embedded Language
    • UC Berkeley Architecture Research
      • The RISC-V Instruction Set Architecture
        • Rocket Chip Generator
      • Rocket Microarchitectural Implementation of RISC-V ISA
      • Rocket uncore: L2 cache, etc.

• CUDA and friends related surveys, papers

• DSLs targeting GPU

• Polyhedral papers intro & focused to GPU code generation

  • Polyhedral Compilation
  • Code Generation in the Polyhedral Model Is Easier Than You Think
    • Automatic Code Generation in the Polytope Model
  • Non-affine Extensions to Polyhedral Code Generation
  • Putting Automatic Polyhedral Compilation for GPGPU to Work
  • Polyhedral code generation for GPUs
  • Evaluation of state-of-the-art polyhedral tools for automatic code generation on GPUs ( :-) conclusion PPCG is the most advanced tool)
  • Tiling:
    • TILING OPTIMIZATIONS FOR STENCIL COMPUTATIONS
    • Efficient Numerical Algorithms and Software Engineering for High Performance Computing
    • Split Tiling for GPUs: Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality, avoiding Divergence and Load Imbalance
    • Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs
    • TILING OPTIMIZATIONS FOR STENCIL COMPUTATIONS : PhD thesis by Xing Zhou
    • The Promises of Hybrid Hexagonal/Classical Tiling for GPU
    • Hybrid Hexagonal/Classical Tiling for GPUs
    • Alleviating memory bandwidth pressure with wavefront temporal blocking and diamond tiling
    • The relation between diamond tiling and hexagonal tiling
    • The Pochoir Stencil Compiler
      • The Pochoir Project
    • scala stencils use case
      • A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms
  • Polyhedral Code Generation In The Real World
  • The Polyhedral Model Is More Widely Applicable Than You Think
  • Generating Performance Portable Code using Rewrite Rules
    • PoCC: the Polyhedral Compiler Collection
      • more Polyhedral Software and Lectures are here
    • PPCG is a parallel code generator using the polyhedral model: CUDA and OpenCL backends
      • PPCG git repo
      • Polyhedral Parallel Code Generation for CUDA
      • Polyhedral Extraction Tool
        • ISL:_Integer_Set_Library
          • ISL github repository
          • C++ bindings for the ISL (Integer Set Library)
          • islpy is a Python wrapper around Sven Verdoolaege’s isl, a library for manipulating sets and relations of integer points bounded by linear constraints
            • from here:
            • github repository for python wrapper for isl, an integer set library
      • see also not finished alternative to PPCG - polly
    • see also INRIA blog

• Heterogeneous: MPI + GPU -> MPP, good review

  • On Simplifying and Optimizing Message Passing Programs: A Compiler and Runtime-Based Approach

• Algorithmic skeletons for automatic GPU code generation

  • Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification
  • Algorithmic Species Revisited: A Program Code Classification Based on Array References
  • species site
  • github bones site

• OpenACC

• YaCF: Yet Another Compiler Framework

  • A programming environment for heterogeneous architectures
  • YaCF: Yet Another Compiler Framework: Technical Report 02/2013
  • Frangollo: A Run-time Library for OpenACC Support

• numerical linear algebra for PDE and more

• Scala links

• SBV: SMT Based Verification in Haskell

  • When is Cheryl's birthday?
  • LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce critical properties at compile time

• parallelforall

• (inverse) lithography links

• C++ links

  • CPP C++ Papyrus

• Rust links

• Julia links

• Python links

• HPC links

• Tips

  • Linux
  • Technical typesetting
  • Performance optimization

• Machine Learning

• Math links

• Mechanics links

• tegra + ARM links

• embedded: ARM Mali; Qualcomm Snapdragon + Adreno GPU + Hexagon DSP links

• 3D

• Industrial robotics: planning & locomotion & computer vision

• IoT -- Internet of Things

• EE -- Electrical Engineering

• Blogs

• binary analysis

• formal methods for verification: SMT etc.