K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan et al., Debugging in the (very) large, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.103-116, 2009.
DOI : 10.1145/1629575.1629586

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, An empirical study of operating systems errors, SOSP, pp.73-88, 2001.

N. Palix, G. Thomas, S. Saha, C. Calvès, J. Lawall et al., Faults in Linux: ten years later, ASPLOS, pp.305-318, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00940355

G. Muller, J. L. Lawall, and H. Duchesne, A framework for simplifying the development of kernel schedulers: Design and performance evaluation, HASE 2005 -High Assurance Systems Engineering Conference, pp.56-65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457121

Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller, Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

S. Saha, J. Lozi, G. Thomas, J. L. Lawall, and G. Muller, HECTOR, Proceedings of the 6th ACM Conference on Bioinformatics, Computational Biology and Health Informatics, BCB '15, 2013.
DOI : 10.1145/2808719.2808725

URL : https://hal.archives-ouvertes.fr/hal-00918079

T. Yoshimura, H. Yamada, and K. K. Hotdep, Is Linux kernel oops useful or not, 2012.

N. Jalbert and W. Weimer, Automated duplicate detection for bug tracking systems, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), pp.52-61, 2008.
DOI : 10.1109/DSN.2008.4630070

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.8653

H. Seo and S. Kim, Predicting recurring crash stacks, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.180-189, 2012.
DOI : 10.1145/2351676.2351702

]. W. Gu, Z. Kalbarczyk, K. Ravishankar, and Z. Yang, Characterization of Linux kernel behavior under errors, DSN, pp.459-468, 2003.

M. Danelutto and R. D. Cosmo, A ???Minimal Disruption??? Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml, Procedia Computer Science, vol.9, pp.1837-1846, 2012.
DOI : 10.1016/j.procs.2012.04.202

URL : https://hal.archives-ouvertes.fr/hal-00692515