M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen, Performance debugging for distributed systems of black boxes, SOSP '03, pp.74-89, 2003.

S. Amani, A. Hixon, Z. Chen, C. Rizkallah, P. Chubb et al., CoGENT: Verifying highassurance file system implementations, ASPLOS, pp.175-188, 2016.

M. Attariyan, M. Chow, and J. Flinn, X-ray: Automating root-cause diagnosis of performance anomalies in production software, OSDI, pp.307-320, 2012.

P. Barham, A. Donnelly, R. Isaacs, and R. Mortier, Using Magpie for request extraction and workload modelling, OSDI, pp.259-272, 2004.

A. Chanda, A. L. Cox, and W. Zwaenepoel, Whodunit: Transactional profiling for multi-tier applications, EuroSys'07, pp.17-30, 2007.

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, pp.18-37, 2015.
DOI : 10.1145/1806596.1806610

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

P. Deligiannis, A. F. Donaldson, and Z. Rakamaric, Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
DOI : 10.1109/ASE.2015.30

D. Engler and K. Ashcraft, RacerX: Effective, static detection of race conditions and deadlocks, SOSP, pp.237-252, 2003.

J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, Effective data-race detection for the kernel, OSDI'10, pp.151-162, 2010.

C. Frost, M. Mammarella, E. Kohler, A. De-los-reyes, S. Hovsepian et al., Generalized file system dependencies, SOSP '07, pp.307-320, 2007.
DOI : 10.1145/1323293.1294291

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

R. Gu, Z. Shao, H. Chen, X. N. Wu, J. Kim et al., CertiKOS, Proceedings of the Second Asia-Pacific Workshop on Systems, APSys '11, pp.653-669, 2016.
DOI : 10.1145/2103799.2103803

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, pp.207-220, 2009.
DOI : 10.1145/1629575.1629596

X. Liu, Z. Guo, X. Wang, F. Chen, X. Lian et al., D 3 S: debugging deployed distributed systems, NSDI, pp.423-437, 2008.

J. Lozi, B. Lepers, J. Funston, F. Gaud, V. Quéma et al., The Linux scheduler, Proceedings of the Eleventh European Conference on Computer Systems, EuroSys '16, pp.1-1, 2016.
DOI : 10.1145/1736020.1736036

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

H. Mai, E. Pek, H. Xue, S. T. King, and P. Madhusudan, Verifying security invariants in ExpressOS, ASPLOS, pp.293-304, 2013.

F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller, Devil: An IDL for hardware programming, OSDI'00, 2000.

G. Muller, C. Consel, R. Marlet, L. P. Barreto, F. Merillon et al., Towards robust OSes for appliances, Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system, EW 9, pp.19-24, 2000.
DOI : 10.1145/566726.566732

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

G. Muller, J. L. Lawall, and H. Duchesne, A framework for simplifying the development of kernel schedulers: Design and performance evaluation, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), pp.56-65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457120

M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill, CMC, OSDI'02, pp.75-88, 2002.
DOI : 10.1145/844128.844136

S. E. Perl and W. E. , Performance assertion checking, SOSP '93, pp.134-145, 1993.
DOI : 10.1145/142111.964626

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

L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser, Dingo, Proceedings of the fourth ACM european conference on Computer systems, EuroSys '09, pp.275-288, 2009.
DOI : 10.1145/1519065.1519095

S. K. Sahoo, J. Criswell, C. Geigle, and V. Adve, Using likely invariants for automated software fault localization, ASPLOS '13, pp.139-152, 2013.
DOI : 10.1145/2499368.2451131

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, pp.391-411, 1997.
DOI : 10.1145/265924.265927

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

A. Schüpbach, A. Baumann, T. Roscoe, and S. Peter, A declarative language approach to device configuration, ASPLOS'11, pp.119-132, 2011.

K. Shen, M. Zhong, and C. Li, I/O system performance debugging using model-driven anomaly characterization, FAST'05, pp.309-322, 2005.

V. Vojdani, K. Apinis, V. Rõtov, H. Seidl, V. Vene et al., Static race detection for device drivers: the Goblint approach, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pp.391-402, 2016.
DOI : 10.1145/1287624.1287654

C. Xu and F. C. Lau, Load balancing in parallel computers: theory and practice, 1996.

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, pp.393-423, 2006.
DOI : 10.1145/1189256.1189259