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

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 11:00
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun Deng Microsoft Corporation, A: Matthew Jin Microsoft Corporation, A: Xiaoyu Liu Microsoft Corporation, A: Xin Shi Microsoft Corporation, A: Neel Sundaresan Microsoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen Magill Muse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma Churchill Facebook London, P: Ezgi Çiçek Facebook London, P: Nikos Gorogiannis Facebook and Middlesex University London, P: Jules Villard Facebook London