Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
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