VenueThe Catamaran Resort, San Diego
Room nameRousseau East
Floor1
Capacity40
Room InformationNo extra information available
Program

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 1Infer at Rousseau East
Chair(s): Dulma Churchill Facebook London
09:00
40m
Talk
Three years of analyzing Ada code with Infer: a retrospectivevirtual
Infer
09:40
10m
Live Q&A
Q&A 1
Infer

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

13:30 - 15:10
Session 3Infer at Rousseau East +12h
Chair(s): Jules Villard Facebook London
13:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logicvirtual
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 4Infer 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
16:40
5m
Live Q&A
Q&A 7
Infer

Tue 14 Jun

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

01:30 - 03:10
Session 3Infer at Rousseau East
01:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logicvirtual
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 4Infer 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
04:40
5m
Live Q&A
Q&A 7
Infer

10:00 - 12:00
Welcome and Session AISMM at Rousseau East +12h
Chair(s): Martin Maas Google Research
10:15
15m
Day opening
Welcome from the Chairs and Conference Reportvirtual
ISMM
David Chisnall Microsoft Research, Michael Lippautz Google
10:30
60m
Panel
Industry panel: Memory management priorities for the next few yearsvirtual
ISMM
11:30
30m
Talk
Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memoryvirtual
ISMM
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
LunchISMM at Rousseau East +12h
12:00
2h
Lunch
Lunchsocial
ISMM

14:00 - 16:00
Session BISMM 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 Isolationvirtual
ISMM
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 Reachabilityvirtual
ISMM
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 Processorsvirtual
ISMM
Katsuhiro Ueno Niigata University, Atsushi Ohori Tohoku University, Japan
15:30
30m
Break
Social breaksocial
ISMM

16:00 - 17:30
Keynote and ClosingISMM at Rousseau East +12h
Chair(s): Michael Lippautz Google
16:00
60m
Keynote
We Live in Interesting Timesvirtual
ISMM
Steve Blackburn Google and Australian National University
17:00
15m
Day closing
Closing Remarksvirtual
ISMM
David Chisnall Microsoft Research, Michael Lippautz Google

Wed 15 Jun

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

00:00 - 02:00
00:00
2h
Lunch
Lunchsocial
ISMM

02:00 - 04:00
Session BISMM at Rousseau East
02:00
30m
Talk
MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolationvirtual
ISMM
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 Reachabilityvirtual
ISMM
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 Processorsvirtual
ISMM
Katsuhiro Ueno Niigata University, Atsushi Ohori Tohoku University, Japan
03:30
30m
Break
Social breaksocial
ISMM

04:00 - 05:30
Keynote and ClosingISMM at Rousseau East
04:00
60m
Keynote
We Live in Interesting Timesvirtual
ISMM
Steve Blackburn Google and Australian National University
05:00
15m
Day closing
Closing Remarksvirtual
ISMM
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 SessionSRC at Rousseau East

Mon 13 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Rousseau East

Tue 14 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Rousseau East

Wed 15 Jun

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

Room0:00301:00302:00303:00304:00305:0030
Rousseau East

Thu 16 Jun

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

Tue 14 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Rousseau East
Infer
Q&A 4
02:10 - 02:20
Infer
Q&A 5
03:00 - 03:10
Infer
Q&A 6
04:10 - 04:20
Infer
Q&A 7
04:40 - 04:45
ISMMsocial
Lunch
12:00 - 14:00