18. 11. 2019920 zhlédnutíFormal verification made easy (and fast)!Speaker Daniel Bristot de Oliveira (Red Hat, Inc.)DescriptionLinux is complex, and formal verification has been gain...
4. 12. 2018464 zhlédnutíUrl: https://linuxplumbersconf.org/event/2/contributions/109/speaker: Nikita V. Shirokov (Facebook)Today every packet which is reaching Facebook’s network ...
18. 11. 20191 773 zhlédnutíIn this talk Dmitry will highlight some of the areas for improvement related to release quality, security, and developer experience and productivity. Then tr...