Experimenting with Infer at Scale – Invited Talk
At Muse we have been developing an API for applying Infer and other program analysis tools at scale. Analysis runs in the cloud and results are collected and stored in a centralized database. The goal is to permit easy and fast experimentation with new analyzers. I will describe this framework, demonstrate its use, and show how it can be used to accelerate data collection for static analysis research.
Dr. Stephen Magill is CEO of Muse Dev, a company focused on integrating deep program analysis into modern development processes. He has led several large research and development projects, including serving as Principal Investigator on a number of DARPA programs and leading work with Amazon to apply verification to critical infrastructure code. Stephen’s research interests also include open source security practices, and he has contributed to survey design, data collection, and statistical analysis for the 2019 and 2020 State of the Software Supply Chain reports.
Tue 16 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
|09:00 - 09:45|
|09:45 - 10:30|
Stephen MagillMuse Dev
|10:30 - 11:00|