https://sourceware.org/systemtap ,
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
Contentionaware scheduling on multicore systems, ACM Trans. Comput. Syst, vol.288, pp.1-8, 2010. ,
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
An analysis of Linux scalability to many cores, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation , OSDI'10, 2010. ,
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
Specifying crash safety for storage systems, 15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015. ,
Keeping kernel performance from regressions, Linux Symposium, pp.93-102, 2007. ,
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
RacerX: Effective, static detection of race conditions and deadlocks, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, p.3, 2003. ,
Effective data-race detection for the kernel, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI'10, 2010. ,
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
Large pages may be harmful on NUMA systems, Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC'14, 2014. ,
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. ,
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
seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, 2009. ,
DOI : 10.1145/1629575.1629596
Bias scheduling in heterogeneous multi-core architectures, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010. ,
DOI : 10.1145/1755913.1755928
Thread and memory placement on NUMA systems: asymmetry matters, Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference, USENIX ATC '15, 2015. ,
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
D 3 S: debugging deployed distributed systems, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, NSDI'08, 2008. ,
The Nyquist theorem and limitations of sampling profilers today, with glimpses of tracing tools from the future ,
Pivot tracing, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, 2015. ,
DOI : 10.1145/2815400.2815415
Verifying security invariants in ExpressOS, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, 2013. ,
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
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. ,
CMC, ACM SIGOPS Operating Systems Review, vol.36, issue.SI, p.36, 2002. ,
DOI : 10.1145/844128.844136
Performance assertion checking, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, SOSP '93, 1993. ,
FACT, Proceedings of the 8th ACM International Conference on Computing Frontiers, CF '11, 2011. ,
DOI : 10.1145/2016604.2016647
A comprehensive scheduler for asymmetric multicore systems, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010. ,
DOI : 10.1145/1755913.1755929
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. ,
Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems, vol.15, issue.4, 1997. ,
DOI : 10.1145/265924.265927
A matter of hygiene: automatic page migration for Linux URL https, 0197. ,
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. ,
Data center computers: modern challenges in CPU design. https://www.youtube.com/watch?, pp.2-8 ,
Thread clustering: sharingaware scheduling on SMP-CMP-SMT multiprocessors, Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems, p.7, 2007. ,
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. ,
The Linux Kernel Mailing List, 1215. ,
Tech Talk: Linus Torvalds on git, Google, 2007. ,
Using model checking to find serious file system errors, ACM Transactions on Computer Systems, vol.24, issue.4, 2006. ,
DOI : 10.1145/1189256.1189259
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. ,