Mon 13 Jun 2022 11:10 - 11:50 at Rousseau East - Session 2 Chair(s): Nikos Gorogiannis
Mon 13 Jun 2022 23:10 - 23:50 at Rousseau East - Session 2

We present an Erlang frontend for Infer in order to leverage Infer’s capabilities for the static analysis of WhatsApp server’s codebase.

Mon 13 Jun

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

10:20 - 12:00
Session 2Infer at Rousseau East +12h
Chair(s): Nikos Gorogiannis Facebook
10:20
40m
Talk
Higher-order function specialization in Infervirtual
Infer
11:00
10m
Live Q&A
Q&A 2
Infer

11:10
40m
Talk
InfERL: Scalable and extensible static analysis for Erlangvirtual
Infer
11:50
10m
Live Q&A
Q&A 3
Infer