Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
PLDI 2021 (series) / HOPL IV (series) / Online /

Room information: Infer Practitioners

VenueOnline
Room nameInfer Practitioners
Room InformationNo extra information available
Program

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

Mon 21 Jun

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

09:00 - 11:45
Session 1Infer Practitioners at Infer Practitioners
Chair(s): Dino Distefano Facebook London
09:00
40m
Talk
Journey to null safety for Java at Facebook. An experience report.
Infer Practitioners
Artem Pianykh Facebook London, Mitya Lyubarskiy Facebook London
09:40
15m
Live Q&A
Q&A 1
Infer Practitioners

09:55
40m
Talk
 Classifying and Prioritizing Facebook Infer's Warnings
Infer Practitioners
Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto Martins Instituto Superior Técnico, U. Lisboa & INESC-ID, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal
10:35
15m
Live Q&A
Q&A 2
Infer Practitioners

10:50
40m
Talk
Compositional checking of safety temporal properties
Infer Practitioners
Radu Grigore Facebook
11:30
15m
Live Q&A
Q&A 3
Infer Practitioners

13:30 - 16:15
Session 2Infer Practitioners at Infer Practitioners
Chair(s): Ezgi Çiçek Facebook London
13:30
40m
Talk
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Infer Practitioners
Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon
14:10
15m
Live Q&A
Q&A 4
Infer Practitioners

14:25
40m
Talk
Interactive Static Performance Analysis with Infer in the IDE
Infer Practitioners
Jürgen Cito TU Wien and Facebook
15:05
15m
Live Q&A
Q&A 5
Infer Practitioners

Mon 21 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Infer Practitioners

Infer Practitioners

Session 1

Infer Practitioners

Session 2

Mon 21 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Infer Practitioners
Infer Practitioners
Journey to null safety for Java at Facebook. An experience report.
09:00 - 09:40
Infer Practitioners
Q&A 1
09:40 - 09:55
Infer Practitioners
Classifying and Prioritizing Facebook Infer's Warnings
09:55 - 10:35
Infer Practitioners
Q&A 2
10:35 - 10:50
Infer Practitioners
Compositional checking of safety temporal properties
10:50 - 11:30
Infer Practitioners
Q&A 3
11:30 - 11:45
Infer Practitioners
Differential Cost Analysis with Infer and Possible Extensions for Concr ...
13:30 - 14:10
Infer Practitioners
Q&A 4
14:10 - 14:25
Infer Practitioners
Interactive Static Performance Analysis with Infer in the IDE
14:25 - 15:05
Infer Practitioners
Q&A 5
15:05 - 15:20