REMS-DeepSpec 2020
Mon 15 - Tue 16 June 2020
co-located with PLDI 2020
PLDI 2020 (series) / REMS-DeepSpec 2020 (series) / Online! /

Room information: Infer Practitioners live stream

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

Tue 16 Jun

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

04:30 - 05:00
Session 0Infer Practitioners at Infer Practitioners live stream
04:30
30m
Day opening
Buffer time to get set up, Welcome
Infer Practitioners

05:00 - 07:00
Session 1Infer Practitioners at Infer Practitioners live stream
Chair(s): Dulma Churchill Facebook London
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I: Boris Yakobowski AdaCore
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi Çiçek Facebook London
06:30
30m
Coffee break
Break
Infer Practitioners

07:00 - 09:00
Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos Gorogiannis Facebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A: Tomas Fiedor VUT Brno, A: Dominik Harmim Brno University of Technology, Faculty of Information Technology, A: Vladimir Marcin Brno University of Technology, Faculty of Information Technology, A: Ondřej Pavela Brno University of Technology, Faculty of Information Technology, A: Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, A: Tomáš Vojnar Brno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I: Pavle Subotic Amazon
08:30
30m
Coffee break
Break
Infer Practitioners

09:00 - 11:00
Session 3Infer Practitioners at Infer Practitioners live stream
Chair(s): Ezgi Çiçek Facebook London
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

Tue 16 Jun

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

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:0030
Infer Practitioners live stream

Infer Practitioners

Session 0

Infer Practitioners

Session 1

Infer Practitioners

Session 2

Infer Practitioners

Session 3

Infer Practitioners

Infer Practitioners

Infer Practitioners

Infer Practitioners

Tue 16 Jun

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

Room4:001530455:001530456:001530457:001530458:001530459:0015304510:00153045
Infer Practitioners live stream
Infer Practitioners
Buffer time to get set up, Welcome
04:30 - 05:00
Infer Practitioners
*Infer*ring things on Ada code – Invited Talk
05:00 - 05:45
Infer Practitioners
Static Performance Analysis
05:45 - 06:30
Infer Practitioners
Break
06:30 - 07:00
Infer Practitioners
Plugins for Detecting Deadlocks and Atomicity Violation and Performance ...
07:00 - 07:45
Infer Practitioners
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
07:45 - 08:30
Infer Practitioners
Break
08:30 - 09:00
Infer Practitioners
Infer#: An Automatic Bug Detector on .NET Programs
09:00 - 09:45
Infer Practitioners
Experimenting with Infer at Scale – Invited Talk
09:45 - 10:30
Infer Practitioners
Infer team Q&A
10:30 - 11:00