Precise and Automated Symbolic Analysis of Concurrent Programs
71
Microsoft Research330 тыс
Следующее
17.08.16 – 1556:06Популярные
125 дней – 6336:41
162 дня – 6113:07:51Опубликовано 17 августа 2016, 21:06
Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes software development even more complex (e.g. Heisenbugs). In this talk, I'll present my research towards improving the reliability of concurrent programs by building a scalable tool for precise and automated static analysis of concurrent executions. In the first part of the talk I will introduce STORM, a static assertion checker for concurrent software components: I'll present algorithms and techniques used in the tool, as well as the latest results of applying STORM on drivers in the Win8 source depot. In the second part I'll focus on future plans and promising research directions for STORM as a platform for precise symbolic reasoning of concurrent executions.
Свежие видео
10 дней – 104 45113:52
10 дней – 8 55110:14
13 дней – 14 3156:36
14 дней – 8870:19
15 дней – 2 5111:21
16 дней – 90 26811:55Случайные видео
158 дней – 12 2890:31
203 дня – 115 1531:03
212 дней – 22 0330:56
03.04.23 – 324 26818:06
02.02.22 – 569 8750:45
16 часов – 9 8651:41
5 дней – 9681:56
6 дней – 4383:31
6 дней – 1518:04
7 дней – 96 50719:30
7 дней – 7002:05
8 дней – 38 80823:30