. Systemtap, https://sourceware.org/systemtap

J. Antony, P. P. Janes, and A. P. , Exploring Thread and Memory Placement on NUMA Architectures: Solaris and Linux, UltraSPARC/FirePlane and Opteron/HyperTransport, Proceedings of the 13th International Conference on High Performance Computing, p.6, 2006.
DOI : 10.1007/11945918_35

S. Blagodurov, S. Zhuravlev, and A. Fedorova, Contentionaware scheduling on multicore systems, ACM Trans. Comput. Syst, vol.288, pp.1-8, 2010.

S. Blagodurov, S. Zhuravlev, M. Dashti, and A. Fedorova, A case for NUMA-aware contention management on multicore systems, Proceedings of the 19th international conference on Parallel architectures and compilation techniques, PACT '10, 2011.
DOI : 10.1145/1854273.1854350

S. Boyd-wickizer, A. T. Clements, Y. Mao, A. Pesterev, M. F. Kaashoek et al., An analysis of Linux scalability to many cores, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation , OSDI'10, 2010.

H. Chen, D. Ziegler, T. Chajed, A. Chlipala, M. F. Kaashoek et al., Using Crash Hoare logic for certifying the FSCQ file system, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, 2015.
DOI : 10.1145/2815400.2815402

H. Chen, D. Ziegler, A. Chlipala, M. F. Kaashoek, E. Kohler et al., Specifying crash safety for storage systems, 15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015.

T. Chen, L. I. Ananiev, and A. V. Tikhonov, Keeping kernel performance from regressions, Linux Symposium, pp.93-102, 2007.

M. Dashti, A. Fedorova, J. Funston, F. Gaud, R. Lachaize et al., Traffic management: a holistic approach to memory placement on NUMA systems, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00945758

D. Engler and K. Ashcraft, RacerX: Effective, static detection of race conditions and deadlocks, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, p.3, 2003.

J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, Effective data-race detection for the kernel, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI'10, 2010.

J. R. Funston, K. Maghraoui, J. Jann, P. Pattnaik, and A. Fedorova, An SMT-Selection Metric to Improve Multithreaded Applications' Performance, 2012 IEEE 26th International Parallel and Distributed Processing Symposium, 2012.
DOI : 10.1109/IPDPS.2012.125

F. Gaud, B. Lepers, J. Decouchant, J. Funston, A. Fedorova et al., Large pages may be harmful on NUMA systems, Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC'14, 2014.

M. Gomaa, M. D. Powell, and T. N. Vijaykumar, Heatand-run: leveraging SMT and CMP to manage power density through the operating system, Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XI, 2004.

A. S. Harji, P. A. Buhr, and T. Brecht, Our troubles with Linux and why you should care, Proceedings of the Second Asia-Pacific Workshop on Systems, APSys '11, 2011.
DOI : 10.1145/2103799.2103802

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, 2009.
DOI : 10.1145/1629575.1629596

D. Koufaty, D. Reddy, and S. Hahn, Bias scheduling in heterogeneous multi-core architectures, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010.
DOI : 10.1145/1755913.1755928

B. Lepers, V. Quéma, and A. Fedorova, Thread and memory placement on NUMA systems: asymmetry matters, Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference, USENIX ATC '15, 2015.

T. Li, D. Baumberger, D. A. Koufaty, and S. Hahn, Efficient operating system scheduling for performance-asymmetric multi-core architectures, Proceedings of the 2007 ACM/IEEE conference on Supercomputing , SC '07, 2007.
DOI : 10.1145/1362622.1362694

X. Liu, Z. Guo, X. Wang, F. Chen, X. Lian et al., D 3 S: debugging deployed distributed systems, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, NSDI'08, 2008.

D. Luu, The Nyquist theorem and limitations of sampling profilers today, with glimpses of tracing tools from the future

J. Mace, R. Roelke, and R. Fonseca, Pivot tracing, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, 2015.
DOI : 10.1145/2815400.2815415

H. Mai, E. Pek, H. Xue, S. T. King, and P. Madhusudan, Verifying security invariants in ExpressOS, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, 2013.

A. Merkel, J. Stoess, and F. Bellosa, Resource-conscious scheduling for energy efficiency on multicore processors, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010.
DOI : 10.1145/1755913.1755930

M. S. Mollison, B. Brandenburg, and J. H. Anderson, Towards unit testing real-time schedulers in LITMUS RT, Proceedings of the 5th Workshop on Operating Systems Platforms for Embedded Real-Time Applications, p.9, 2009.

M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill, CMC, ACM SIGOPS Operating Systems Review, vol.36, issue.SI, p.36, 2002.
DOI : 10.1145/844128.844136

S. E. Perl and W. E. , Performance assertion checking, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, SOSP '93, 1993.

K. K. Pusukuri, D. Vengerov, A. Fedorova, and V. Kalogeraki, FACT, Proceedings of the 8th ACM International Conference on Computing Frontiers, CF '11, 2011.
DOI : 10.1145/2016604.2016647

J. C. Saez, M. Prieto, A. Fedorova, and S. Blagodurov, A comprehensive scheduler for asymmetric multicore systems, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010.
DOI : 10.1145/1755913.1755929

S. K. Sahoo, J. Criswell, C. Geigle, and V. Adve, Using likely invariants for automated software fault localization, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, 2013.

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems, vol.15, issue.4, 1997.
DOI : 10.1145/265924.265927

L. T. Schermerhorn, A matter of hygiene: automatic page migration for Linux URL https, 0197.

K. Shen, M. Zhong, and C. Li, I/O system performance debugging using model-driven anomaly characterization, Proceedings of the 4th USENIX Conference on File and Storage Technologies, pp.5-23, 2005.

D. Sites, Data center computers: modern challenges in CPU design. https://www.youtube.com/watch?, pp.2-8

D. Tam, R. Azimi, and M. Stumm, Thread clustering: sharingaware scheduling on SMP-CMP-SMT multiprocessors, Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems, p.7, 2007.

D. K. Tam, R. Azimi, L. B. Soares, and M. Stumm, RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations, Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XIV, 2009.

L. Torvalds, The Linux Kernel Mailing List, 1215.

L. Torvalds, Tech Talk: Linus Torvalds on git, Google, 2007.

J. Yang, P. Twohey, D. Engler, and M. Musuvathi, Using model checking to find serious file system errors, ACM Transactions on Computer Systems, vol.24, issue.4, 2006.
DOI : 10.1145/1189256.1189259

S. Zhuravlev, S. Blagodurov, and A. Fedorova, Addressing shared resource contention in multicore processors via scheduling, Proceedings of the Fifteenth Edition of AS- PLOS on Architectural Support for Programming Languages and Operating Systems, ASPLOS XV, 2010.