InfERL: Scalable and extensible static analysis for Erlang (Infer 2022)

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Track

Infer 2022

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 Corentin De Souza
11:00 10m Live Q&A		Q&A 2 Infer
11:10 40m Talk		InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta
11:50 10m Live Q&A		Q&A 3 Infer

22:20 - 00:00	Session 2Infer at Rousseau East

22:20 40m Talk		Higher-order function specialization in Infervirtual Infer Corentin De Souza
23:00 10m Live Q&A		Q&A 2 Infer
23:10 40m Talk		InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta
23:50 10m Live Q&A		Q&A 3 Infer

InfERL: Scalable and extensible static analysis for Erlang

virtual

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

Ákos Hajdu

Meta

Tracks

Co-hosted Conferences

Workshops

InfERL: Scalable and extensible static analysis for Erlang

virtual

Program Display Configuration

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Ákos Hajdu

Meta

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