Advices

• Poster: John Wilkes’ advice, Randy Katz’ advice, Creating Effective Poster Presentations, How to Create a Research Poster, Scientific Poster Design

Architecture

• ACPI( spec50), ACPI Component Arch.
• IA32
  • IA32 Intel Architecture Software Developer's Manual, Intel Corporation, 2003. V1: Basic Architecture, V2: Instruction Set Reference Manual, V3: System Programming Guide, MP specification, IO APIC
  • Kai Li, A Guide to Programming on Intel IA32 PC Architecture
  • The Undocumented PC: A Programmer's Guide to I/O, CPUs, and Fixed Memory Areas, 2nd Edition, Frank van Gilluwe, Addison-Wesley Developers Press, 1997.
• the 64-bit extensions: Intel's or AMD's web sites, Porting SW to the AMD64 arch.
  • AMD Developer Guides and Manuals: V1: Application Programming, V2: System Programming, V3: General Purpose and System Instructions, V4: 128-bit and 256 bit media instructions, V5: 64-Bit Media and x87 Floating-Point Instructions.
• ARM: Trustzone
• Cache
  • Ulrich Drepper, Red Hat, Inc. What Every Programmer Should Know About Memory, Nov. 2007.

OS & VM

OS

• OS Reading list: Yale
• x86_64: AMD64 Application Binary Interface
• Unix: history,
  • The Single UNIX Specification (Austin group): ISO/IEC 9945:2009, IEEE Std 1003.1-2008 (Portable Operating System Interface, POSIX)
  • HiStar
  • Linux (Foundation: LSB): Kernel (git, doc: vm), Kernel links, LFS, kerneltrap, LVS
    • Doc:cnbook1, MM, Understanding the Linux Virtual Memory Manager (html), Linux Kernel in a Nutshell
    • Ubuntu
    • SystemTap
  • FreeBSD: anoncvs

VM

• QEMU, Xen

Sync

• Deterministic Sync: RCU, I-structures

Programming Languages

Concurrent Programming Model/Languages

Optimizations: Intel Modern Code
• CSP: ParC
• POSIX threads: LinuxThreads, win32; Getting Started With POSIX Threads.
• OpenMP: V3.0 and its Summary Card C/C++, Guide.
• MPI: 2.2, MPICH2, Open MPI, FG-MPI, AzequiaMPI Tutorials: 1, 2
• C++ (Bjarne Stroustrup - ATT, TAMU): C++11 FAQ (in Chinese), Stroustrup Reveals What's New in C++ 11, Threads and memory model
• DSP: Spiral
• Fortran (wiki, spec): gfortran, Intel Fortran, llvm(20151113news)
  Fortran/C passing conventions: Intel Fortran, GFortran, PathScale
• HDL: Verilog, VHDL,
• Java:
• JavaScript: TAJS, SAFE (git)
• Lua: LuaJIT
• WWW: WebIDL:
• Web&GL: Khronos, WebGL (1.0), OpenGL (GLSL)

Parallel Patterns

• MapReduce [Workshop]: Hadoop, Phoenix, Metis, Bashreduce, MapReduce-MPI, CGL-MapReduce, Twister
• Doug Lea's Fork/Join Framework in java.util.concurrent.
• Graph Parallel Systems:
  • Multicore: GRACE(2013), Ligra(cmu,ppopp2013), X-Stream(epfl,sosp2013), Galois(utexas), Polymer(ipads-sjtu,ppopp2015)
  • Distributed: Trinity, PowerGraph => ipads-sjtu(PowerLyra, PowerSwitch),
• Spark
• Distributed ...: kafka

Theories of Programming Languages

• Separation Logic: older, more recent

Compiler Infrastructure

• File Formats: ELF (spec, Thread-local Storage), YAML
• LLVM:
• Parallelizing: IMPACT( GPU), AutoPar-princeton
• Java: openjdk
• Android
  • Dalvik: bytecode, .dex, dedexer
• Source-to-source Transformation and Analysis: POET, ROSE
• GPU: CUDA

Memory Management

• Richard Jones's the Garbage Collection Page
• Paul Wilson et al's Dynamic Storage Allocation: A Survey and Critical Review.
• Doug Lea's Malloc (dlmalloc): Version 2.8.6 of malloc.c, and malloc.h. Also a short article on the design of this memory allocator and some plots. Also a malloc tracer written by Wolfram Gloger and a sample trace. Also, previous versions of malloc.
• malloc in a concurrent program: Hoard, jemalloc( Jason Evans, used in FreeBSD, NetBSD, Firefox, MacOS), Miser(Intel,used in Cilk), nedmalloc, ptmalloc(used in glibc), TBBmalloc, TCMalloc (gperftools), TLSF
• Memory-related Checker: MemorySanitizer

SDN

• Reading List
• Openflow POF
• Frenetic (JenniferRexford, DavidWalker) | Maple (RichardYang)
• SDNLab

Tools

• GNU
  • bash, autoconf (macros 1 2), make (index, AutoVars, Makefiles ),
  • GCC online document: libgomp, cpp,
  • Debug and Analysis: gprof, cflow,
  • GNU Binutils ld, as, ar, dd, nm, objdump, objcopy, readelf
    • GAS(GNU Assembler): Using as
    • GDB manual, HPC GDB
  • awk, sed
• Java: Ant
• PerfTune
  HW: PAPI SW: Linux perf, HPCToolkit, MuMMI, PDT, Prophesy, TAU,
  
  slog2 trace format: Jumpshot-4
• Simulators
  : gem5,
• Net: ssh
• LOC Counting: cloc, SLOCcount
• CASE: GIT, CVS, doxygen
• Editors
  • GNU: emacs, vim( 1, 2), sed
  • Latex: Latex Guide, Notes, listings
  • DocGen: Sphinx

Benchmarks

• NAS Parallel Benchmarks
• SPLASH-2: UDel
• PARSEC: man
• STAMP
• Linear Algebra Libraries:
• ICS in University of Tennessee:
  BLAS, LAPACK( gcc-test), CLAPACK, MAGMA
  math.utah.SW
• OpenCV: cn
• IO: Flexible I/O

Useful Websites

• WWW Computer Architecture Page in WISC
  Simulators,Tools,Compilers, Benchmarks
• Writing&Presentation: Advice to systems researchers

MISC

Beysian

• Books: Artificial Intelligence: A Modern Approach
• Courses: Bayesian Modeling and Inference
• Symbols in languages: HTML4
• Others: CDF

Cloud Security