ISMM 2022
Tue 14 Jun 2022
San Diego, California, United States
co-located with
PLDI 2022
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
PLDI 2022
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
ISMM Program
Your Program
Tue 14 Jun
Track/Call
Organization
ISMM 2022 Committees
Track Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
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 2022
(
series
) /
ISMM 2022 (
series
) /
The Catamaran Resort, San Diego
/
Room information: Rousseau East
Venue
The Catamaran Resort, San Diego
Room name
Rousseau East
Floor
1
Capacity
40
Room Information
No extra information available
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
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 09:50
Session 1
Infer
at
Rousseau East
Chair(s):
Dulma Churchill
Facebook London
09:00
40m
Talk
Three years of analyzing Ada code with Infer: a retrospective
virtual
Infer
Boris Yakobowski
AdaCore
09:40
10m
Live Q&A
Q&A 1
Infer
10:20 - 12:00
Session 2
Infer
at
Rousseau East
+12h
Chair(s):
Nikos Gorogiannis
Facebook
10:20
40m
Talk
Higher-order function specialization in Infer
virtual
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 Erlang
virtual
Infer
Ákos Hajdu
Meta
11:50
10m
Live Q&A
Q&A 3
Infer
13:30 - 15:10
Session 3
Infer
at
Rousseau East
+12h
Chair(s):
Jules Villard
Facebook London
13:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logic
virtual
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
10m
Live Q&A
Q&A 4
Infer
14:20
40m
Talk
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
10m
Live Q&A
Q&A 5
Infer
15:30 - 16:45
Session 4
Infer
at
Rousseau East
+12h
Chair(s):
Jules Villard
Facebook London
15:30
40m
Talk
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
10m
Live Q&A
Q&A 6
Infer
16:20
20m
Talk
Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
Infer
Rishav Mishra
SonaType
,
Stephen Magill
16:40
5m
Live Q&A
Q&A 7
Infer
22:20 - 00:00
Session 2
Infer
at
Rousseau East
22:20
40m
Talk
Higher-order function specialization in Infer
virtual
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 Erlang
virtual
Infer
Ákos Hajdu
Meta
23:50
10m
Live Q&A
Q&A 3
Infer
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
01:30 - 03:10
Session 3
Infer
at
Rousseau East
01:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logic
virtual
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
10m
Live Q&A
Q&A 4
Infer
02:20
40m
Talk
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
10m
Live Q&A
Q&A 5
Infer
03:30 - 04:45
Session 4
Infer
at
Rousseau East
03:30
40m
Talk
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
10m
Live Q&A
Q&A 6
Infer
04:20
20m
Talk
Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
Infer
Rishav Mishra
SonaType
,
Stephen Magill
04:40
5m
Live Q&A
Q&A 7
Infer
10:00 - 12:00
Welcome and Session A
ISMM 2022
at
Rousseau East
+12h
Chair(s):
Martin Maas
Google Research
10:15
15m
Day opening
Welcome from the Chairs and Conference Report
virtual
ISMM 2022
David Chisnall
Microsoft Research
,
Michael Lippautz
Google
10:30
60m
Panel
Industry panel: Memory management priorities for the next few years
virtual
ISMM 2022
Nathaniel Wesley Filardo
,
Chris Kennelly
Google
,
Christine H. Flood
Julia Computing
11:30
30m
Talk
Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
virtual
ISMM 2022
Shai Bergman
Technion
,
Priyank Faldu
ARM
,
Boris Grot
University of Edinburgh, UK
,
Lluís Vilanova
Imperial College London
,
Mark Silberstein
Technion
12:00 - 14:00
Lunch
ISMM 2022
at
Rousseau East
+12h
12:00
2h
Lunch
Lunch
social
ISMM 2022
14:00 - 16:00
Session B
ISMM 2022
at
Rousseau East
+12h
Chair(s):
Chen Ding
University of Rochester
14:00
30m
Talk
MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation
virtual
ISMM 2022
AmirHossein Seyri
University of Illinois at Chicago
,
Abhisek Pan
Microsoft
,
Balajee Vamanan
University of Illinois at Chicago
14:30
30m
Talk
Replication-based Object Persistence by Reachability
virtual
ISMM 2022
Kotaro Matsumoto
Kochi University of Technology
,
Tomoharu Ugawa
University of Tokyo
,
Hideya Iwasaki
University of Electro-Communications, Japan
15:00
30m
Talk
Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors
virtual
ISMM 2022
Katsuhiro Ueno
Niigata University
,
Atsushi Ohori
Tohoku University, Japan
15:30
30m
Break
Social break
social
ISMM 2022
16:00 - 17:30
Keynote and Closing
ISMM 2022
at
Rousseau East
+12h
Chair(s):
Michael Lippautz
Google
16:00
60m
Keynote
We Live in Interesting Times
virtual
ISMM 2022
Steve Blackburn
Google and Australian National University
17:00
15m
Day closing
Closing Remarks
virtual
ISMM 2022
David Chisnall
Microsoft Research
,
Michael Lippautz
Google
22:00 - 00:00
Welcome and Session A
ISMM 2022
at
Rousseau East
22:15
15m
Day opening
Welcome from the Chairs and Conference Report
virtual
ISMM 2022
David Chisnall
Microsoft Research
,
Michael Lippautz
Google
22:30
60m
Panel
Industry panel: Memory management priorities for the next few years
virtual
ISMM 2022
Nathaniel Wesley Filardo
,
Chris Kennelly
Google
,
Christine H. Flood
Julia Computing
23:30
30m
Talk
Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
virtual
ISMM 2022
Shai Bergman
Technion
,
Priyank Faldu
ARM
,
Boris Grot
University of Edinburgh, UK
,
Lluís Vilanova
Imperial College London
,
Mark Silberstein
Technion
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
00:00 - 02:00
Lunch
ISMM 2022
at
Rousseau East
00:00
2h
Lunch
Lunch
social
ISMM 2022
02:00 - 04:00
Session B
ISMM 2022
at
Rousseau East
02:00
30m
Talk
MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation
virtual
ISMM 2022
AmirHossein Seyri
University of Illinois at Chicago
,
Abhisek Pan
Microsoft
,
Balajee Vamanan
University of Illinois at Chicago
02:30
30m
Talk
Replication-based Object Persistence by Reachability
virtual
ISMM 2022
Kotaro Matsumoto
Kochi University of Technology
,
Tomoharu Ugawa
University of Tokyo
,
Hideya Iwasaki
University of Electro-Communications, Japan
03:00
30m
Talk
Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors
virtual
ISMM 2022
Katsuhiro Ueno
Niigata University
,
Atsushi Ohori
Tohoku University, Japan
03:30
30m
Break
Social break
social
ISMM 2022
04:00 - 05:30
Keynote and Closing
ISMM 2022
at
Rousseau East
04:00
60m
Keynote
We Live in Interesting Times
virtual
ISMM 2022
Steve Blackburn
Google and Australian National University
05:00
15m
Day closing
Closing Remarks
virtual
ISMM 2022
David Chisnall
Microsoft Research
,
Michael Lippautz
Google
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 11:50
Student Research Competition (SRC) Finals Session
PLDI SRC
at
Rousseau East
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Rousseau East
Infer
Session 1
Infer
Session 2
Infer
Session 3
Infer
Session 4
Infer
Session 2
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
1:00
30
2:00
30
3:00
30
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
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Rousseau East
Infer
Session 3
Infer
Session 4
ISMM 2022
Welcome and Session A
ISMM 2022
Lunch
ISMM 2022
Session B
ISMM 2022
Keynote and Closing
ISMM 2022
Welcome and Session A
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
Rousseau East
ISMM 2022
Lunch
ISMM 2022
Session B
ISMM 2022
Keynote and Closing
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
Rousseau East
PLDI SRC
Student Research Competition (SRC) Finals Session
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Rousseau East
Infer
virtual
Three years of analyzing Ada code with Infer: a retrospective
09:00 - 09:40
Infer
Q&A 1
09:40 - 09:50
Infer
virtual
Higher-order function specialization in Infer
10:20 - 11:00
Infer
Q&A 2
11:00 - 11:10
Infer
virtual
InfERL: Scalable and extensible static analysis for Erlang
11:10 - 11:50
Infer
Q&A 3
11:50 - 12:00
Infer
virtual
Finding Real Bugs in Big Programs with Incorrectness Logic
13:30 - 14:10
Infer
Q&A 4
14:10 - 14:20
Infer
HIPPODROME: Data Race Repair using Static Analysis Summaries
14:20 - 15:00
Infer
Q&A 5
15:00 - 15:10
Infer
Infer#’s journey to bring Infer to the .NET world
15:30 - 16:10
Infer
Q&A 6
16:10 - 16:20
Infer
Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
16:20 - 16:40
Infer
Q&A 7
16:40 - 16:45
Infer
virtual
Higher-order function specialization in Infer
22:20 - 23:00
Infer
Q&A 2
23:00 - 23:10
Infer
virtual
InfERL: Scalable and extensible static analysis for Erlang
23:10 - 23:50
Infer
Q&A 3
23:50 - 00:00
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
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
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Rousseau East
Infer
virtual
Finding Real Bugs in Big Programs with Incorrectness Logic
01:30 - 02:10
Infer
Q&A 4
02:10 - 02:20
Infer
HIPPODROME: Data Race Repair using Static Analysis Summaries
02:20 - 03:00
Infer
Q&A 5
03:00 - 03:10
Infer
Infer#’s journey to bring Infer to the .NET world
03:30 - 04:10
Infer
Q&A 6
04:10 - 04:20
Infer
Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
04:20 - 04:40
Infer
Q&A 7
04:40 - 04:45
ISMM
virtual
Welcome from the Chairs and Conference Report
10:15 - 10:30
ISMM
virtual
Industry panel: Memory management priorities for the next few years
10:30 - 11:30
ISMM
virtual
Reconsidering OS Memory Optimizations in the Presence of Disaggregated ...
11:30 - 12:00
ISMM
social
Lunch
12:00 - 14:00
ISMM
virtual
MemSweeper: Virtualizing Cluster Memory Management for High Memory Util ...
14:00 - 14:30
ISMM
virtual
Replication-based Object Persistence by Reachability
14:30 - 15:00
ISMM
virtual
Concurrent and Parallel Garbage Collection for Lightweight Threads on M ...
15:00 - 15:30
ISMM
social
Social break
15:30 - 16:00
ISMM
virtual
We Live in Interesting Times
16:00 - 17:00
ISMM
virtual
Closing Remarks
17:00 - 17:15
ISMM
virtual
Welcome from the Chairs and Conference Report
22:15 - 22:30
ISMM
virtual
Industry panel: Memory management priorities for the next few years
22:30 - 23:30
ISMM
virtual
Reconsidering OS Memory Optimizations in the Presence of Disaggregated ...
23:30 - 00:00
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
Rousseau East
ISMM
social
Lunch
00:00 - 02:00
ISMM
virtual
MemSweeper: Virtualizing Cluster Memory Management for High Memory Util ...
02:00 - 02:30
ISMM
virtual
Replication-based Object Persistence by Reachability
02:30 - 03:00
ISMM
virtual
Concurrent and Parallel Garbage Collection for Lightweight Threads on M ...
03:00 - 03:30
ISMM
social
Social break
03:30 - 04:00
ISMM
virtual
We Live in Interesting Times
04:00 - 05:00
ISMM
virtual
Closing Remarks
05:00 - 05:15
x
Sat 21 Dec 15:01