Virtual CPU validation, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, pp.311-327, 2015. ,
DOI : 10.1145/2046707.2046754
CloudStack ? live migration is failing for vm deployed using dynamic compute offerings with NPE; unhandled exception executing api command: findHostsForMigration java.lang.NullPointerException. https: //issues.apache.org/jira, p.6099, 2014. ,
Verifying cloud services, ACM SIGOPS Operating Systems Review, vol.47, issue.2, pp.6-19, 2013. ,
DOI : 10.1145/2506164.2506167
URL : https://hal.archives-ouvertes.fr/hal-01265437
KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs, Proceedings of the 8 t h USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, pp.209-224, 2008. ,
OpenStack Compute (nova) ? race conditions with server group scheduler policies, 2015. ,
Live Migration of Virtual Machines, Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation -NSDI'05). USENIX Association, pp.273-286, 2005. ,
Higher SLA Satisfaction in Datacenters with Continuous VM Placement Constraints, Proceedings of the 9 t h Workshop on Hot Topics in Dependable Systems (HotDep '13, 2013. ,
BtrPlace ? continuous spread fail. https://github.com/ btrplace/scheduler, 2016. ,
BtrPlace ? CShareableResource and 0 capacity/consumption . https://github.com/btrplace/scheduler, p.124, 2016. ,
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems, Proceedings of the ACM Symposium on Cloud Computing (SOCC '14, p.14, 2014. ,
Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages, Proceedings of the Seventh ACM Symposium on Cloud Computing (SoCC '16, pp.1-16, 2016. ,
OpenStack Compute (nova) ? Affinity filter checks erroneously includes deleted instances, 2013. ,
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications, IEEE Transactions on Dependable and Secure Computing, vol.10, issue.5, pp.273-286, 2013. ,
DOI : 10.1109/TDSC.2013.5
URL : https://hal.archives-ouvertes.fr/hal-00916311
OpenStack Compute (nova) ? Disk filter should not filter for boot volume, 2014. ,
OpenStack Compute (nova) ? Affinity policy problems with migrate and live-migrate. https://bugs.launchpad, 2015. ,
Verifying the Microsoft Hyper-V Hypervisor with VCC, Proceedings of the 2 nd World Congress on Formal Methods (FM '09, pp.806-809978, 2009. ,
DOI : 10.1007/978-3-642-05089-3_51
Towards Proving Optimistic Multicore Schedulers, Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS '17, pp.18-23, 2017. ,
The Linux scheduler, Proceedings of the Eleventh European Conference on Computer Systems, EuroSys '16, p.162901326, 2016. ,
DOI : 10.1145/1736020.1736036
URL : https://hal.archives-ouvertes.fr/hal-01295194
BtrPlace ? No solution is found. https://github.com/ btrplace/scheduler, p.112, 2016. ,
An Empirical Study of the Reliability of UNIX Utilities, Commun. ACM, vol.33, issue.12, pp.32-44, 1990. ,
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation, Proceedings of the 10th IEEE International Workshop on Object- Oriented Real-Time Dependable Systems (WORDS '05, pp.219-230, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00457121
How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015. ,
DOI : 10.1145/2185376.2185383
CloudStack ? CLONE -Allocation capacity of a cluster during HA. https://issues.apache.org/jira, p.4941, 2013. ,
CloudStack ? userconcentratedpod_firstfit failed to find alternate host to run VM. https://issues.apache.org/jira, p.2158, 2013. ,
CloudStack ? Allocated percentage of storage can go beyond 100%. https://issues.apache.org/jira, p.8896, 2015. ,
OpenStack Compute (nova) ? gap between scheduler selection and claim causes spurious failures when the instance is the last one to fit, 2014. ,
BtrPlace ? Out Of Bounds Exception. https://github. com/btrplace/scheduler, p.48, 2014. ,
Finding and Understanding Bugs in C Compilers, Proceedings of the 32 nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11), 2011. ,
DOI : 10.1145/2345156.1993532
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Dataintensive Systems, Proceedings of the 11 t h USENIX Conference on Symposium on Operating System Design & Implementation. USENIX Association, pp.249-265, 2014. ,