PLDI 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
PLDI 2018 (series) / Hilton Philadelphia at Penn's Landing /

Room information: Discovery AB

VenueHilton Philadelphia at Penn's Landing
Room nameDiscovery AB
Floor0
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 18 Jun

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

09:00 - 09:15
Message from the ChairsISMM at Discovery AB
09:00
15m
Day opening
Message from the Chairs
ISMM
Jennifer B. Sartor Vrije Universiteit Brussel, Hannes Payer Google
09:15 - 10:15
KeynoteISMM at Discovery AB
09:15
60m
Talk
Getting to Go
ISMM
Richard L. Hudson Google
10:45 - 12:15
Reference Counting and Techniques for C-family LanguagesISMM at Discovery AB
Chair(s): Emery D. Berger University of Massachusetts, Amherst
10:45
30m
Talk
Detailed Heap Profiling
ISMM
Stuart Byma EPFL, Switzerland, James Larus EPFL
11:15
30m
Talk
FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++
ISMM
Charles Tripp Terrain Data, USA, David Hyde Stanford University, USA, Benjamin Grossman-Ponemon Terrain Data, USA
11:45
30m
Talk
Distributed Garbage Collection for General Graphs
ISMM
Steven R. Brandt Louisiana State University, Hari Krishnan Facebook, n.n., Costas Busch Louisiana State University, USA, Gokarna Sharma Kent State University, USA
14:00 - 15:30
Optimizing for the Web and the CloudISMM at Discovery AB
Chair(s): Christine H. Flood Red Hat
14:00
30m
Talk
Hardware-Software Co-optimization of Memory Management in Dynamic Languages
ISMM
Mohamed Ismail Cornell University, USA, G. Edward Suh Cornell University, USA
14:30
30m
Talk
Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
ISMM
Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon, Ruslan Synytsky Jelastic, n.n., Tetiana Fydorenchyk Jelastic, n.n., Jia Rao University of Texas at Arlington, USA, Hang Huang Huazhong University of Science and Technology, China, Song Wu Huazhong University of Science and Technology, China
15:00
30m
Talk
OMR: Out-of-Core MapReduce for Large Data Sets
ISMM
Gurneet Kaur , Keval Vora University of California, Riverside, Sai Charan Koduru University of California, Riverside, Rajiv Gupta UC Riverside
16:00 - 17:30
Analyzing the Cache and SchedulingISMM at Discovery AB
Chair(s): Michael D. Bond Ohio State University
16:00
30m
Talk
mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
ISMM
Daniel Byrne Michigan Technological University, USA, Nilufer Onder Michigan Technological University, USA, Zhenlin Wang Michigan Technological University
16:30
30m
Talk
Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
ISMM
Jacob Brock University of Rochester, Chen Ding University of Rochester, Rahman Lavaee , Fangzhou Liu , Liang Yuan Institute of Computing Technology at Chinese Academy of Sciences, China
17:00
30m
Talk
Balanced Double Queues for GC Work-Stealing on Weak Memory Models
ISMM
Michihiro Horie IBM Research - Tokyo, Hiroshi Horii IBM Research, Japan, Kazunori Ogata IBM Research, Japan, Tamiya Onodera IBM, Japan

Tue 19 Jun

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

09:00 - 10:30
Welcome & KeynoteLCTES at Discovery AB
09:00
15m
Day opening
Welcome
LCTES

09:15
75m
Talk
Keynote: Blockchain and Embedded Systems
LCTES

