Write a Blog >>
SOAP 2021
Tue 22 - Wed 23 June 2021 Virtual Conference
co-located with PLDI 2021
VenueOnline
Room nameInfer Practitioners
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Conference Day
Mon 21 Jun

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

09:00 - 11:45
Session 1Infer Practitioners at Infer Practitioners
Chair(s): Dino DistefanoFacebook London
09:00
40m
Talk
Amending Hoare's "billion dollar mistake" at Facebook's scale. An experience report
Infer Practitioners
Artem PianykhFacebook London, Mitya LyubarskiyFacebook 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 ReisInstituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto MartinsInstituto Superior Técnico, U. Lisboa & INESC-ID, João F. FerreiraINESC-ID and IST, University of Lisbon, Rui AbreuFaculty 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 GrigoreFacebook
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çekFacebook London
13:30
40m
Talk
Interactive Static Performance Analysis with Infer in the IDE
Infer Practitioners
Jürgen CitoTU Wien and Facebook
14:10
15m
Live Q&A
Q&A 4
Infer Practitioners

14:25
40m
Talk
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Infer Practitioners
Đorđe ŽikelićIST Austria, Pauline BolignanoAmazon, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon
15:05
15m
Live Q&A
Q&A 5
Infer Practitioners

Conference Day
Mon 21 Jun

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

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