VenuePhoenix Convention Center
Room name106A
Floor0
Room number106A
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 09:15: OpeningSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
09:00 - 09:15
Day opening
Welcome to SOAP 2019
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
09:15 - 11:00: Performance and Optimizations for Program Analysis ToolsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
09:15 - 09:35
Talk
Commit-time Incremental Analysis
SOAP
09:35 - 09:55
Talk
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
SOAP
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
09:55 - 10:15
Talk
Fixpoint Reuse for Incremental JavaScript Analysis
SOAP
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
10:15 - 11:35
Talk
Program Analysis for Process Migration
SOAP
10:35 - 11:00
Other
Open Discussion on Previous Talks 1
SOAP
11:20 - 12:30: Industry TalksSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
11:20 - 12:30
Talk
Adventures in Commercial-Grade Static Analysis
SOAP
14:00 - 15:30: Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
14:00 - 14:20
Talk
SootDiff: Bytecode Comparison across different Java Compilers
SOAP
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20 - 14:40
Talk
Modernizing Parsing Tools
SOAP
14:40 - 15:00
Talk
MetaDL: Analysing Datalog in Datalog
SOAP
Pre-print
15:00 - 15:30
Talk
Open Discussion on Previous Talks 2
SOAP
16:00 - 17:40: Demos, Tributes and AwardsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
16:00 - 16:20
Other
Laurie Hendren Euology
SOAP
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
16:20 - 17:20
Talk
FutureSoot: Making Soot ready for the future analyses of complex software
SOAP
Ben HermannPaderborn University, Andreas DannPaderborn University
17:20 - 17:40
Day closing
Best presentation announcement and closing of the day
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: Scaling UpISMM at 106A
09:00 - 09:05
Day opening
Welcome from the chairs
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
09:05 - 09:45
Talk
Keynote 1: Relaxed memory ordering needs a better specification
ISMM
09:45 - 10:10
Talk
Automatic GPU Memory Management for Large Neural Models in TensorFlow
ISMM
Tung D. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
10:10 - 10:35
Talk
Massively Parallel GPU Memory Compaction
ISMM
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
10:35 - 11:00
Talk
Scaling Up Parallel GC Work-Stealing in Many-Core Environments
ISMM
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
11:20 - 12:35: ExoticaISMM at 106A
11:20 - 11:45
Talk
Exploration of Memory Hybridization for RDD Caching in Spark
ISMM
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
11:45 - 12:10
Talk
Learning When to Garbage Collect with Random Forests
ISMM
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
12:10 - 12:35
Talk
Timescale Functions for Parallel Memory Allocation
ISMM
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
14:00 - 15:40: MechanicsISMM at 106A
14:00 - 14:50
Talk
Keynote 2: Why do big data and cloud systems stop (slow down)?
ISMM
Shan LuUniversity of Chicago
14:50 - 15:15
Talk
Concurrent Marking of Shape-Changing Objects
ISMM
15:15 - 15:40
Talk
A Lock-Free Coalescing-Capable Mechanism for Memory Management
ISMM
Ricardo LeiteUniversity of Porto, Ricardo RochaUniversity of Porto, Portugal
16:00 - 17:15: Mechanics / Message PassingISMM at 106A
16:00 - 16:25
Talk
snmalloc: A Message Passing Allocator
ISMM
Paul Lietar, Theodore ButlerDrexel University, USA, Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Matthew ParkinsonMicrosoft Research, UK, Alex ShamisMicrosoft Research / Imperial College London, Christoph M. WintersteigerMicrosoft Research, UK, David ChisnallUniversity of Cambridge
16:25 - 16:50
Talk
Design and Analysis of Field-Logging Write Barriers
ISMM
Steve BlackburnAustralian National University
16:50 - 17:14
Talk
Gradual Write-Barrier Insertion into a Ruby Interpreter
ISMM
Koichi SasadaCookpad, Japan
Link to publication DOI
17:14 - 17:15
Day closing
Final Remarks
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

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