Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
PLDI 2021 (series) / HOPL IV (series) / Online /

Room information: LCTES

VenueOnline
Room nameLCTES
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

Tue 22 Jun

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

09:00 - 11:45
Keynote + Section 1 Measurement (Session Chair: Xu Liu)LCTES at LCTES
09:00
10m
Day opening
Welcome from the Chairs
LCTES
Xu Liu North Carolina State University
09:10
75m
Keynote
On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving
LCTES
Frank Mueller North Carolina State University, USA
10:25
20m
Break
Break
LCTES

10:45
25m
Full-paper
MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
LCTES
Deok-Jae Oh Seoul National University, Yaebin Moon Seoul National University, Eojin Lee Samsung Electronics, Tae Jun Ham Seoul National University, Yongjun Park Hanyang University, Jae W. Lee Seoul National University, Korea, Jung Ho Ahn Seoul National University
11:10
25m
Full-paper
Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
LCTES
Gabriel Marin Google, Alexey Alexandrov Google, Tipp Moseley Google
11:35
10m
Short-paper
WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Languages on Android
LCTES
Elliott Wen The University of Auckland, Gerald Weber The University of Auckland
13:30 - 16:15
Section 2 Optimization I (Session Chair: Albert Cheng)+ Section 3 Analysis ILCTES at LCTES
13:30
25m
Full-paper
HyFM: Function Merging for Free
LCTES
Rodrigo C. O. Rocha University of Edinburgh, UK, Pavlos Petoumenos University of Manchester, UK, Zheng Wang University of Leeds, UK, Murray Cole University of Edinburgh, UK, Hugh Leather Facebook, Kim Hazelwood Facebook AI Research
13:55
25m
Full-paper
Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
LCTES
Xuyi Cai ICT CAS, Ying Wang ICT CAS, Lei Zhang ICT CAS
14:20
25m
Full-paper
Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
LCTES
Jayaraj Poroor JIFFY.ai, Akash Lal Microsoft Research, Sandesh Ghanta Amrita Vishwa Vidyapeetham
14:45
30m
Break
Break
LCTES

15:15
25m
Full-paper
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
LCTES
Simon Schuster Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Ulbrich Technische Universität Dortmund, Wolfgang Schröder-Preikschat Friedrich-Alexander University Erlangen-Nürnberg (FAU)
15:40
25m
Full-paper
Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion
LCTES
David Monniaux CNRS/VERIMAG, Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
16:05
10m
Short-paper
WIP:Selective Path-sensitive Interval Analysis
LCTES
Bharti Chimdyalwar Tata Consultancy Services, Shrawan Kumar Tata Cosultancy Services
18:00 - 21:00
Section 4. Analysis II (Session Chair: Albert Cheng) + Section 5 Optimization II (Session Chair: Hongwei Qin)LCTES at LCTES
18:00
25m
Full-paper
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators
LCTES
May Young University of British Columbia, Alan J. Hu University of British Columbia, Guy Lemieux University of British Columbia
18:25
25m
Full-paper
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
LCTES
Oskar Pusz Leibniz Universität Hannover, Christian Dietrich Leibniz Universität Hannover, Daniel Lohmann Leibniz Universität Hannover
18:50
25m
Full-paper
Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
LCTES
Hongwei Qin Huazhong University of Science and Technology, China, Dan Feng Huazhong University of Science and Technology, China, Wei Tong Huazhong University of Science and Technology, China, Yutong Zhao Huazhong University of Science and Technology, China, Sheng Qiu Alibaba Group, Fei Liu Alibaba Group, Shu Li Alibaba Group
19:15
30m
Break
Break
LCTES

19:45
25m
Full-paper
ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
LCTES
Pavan Kumar Paluri University of Houston, Guangli Dai University of Houston, Albert M. K. Cheng University of Houston
20:10
25m
Full-paper
CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
LCTES
Weiwei Chen Institute of Computing Technology, CAS, Ying Wang ICT CAS, Gangliang Lin ICT CAS, Chengsi Gao ICT CAS, Cheng Liu ICT CAS, Lei Zhang ICT CAS
20:35
10m
Short-paper
WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
LCTES
XiaoLei Zhao National University of Defense Technology, Mei Wen National University of Defense Technology, Zhaoyun Chen National University of Defense Technology, Yang Shi National University of Defense Technology, Chunyuan Zhang National University of Defense Technology

Tue 22 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
LCTES

LCTES

Keynote + Section 1 Measurement (Session Chair: Xu Liu)

LCTES

Section 2 Optimization I (Session Chair: Albert Cheng)+ Section 3 Analysis I

LCTES

Section 4. Analysis II (Session Chair: Albert Cheng) + Section 5 Optimization II (Session Chair: Hongwei Qin)

Tue 22 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
LCTES
LCTES
Welcome from the Chairs
09:00 - 09:10
LCTES
On the Challenges of Predictability, Resilience, and Machine Learning f ...
09:10 - 10:25
LCTES
Break
10:25 - 10:45
LCTES
MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Alloca ...
10:45 - 11:10
LCTES
Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
11:10 - 11:35
LCTES
WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Langu ...
11:35 - 11:45
LCTES
HyFM: Function Merging for Free
13:30 - 13:55
LCTES
Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
13:55 - 14:20
LCTES
Robust I/O-compute Concurrency for Machine Learning Pipelines in Constr ...
14:20 - 14:45
LCTES
Break
14:45 - 15:15
LCTES
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-D ...
15:15 - 15:40
LCTES
Simple, Light, yet Formally Verified, Global Common Subexpression Elimi ...
15:40 - 16:05
LCTES
WIP:Selective Path-sensitive Interval Analysis
16:05 - 16:15
LCTES
Cache Abstraction for Data Race Detection in Heterogeneous Systems with ...
18:00 - 18:25
LCTES
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient ...
18:25 - 18:50
LCTES
Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
18:50 - 19:15
LCTES
Break
19:15 - 19:45
LCTES
ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
19:45 - 20:10
LCTES
CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
20:10 - 20:35
LCTES
WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-M ...
20:35 - 20:45