ASPLOS22 - Session 7B - Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs - видео




ASPLOS22: The 27th International Conference on Architectural Support for Programming Languages and Operating Systems Session 7B: Bugs 2 Session Chair: James Larus EPFL Title: Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs Presented by: Tuo Li Tsinghua University Authors: Tuo Li Tsinghua University Jia-Ju Bai Tsinghua University Yulei Sui University of Technology Sydney Shi-Min Hu Tsinghua University,
Источник видео: RuTube.ru (Технологии и интернет)



Ваше мнение о видео
Комментарии ( 0 )

Сначала новые
Сначала старые
Сначала лучшие

Впишите НИК/Имя что бы писать комментарии

Войти

Похожее видео

#
Сегодня обсуждают
  1. Здравствуйте Роман Эдуардович, меня зовут Джафар Пулатов и мне 9 лет, я являюсь Вашим подписчиком, и мне очень нравятся ваши видео о майнкрафте))) Я начинающий игрок, и поэтому прошу Вас помочь мне. Не могли бы Вы отправить мне ссылку для скачиван...


    Путешествие с друзьями по Турции, особенно в таком живописном месте как Аланья, может стать незабываемым приключением. "Отдых дикарем" предполагает более автономный и гибкий подход к планированию поездки, что позволяет исследовать местность вне тр...


    Вашей маме нужны пешие прогулки от 1 до 10 км в день, лучше с палками, плавание в бассейне. Прекратите ей скармливать зефир, а лучше отведите ее в район п-ку где по системе