PLDI 2022 (series) / Infer 2022 (series) /
Infer 2022 Program
This is the Infer 2022 program - see the full program for PLDI 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 09:50 | |||
09:00 40mTalk | Three years of analyzing Ada code with Infer: a retrospectivevirtual Infer Boris Yakobowski AdaCore | ||
09:40 10mLive Q&A | Q&A 1 Infer |
10:20 - 12:00 | |||
10:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
11:00 10mLive Q&A | Q&A 2 Infer | ||
11:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
11:50 10mLive Q&A | Q&A 3 Infer |
13:30 - 15:10 | |||
13:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
14:10 10mLive Q&A | Q&A 4 Infer | ||
14:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
15:00 10mLive Q&A | Q&A 5 Infer |
15:30 - 16:45 | |||
15:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
16:10 10mLive Q&A | Q&A 6 Infer | ||
16:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
16:40 5mLive Q&A | Q&A 7 Infer |
22:20 - 00:00 | |||
22:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
23:00 10mLive Q&A | Q&A 2 Infer | ||
23:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
23:50 10mLive Q&A | Q&A 3 Infer |
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 03:10 | |||
01:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
02:10 10mLive Q&A | Q&A 4 Infer | ||
02:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
03:00 10mLive Q&A | Q&A 5 Infer |
03:30 - 04:45 | |||
03:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
04:10 10mLive Q&A | Q&A 6 Infer | ||
04:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
04:40 5mLive Q&A | Q&A 7 Infer |