Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameInfer Practitioners live stream
Floor0
Room Information

Slack channel: #infer

YouTube live stream

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Tue 16 Jun

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

04:30 - 05:00
04:30
30m
Day opening
Buffer time to get set up, Welcome
Infer Practitioners

05:00 - 07:00
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi ÇiçekFacebook London
06:30
30m
Coffee break
Break
Infer Practitioners

07:00 - 09:00
Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A: Tomas FiedorVUT Brno, A: Dominik HarmimBrno University of Technology, Faculty of Information Technology, A: Vladimir MarcinBrno University of Technology, Faculty of Information Technology, A: Ondřej PavelaBrno University of Technology, Faculty of Information Technology, A: Adam RogalewiczBrno University of Technology, Faculty of Information Technology, A: Tomáš VojnarBrno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I: Pavle SuboticAmazon
08:30
30m
Coffee break
Break
Infer Practitioners

09:00 - 11:00
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun DengMicrosoft Corporation, A: Matthew JinMicrosoft Corporation, A: Xiaoyu LiuMicrosoft Corporation, A: Xin ShiMicrosoft Corporation, A: Neel SundaresanMicrosoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen MagillMuse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma ChurchillFacebook London, P: Ezgi ÇiçekFacebook London, P: Nikos GorogiannisFacebook and Middlesex University London, P: Jules VillardFacebook London

Conference Day
Tue 16 Jun

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