Performance debugging for distributed systems of black boxes, SOSP '03, pp.74-89, 2003. ,
CoGENT: Verifying highassurance file system implementations, ASPLOS, pp.175-188, 2016. ,
X-ray: Automating root-cause diagnosis of performance anomalies in production software, OSDI, pp.307-320, 2012. ,
Using Magpie for request extraction and workload modelling, OSDI, pp.259-272, 2004. ,
Whodunit: Transactional profiling for multi-tier applications, EuroSys'07, pp.17-30, 2007. ,
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
Keeping kernel performance from regressions, Linux Symposium, pp.93-102, 2007. ,
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
RacerX: Effective, static detection of race conditions and deadlocks, SOSP, pp.237-252, 2003. ,
Effective data-race detection for the kernel, OSDI'10, pp.151-162, 2010. ,
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
CertiKOS, Proceedings of the Second Asia-Pacific Workshop on Systems, APSys '11, pp.653-669, 2016. ,
DOI : 10.1145/2103799.2103803
seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009. ,
DOI : 10.1145/1629575.1629596
D 3 S: debugging deployed distributed systems, NSDI, pp.423-437, 2008. ,
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
Verifying security invariants in ExpressOS, ASPLOS, pp.293-304, 2013. ,
Devil: An IDL for hardware programming, OSDI'00, 2000. ,
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
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
CMC, OSDI'02, pp.75-88, 2002. ,
DOI : 10.1145/844128.844136
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
Dingo, Proceedings of the fourth ACM european conference on Computer systems, EuroSys '09, pp.275-288, 2009. ,
DOI : 10.1145/1519065.1519095
Using likely invariants for automated software fault localization, ASPLOS '13, pp.139-152, 2013. ,
DOI : 10.1145/2499368.2451131
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 declarative language approach to device configuration, ASPLOS'11, pp.119-132, 2011. ,
I/O system performance debugging using model-driven anomaly characterization, FAST'05, pp.309-322, 2005. ,
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
Load balancing in parallel computers: theory and practice, 1996. ,
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