REMS-DeepSpec 2020
Mon 15 - Tue 16 June 2020
co-located with PLDI 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

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
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
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