Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameInfer Practitioners live stream
Floor0
Additional 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

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

04:30 - 05:00
Day opening
Infer Practitioners
05:00 - 07:00: Session 1Infer Practitioners at Infer Practitioners live stream
Chair(s): Dulma ChurchillFacebook London
05:00 - 05:45
Talk
Infer Practitioners
05:45 - 06:30
Talk
Infer Practitioners
P: Ezgi ÇiçekFacebook London
06:30 - 07:00
Coffee 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 - 07:45
Talk
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 - 08:30
Talk
Infer Practitioners
I: Pavle SuboticAmazon
08:30 - 09:00
Coffee break
Infer Practitioners
09:00 - 11:00: Session 3Infer Practitioners at Infer Practitioners live stream
Chair(s): Ezgi ÇiçekFacebook London
09:00 - 09:45
Talk
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 - 10:30
Talk
Infer Practitioners
I: Stephen MagillMuse Dev
10:30 - 11:00
Live Q&A
Infer Practitioners
P: Dulma ChurchillFacebook London, P: Ezgi ÇiçekFacebook London, P: Nikos GorogiannisFacebook and Middlesex University London, P: Jules VillardFacebook London

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change