PLDI 2021 (series) / Infer Practitioners 2021 (series) /
Infer Practitioners 2021 Program
This is the Infer Practitioners 2021 program - see the full program for PLDI 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 21 JunDisplayed time zone: Eastern Time (US & Canada) change
Mon 21 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | |||
09:00 40mTalk | Journey to null safety for Java at Facebook. An experience report. Infer Practitioners | ||
09:40 15mLive Q&A | Q&A 1 Infer Practitioners | ||
09:55 40mTalk | 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 15mLive Q&A | Q&A 2 Infer Practitioners | ||
10:50 40mTalk | Compositional checking of safety temporal properties Infer Practitioners Radu Grigore Facebook | ||
11:30 15mLive Q&A | Q&A 3 Infer Practitioners |
13:30 - 16:15 | |||
13:30 40mTalk | 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 15mLive Q&A | Q&A 4 Infer Practitioners | ||
14:25 40mTalk | Interactive Static Performance Analysis with Infer in the IDE Infer Practitioners Jürgen Cito TU Wien and Facebook | ||
15:05 15mLive Q&A | Q&A 5 Infer Practitioners |