Write a Blog >>
ISMM 2020
Tue 16 Jun 2020
co-located with
PLDI 2020
Toggle navigation
Attending
Venue: Online!
PLDI 2020
Statement on Current Events
Registration
Code of Conduct
Sponsorship
Student participation and support
Video recording
Program
Complete Program
Your Program
Tue 16 Jun
Track/Call
Organization
ISMM 2020 Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2020
(
series
) /
ISMM 2020
(
series
) /
Online!
/
Room information: Infer Practitioners live stream
Venue
Online!
Room name
Infer Practitioners live stream
Floor
0
Room Information
Slack channel:
#infer
YouTube live stream
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
04:30 - 05:00
Session 0
Infer Practitioners
at
Infer Practitioners live stream
04:30
30m
Day opening
Buffer time to get set up, Welcome
Infer Practitioners
05:00 - 07:00
Session 1
Infer Practitioners
at
Infer Practitioners live stream
Chair(s):
Dulma Churchill
Facebook London
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I:
Boris Yakobowski
AdaCore
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P:
Ezgi Çiçek
Facebook London
06:30
30m
Coffee break
Break
Infer Practitioners
07:00 - 09:00
Session 2
Infer Practitioners
at
Infer Practitioners live stream
Chair(s):
Nikos Gorogiannis
Facebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A:
Tomas Fiedor
VUT Brno
,
A:
Dominik Harmim
Brno University of Technology, Faculty of Information Technology
,
A:
Vladimir Marcin
Brno University of Technology, Faculty of Information Technology
,
A:
Ondřej Pavela
Brno University of Technology, Faculty of Information Technology
,
A:
Adam Rogalewicz
Brno University of Technology, Faculty of Information Technology
,
A:
Tomáš Vojnar
Brno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I:
Pavle Subotic
Amazon
08:30
30m
Coffee break
Break
Infer Practitioners
09:00 - 11:00
Session 3
Infer Practitioners
at
Infer Practitioners live stream
Chair(s):
Ezgi Çiçek
Facebook London
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A:
Shao Kun Deng
Microsoft Corporation
,
A:
Matthew Jin
Microsoft Corporation
,
A:
Xiaoyu Liu
Microsoft Corporation
,
A:
Xin Shi
Microsoft Corporation
,
A:
Neel Sundaresan
Microsoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I:
Stephen Magill
Muse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P:
Dulma Churchill
Facebook London
,
P:
Ezgi Çiçek
Facebook London
,
P:
Nikos Gorogiannis
Facebook and Middlesex University London
,
P:
Jules Villard
Facebook London
Tue 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Infer Practitioners live stream
Infer Practitioners
Session 0
Infer Practitioners
Session 1
Infer Practitioners
Session 2
Infer Practitioners
Session 3
Infer Practitioners
Infer Practitioners
Infer Practitioners
Infer Practitioners
Tue 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
Infer Practitioners live stream
Infer Practitioners
Buffer time to get set up, Welcome
04:30 - 05:00
Infer Practitioners
*Infer*ring things on Ada code – Invited Talk
05:00 - 05:45
Infer Practitioners
Static Performance Analysis
05:45 - 06:30
Infer Practitioners
Break
06:30 - 07:00
Infer Practitioners
Plugins for Detecting Deadlocks and Atomicity Violation and Performance ...
07:00 - 07:45
Infer Practitioners
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
07:45 - 08:30
Infer Practitioners
Break
08:30 - 09:00
Infer Practitioners
Infer#: An Automatic Bug Detector on .NET Programs
09:00 - 09:45
Infer Practitioners
Experimenting with Infer at Scale – Invited Talk
09:45 - 10:30
Infer Practitioners
Infer team Q&A
10:30 - 11:00
x
Fri 8 Nov 22:44