Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 09:45 - 10:30 at Infer Practitioners live stream - Session 3 Chair(s): Ezgi Çiçek

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

infer-2020-talks
09:00 - 11:00: Infer Practitioners 2020 - Session 3 at Infer Practitioners live stream
Chair(s): Ezgi ÇiçekFacebook London
infer-2020-talks09:00 - 09:45
Talk
Shao Kun DengMicrosoft Corporation, Matthew JinMicrosoft Corporation, Xiaoyu LiuMicrosoft Corporation, Xin ShiMicrosoft Corporation, Neel SundaresanMicrosoft Corporation
infer-2020-talks09:45 - 10:30
Talk
infer-2020-talks10:30 - 11:00
Live Q&A
Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London