1. Advanced Micro Devices Inc. 2013. Preliminary BIOS and Kernel DeveloperâĂŹs Guide (BKDG) for AMD Family 16h Models 00h-0Fh (Kabini) Processors. Chapter 2.6.2 Instruction Based Sampling. Advanced Micro Devices Inc. 2013. Preliminary BIOS and Kernel DeveloperâĂŹs Guide (BKDG) for AMD Family 16h Models 00h-0Fh (Kabini) Processors. Chapter 2.6.2 Instruction Based Sampling.
2. Amittai Aviram Shu-Chun Weng Sen Hu and Bryan Ford. 2010. Efficient System-Enforced Deterministic Parallelism. CoRR abs/1005.3450 (2010). http://arxiv.org/abs/1005.3450 Amittai Aviram Shu-Chun Weng Sen Hu and Bryan Ford. 2010. Efficient System-Enforced Deterministic Parallelism. CoRR abs/1005.3450 (2010). http://arxiv.org/abs/1005.3450
3. Mathematizing C++ concurrency
4. Christian Bienia. 2011. Benchmarking Modern Multiprocessors. Ph.D. Dissertation. Princeton NJ USA. Advisor(s) Li Kai. AAI3445564. Christian Bienia. 2011. Benchmarking Modern Multiprocessors. Ph.D. Dissertation. Princeton NJ USA. Advisor(s) Li Kai. AAI3445564.