11:00 - 12:15
Full paper session on Programming LanguagesLCTES at Discovery AB
11:00
25m
Full-paper
MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
LCTES
James Devine Lancaster University, Joe Finney , Peli de Halleux Microsoft Research, Michał Moskal Microsoft Research, Thomas Ball Microsoft Research, Steve Hodges Microsoft
11:25
25m
Full-paper
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
LCTES
Mladen Skelin Eindhoven University of Technology, Marc Geilen Eindhoven University of Technology
11:50
25m
Full-paper
A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
LCTES
Guilherme F. Lima PUC-Rio, Rodrigo C. M. Santos PUC-Rio, Edward Hermann Haeusler PUC-Rio, Roberto Ierusalimschy PUC-Rio, Francisco Sant'Anna Rio de Janeiro State University
14:00 - 15:40
Full paper session on Adaptation and HardwareLCTES at Discovery AB
14:00
25m
Full-paper
Adaptive Deep Learning Model Selection on Embedded Systems
LCTES
Ben Taylor Lancaster University, UK, Vicent Sanz Marco Lancaster University, Willy Wolff Lancaster University, Yehia Elkhatib Lancaster University, Zheng Wang Lancaster University
14:25
25m
Full-paper
Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
LCTES
Lei Han , Zhaoyan Shen The Hong Kong Polytechnic University, Zili Shao The Hong Kong Polytechnic University, Tao Li University of Florida
14:50
25m
Full-paper
Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
LCTES
Bernhard Egger Seoul National University, Eunjin Song Seoul National University, Hochan Lee Seoul National University, Daeyoung Shin Seoul National University
15:15
25m
Full-paper
Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
LCTES
Michael Stokes Florida State University, Ryan Baird Florida State University, Zhaoxiang Jin Michigan Technological University, David B. Whalley , Soner Onder Michigan Technological University
16:10 - 17:25
WIP paper sessionLCTES at Discovery AB
16:25
15m
Short-paper
WIP: Deep Neural Networks compiler for a trace-based accelerator
LCTES
Andre Xian Ming Chang FWDNXT and Purdue, Aliasger Zaidy FWDNXT and Purdue, Lukasz Burzawa FWDNXT and Purdue, Eugenio Culurciello FWDNXT and Purdue
16:40
15m
Short-paper
WIP: Statically Relating Program Properties for Efficient Verification
LCTES
Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services
16:55
15m
Short-paper
WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
LCTES
Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University, Noemi Rodriguez PUC-Rio, Ana Lúcia de Moura
17:10
15m
Short-paper
WIP: An open-source realtime computational platform
LCTES
Pavan Mehrotra Stanford University, Sabar Dasgupta Stanford University, Samantha Robertson Stanford University, Paul Nuyujukian Stanford University
Link to publication DOI Pre-print Media Attached

Mon 18 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Discovery AB

ISMM

Message from the Chairs

ISMM

Keynote

ISMM

Reference Counting and Techniques for C-family Languages

ISMM

Optimizing for the Web and the Cloud

ISMM

Analyzing the Cache and Scheduling

Tue 19 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Discovery AB

LCTES

Welcome & Keynote

LCTES

Full paper session on Programming Languages

LCTES

Full paper session on Adaptation and Hardware

LCTES

WIP paper session

Mon 18 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Discovery AB
ISMM
Message from the Chairs
09:00 - 09:15
ISMM
Getting to Go
09:15 - 10:15
ISMM
Detailed Heap Profiling
10:45 - 11:15
ISMM
FRC: A High-Performance Concurrent Parallel Deferred Reference Counter ...
11:15 - 11:45
ISMM
Distributed Garbage Collection for General Graphs
11:45 - 12:15
ISMM
Hardware-Software Co-optimization of Memory Management in Dynamic Languages
14:00 - 14:30
ISMM
Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
14:30 - 15:00
ISMM
OMR: Out-of-Core MapReduce for Large Data Sets
15:00 - 15:30
ISMM
mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
16:00 - 16:30
ISMM
Prediction and Bounds on Shared Cache Demand from Memory Access Interle ...
16:30 - 17:00
ISMM
Balanced Double Queues for GC Work-Stealing on Weak Memory Models
17:00 - 17:30

Tue 19 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Discovery AB
LCTES
Welcome
09:00 - 09:15
LCTES
Keynote: Blockchain and Embedded Systems
09:15 - 10:30
LCTES
MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programmin ...
11:00 - 11:25
LCTES
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
11:25 - 11:50
LCTES
A Memory-Bounded, Deterministic and Terminating Semantics for the Synch ...
11:50 - 12:15
LCTES
Adaptive Deep Learning Model Selection on Embedded Systems
14:00 - 14:25
LCTES
Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based ...
14:25 - 14:50
LCTES
Verification of Coarse-Grained Reconfigurable Arrays through Random Tes ...
14:50 - 15:15
LCTES
Decoupling Address Generation from Loads and Stores to Improve Data Acc ...
15:15 - 15:40
LCTES
WIP: Deep Neural Networks compiler for a trace-based accelerator
16:25 - 16:40
LCTES
WIP: Statically Relating Program Properties for Efficient Verification
16:40 - 16:55
LCTES
WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded S ...
16:55 - 17:10
LCTES
WIP: An open-source realtime computational platform
17:10 - 17:25