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
An empirical study of operating systems errors, SOSP, pp.73-88, 2001. ,
Faults in Linux: ten years later, ASPLOS, pp.305-318, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00940355
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
Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
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
Is Linux kernel oops useful or not, 2012. ,
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
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
Characterization of Linux kernel behavior under errors, DSN, pp.459-468, 2003. ,
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