Write a Blog >>
ISMM 2019
Sun 23 Jun 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
PLDI 2019
Registration
Code of Conduct
Sponsorship
Hotels
Student participation and support
Visa
Tourist Information
Childcare
Accessibility FAQ
Program
ISMM Program
Your Program
Sun 23 Jun
Track/Call
Organization
ISMM 2019 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 2019
(
series
) /
ISMM 2019
(
series
) /
Phoenix Convention Center
/
Room information: 106A
Venue
Phoenix Convention Center
Room name
106A
Floor
0
Room number
106A
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) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 09:15
Opening
SOAP
at
106A
Chair(s):
Thierry Lavoie
Synopsys, Inc.
09:00
15m
Day opening
Welcome to SOAP 2019
SOAP
Neville Grech
University of Athens
,
Thierry Lavoie
Synopsys, Inc.
09:15 - 11:00
Performance and Optimizations for Program Analysis Tools
SOAP
at
106A
Chair(s):
Neville Grech
University of Athens
09:15
20m
Talk
Commit-time Incremental Analysis
SOAP
Paddy Krishnan
,
Rebecca O'Donoghue
,
Nicholas Allen
,
Yi Lu
Oracle
09:35
20m
Talk
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
SOAP
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
Richard Leer
Heinz Nixdorf Institut, Paderborn University
,
Ben Hermann
Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
Media Attached
09:55
20m
Talk
Fixpoint Reuse for Incremental JavaScript Analysis
SOAP
Lawton Nichols
,
Mehmet Emre
University of California, Santa Barbara
,
Ben Hardekopf
UC Santa Barbara
10:15
80m
Talk
Program Analysis for Process Migration
SOAP
Buse Yılmaz
,
Ilyas Turimbetov
,
Didem Unat
Koç University
10:35
25m
Other
Open Discussion on Previous Talks 1
SOAP
11:20 - 12:30
Industry Talks
SOAP
at
106A
Chair(s):
Thierry Lavoie
Synopsys, Inc.
11:20
70m
Talk
Adventures in Commercial-Grade Static Analysis
SOAP
Simon Goldsmith
14:00 - 15:30
Engineering Advances for Program Analysis Tools
SOAP
at
106A
Chair(s):
Thierry Lavoie
Synopsys, Inc.
14:00
20m
Talk
SootDiff: Bytecode Comparison across different Java Compilers
SOAP
Andreas Dann
Paderborn University
,
Ben Hermann
Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20
20m
Talk
Modernizing Parsing Tools
SOAP
Steven O'Hara
,
Rocky Slavin
14:40
20m
Talk
MetaDL: Analysing Datalog in Datalog
SOAP
Alexandru Dura
,
Hampus Balldin
,
Christoph Reichenbach
Lund University
Pre-print
15:00
30m
Talk
Open Discussion on Previous Talks 2
SOAP
16:00 - 17:40
Demos, Tributes and Awards
SOAP
at
106A
Chair(s):
Neville Grech
University of Athens
16:00
20m
Other
Laurie Hendren Euology
SOAP
Thierry Lavoie
Synopsys, Inc.
,
Neville Grech
University of Athens
16:20
60m
Talk
FutureSoot: Making Soot ready for the future analyses of complex software
SOAP
Ben Hermann
Paderborn University
,
Andreas Dann
Paderborn University
17:20
20m
Day closing
Best presentation announcement and closing of the day
SOAP
Neville Grech
University of Athens
,
Thierry Lavoie
Synopsys, Inc.
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Scaling Up
ISMM 2019
at
106A
09:00
5m
Day opening
Welcome from the chairs
ISMM 2019
Harry Xu
University of California, Los Angeles (UCLA)
,
Jeremy Singer
University of Glasgow
09:05
40m
Talk
Keynote 1: Relaxed memory ordering needs a better specification
ISMM 2019
Hans-J. Boehm
Google
09:45
25m
Talk
Automatic GPU Memory Management for Large Neural Models in TensorFlow
ISMM 2019
Tung D. Le
IBM Research - Tokyo
,
Haruki Imai
IBM Research - Tokyo
,
Yasushi Negishi
IBM Research - Tokyo
,
Kiyokuni Kawachiya
IBM Research - Tokyo
10:10
25m
Talk
Massively Parallel GPU Memory Compaction
ISMM 2019
Matthias Springer
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
10:35
25m
Talk
Scaling Up Parallel GC Work-Stealing in Many-Core Environments
ISMM 2019
Michihiro Horie
IBM Research - Tokyo
,
Kazunori Ogata
IBM Research, Japan
,
Mikio Takeuchi
IBM Research - Tokyo
,
Hiroshi Horii
IBM Research, Japan
11:20 - 12:35
Exotica
ISMM 2019
at
106A
11:20
25m
Talk
Exploration of Memory Hybridization for RDD Caching in Spark
ISMM 2019
Md Muhib Khan
Florida State University
,
Muhammad Ahad Ul Alam
Florida State University, USA
,
Amit Kumar Nath
Florida State University, USA
,
Weikuan Yu
Florida State University, USA
11:45
25m
Talk
Learning When to Garbage Collect with Random Forests
ISMM 2019
Nicholas Jacek
UMass Amherst
,
Eliot Moss
University of Massachusetts Amherst
12:10
25m
Talk
Timescale Functions for Parallel Memory Allocation
ISMM 2019
Pengcheng Li
Google, Inc
,
Hao Luo
University of Rochester
,
Chen Ding
University of Rochester
14:00 - 15:40
Mechanics
ISMM 2019
at
106A
14:00
50m
Talk
Keynote 2: Why do big data and cloud systems stop (slow down)?
ISMM 2019
Shan Lu
University of Chicago
14:50
25m
Talk
Concurrent Marking of Shape-Changing Objects
ISMM 2019
Ulan Degenbaev
Google
,
Michael Lippautz
Google
,
Hannes Payer
Google
15:15
25m
Talk
A Lock-Free Coalescing-Capable Mechanism for Memory Management
ISMM 2019
Ricardo Leite
University of Porto
,
Ricardo Rocha
University of Porto, Portugal
16:00 - 17:15
Mechanics / Message Passing
ISMM 2019
at
106A
16:00
25m
Talk
snmalloc: A Message Passing Allocator
ISMM 2019
Paul Lietar
,
Theodore Butler
Drexel University, USA
,
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
Imperial College London
,
Juliana Franco
Microsoft Research, Cambridge
,
Matthew J. Parkinson
Microsoft Research, UK
,
Alex Shamis
Microsoft Research / Imperial College London
,
Christoph M. Wintersteiger
Microsoft Research, UK
,
David Chisnall
University of Cambridge
16:25
25m
Talk
Design and Analysis of Field-Logging Write Barriers
ISMM 2019
Steve Blackburn
Australian National University
16:50
24m
Talk
Gradual Write-Barrier Insertion into a Ruby Interpreter
ISMM 2019
Koichi Sasada
Cookpad, Japan
Link to publication
DOI
17:14
1m
Day closing
Final Remarks
ISMM 2019
Harry Xu
University of California, Los Angeles (UCLA)
,
Jeremy Singer
University of Glasgow
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
106A
SOAP
SOAP
Opening
SOAP
Performance and Optimizations for Program Analysis Tools
SOAP
SOAP
Industry Talks
SOAP
SOAP
Engineering Advances for Program Analysis Tools
SOAP
SOAP
Demos, Tributes and Awards
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
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
106A
ISMM 2019
Scaling Up
ISMM 2019
Exotica
ISMM 2019
Mechanics
ISMM 2019
Mechanics / Message Passing
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
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
106A
SOAP
Welcome to SOAP 2019
09:00 - 09:15
SOAP
Commit-time Incremental Analysis
09:15 - 09:35
SOAP
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
09:35 - 09:55
SOAP
Fixpoint Reuse for Incremental JavaScript Analysis
09:55 - 10:15
SOAP
Program Analysis for Process Migration
10:15 - 11:35
Open Discussion on Previous Talks 1
10:35 - 11:00
Adventures in Commercial-Grade Static Analysis
11:20 - 12:30
SOAP
SootDiff: Bytecode Comparison across different Java Compilers
14:00 - 14:20
SOAP
Modernizing Parsing Tools
14:20 - 14:40
SOAP
MetaDL: Analysing Datalog in Datalog
14:40 - 15:00
SOAP
Open Discussion on Previous Talks 2
15:00 - 15:30
SOAP
Laurie Hendren Euology
16:00 - 16:20
SOAP
FutureSoot: Making Soot ready for the future analyses of complex software
16:20 - 17:20
SOAP
Best presentation announcement and closing of the day
17:20 - 17:40
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
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
106A
ISMM
Welcome from the chairs
09:00 - 09:05
ISMM
Keynote 1: Relaxed memory ordering needs a better specification
09:05 - 09:45
ISMM
Automatic GPU Memory Management for Large Neural Models in TensorFlow
09:45 - 10:10
ISMM
Massively Parallel GPU Memory Compaction
10:10 - 10:35
ISMM
Scaling Up Parallel GC Work-Stealing in Many-Core Environments
10:35 - 11:00
ISMM
Exploration of Memory Hybridization for RDD Caching in Spark
11:20 - 11:45
ISMM
Learning When to Garbage Collect with Random Forests
11:45 - 12:10
ISMM
Timescale Functions for Parallel Memory Allocation
12:10 - 12:35
ISMM
Keynote 2: Why do big data and cloud systems stop (slow down)?
14:00 - 14:50
ISMM
Concurrent Marking of Shape-Changing Objects
14:50 - 15:15
ISMM
A Lock-Free Coalescing-Capable Mechanism for Memory Management
15:15 - 15:40
ISMM
snmalloc: A Message Passing Allocator
16:00 - 16:25
ISMM
Design and Analysis of Field-Logging Write Barriers
16:25 - 16:50
ISMM
Gradual Write-Barrier Insertion into a Ruby Interpreter
16:50 - 17:14
ISMM
Final Remarks
17:14 - 17:15
x
Sat 21 Dec 13:44