DPA 2019
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
VenuePhoenix Convention Center
Room name106A
Floor0
Room number106A
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

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 09:15
OpeningSOAP 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 ToolsSOAP at 106A
Chair(s): Neville Grech University of Athens
09:15
20m
Talk
Commit-time Incremental Analysis
SOAP
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
10:35
25m
Other
Open Discussion on Previous Talks 1
SOAP

11:20 - 12:30
Industry TalksSOAP at 106A
Chair(s): Thierry Lavoie Synopsys, Inc.
11:20
70m
Talk
Adventures in Commercial-Grade Static Analysis
SOAP
14:00 - 15:30
Engineering Advances for Program Analysis ToolsSOAP 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
14:40
20m
Talk
MetaDL: Analysing Datalog in Datalog
SOAP
Pre-print
15:00
30m
Talk
Open Discussion on Previous Talks 2
SOAP

16:00 - 17:40
Demos, Tributes and AwardsSOAP 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 UpISMM at 106A
09:00
5m
Day opening
Welcome from the chairs
ISMM
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
09:45
25m
Talk
Automatic GPU Memory Management for Large Neural Models in TensorFlow
ISMM
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
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
Michihiro Horie IBM Research - Tokyo, Kazunori Ogata IBM Research, Japan, Mikio Takeuchi IBM Research - Tokyo, Hiroshi Horii IBM Research, Japan
11:20 - 12:35
ExoticaISMM at 106A
11:20
25m
Talk
Exploration of Memory Hybridization for RDD Caching in Spark
ISMM
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
Nicholas Jacek UMass Amherst, Eliot Moss University of Massachusetts Amherst
12:10
25m
Talk
Timescale Functions for Parallel Memory Allocation
ISMM
Pengcheng Li Google, Inc, Hao Luo University of Rochester, Chen Ding University of Rochester
14:00 - 15:40
MechanicsISMM at 106A
14:00
50m
Talk
Keynote 2: Why do big data and cloud systems stop (slow down)?
ISMM
Shan Lu University of Chicago
14:50
25m
Talk
Concurrent Marking of Shape-Changing Objects
ISMM
15:15
25m
Talk
A Lock-Free Coalescing-Capable Mechanism for Memory Management
ISMM
Ricardo Leite University of Porto, Ricardo Rocha University of Porto, Portugal
16:00 - 17:15
Mechanics / Message PassingISMM at 106A
16:00
25m
Talk
snmalloc: A Message Passing Allocator
ISMM
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
Steve Blackburn Australian National University
16:50
24m
Talk
Gradual Write-Barrier Insertion into a Ruby Interpreter
ISMM
Koichi Sasada Cookpad, Japan
Link to publication DOI
17:14
1m
Day closing
Final Remarks
ISMM
Harry Xu University of California, Los Angeles (UCLA), Jeremy Singer University of Glasgow

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106A