LCTES 2021 – Proceedings

22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2021)

Frontmatter

Papers

Robust I/O-Compute Concurrency for Machine Learning Pipelines in Constrained Cyber-Physical Devices
Jayaraj Poroor, Akash Lal, and Sandesh Ghanta
(Amrita University, India; JIFFY.ai, India; Microsoft Research, India; Amazon, India)


@InProceedings{LCTES21p1, author = {Jayaraj Poroor and Akash Lal and Sandesh Ghanta}, title = {Robust I/O-Compute Concurrency for Machine Learning Pipelines in Constrained Cyber-Physical Devices}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3461648.3463842}, year = {2021}, } Publisher's Version

Better Atomic Writes by Exposing the Flash Out-of-Band Area to File Systems
Hongwei Qin, Dan Feng, Wei Tong, Yutong Zhao, Sheng Qiu, Fei Liu, and Shu Li
(Huazhong University of Science and Technology, China; Alibaba Group, China)


@InProceedings{LCTES21p17, author = {Hongwei Qin and Dan Feng and Wei Tong and Yutong Zhao and Sheng Qiu and Fei Liu and Shu Li}, title = {Better Atomic Writes by Exposing the Flash Out-of-Band Area to File Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3461648.3463843}, year = {2021}, } Publisher's Version

MaPHeA: A Lightweight Memory Hierarchy-Aware Profile-Guided Heap Allocation Framework
Deok-Jae Oh, Yaebin Moon, Eojin Lee, Tae Jun Ham, Yongjun Park, Jae W. Lee, and Jung Ho Ahn
(Seoul National University, South Korea; Samsung Electronics, South Korea; Hanyang University, South Korea)


@InProceedings{LCTES21p33, author = {Deok-Jae Oh and Yaebin Moon and Eojin Lee and Tae Jun Ham and Yongjun Park and Jae W. Lee and Jung Ho Ahn}, title = {MaPHeA: A Lightweight Memory Hierarchy-Aware Profile-Guided Heap Allocation Framework}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3461648.3463844}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture (WIP Paper)
Xiaolei Zhao, Mei Wen, Zhaoyun Chen, Yang Shi, and Chunyuan Zhang
(National University of Defense Technology, China)


@InProceedings{LCTES21p49, author = {Xiaolei Zhao and Mei Wen and Zhaoyun Chen and Yang Shi and Chunyuan Zhang}, title = {Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3461648.3463845}, year = {2021}, } Publisher's Version

CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
Weiwei Chen, Ying Wang, Gangliang Lin, Chengsi Gao, Cheng Liu, and Lei Zhang
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{LCTES21p54, author = {Weiwei Chen and Ying Wang and Gangliang Lin and Chengsi Gao and Cheng Liu and Lei Zhang}, title = {CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3461648.3463846}, year = {2021}, } Publisher's Version

Annotate Once – Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
Simon Schuster, Peter Wägemann, Peter Ulbrich, and Wolfgang Schröder-Preikschat
(University of Erlangen-Nuremberg, Germany; TU Dortmund, Germany)


@InProceedings{LCTES21p70, author = {Simon Schuster and Peter Wägemann and Peter Ulbrich and Wolfgang Schröder-Preikschat}, title = {Annotate Once – Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3461648.3463847}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Optimus: Towards Optimal Layer-Fusion on Deep Learning Processors
Xuyi Cai, Ying Wang, and Lei Zhang
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{LCTES21p86, author = {Xuyi Cai and Ying Wang and Lei Zhang}, title = {Optimus: Towards Optimal Layer-Fusion on Deep Learning Processors}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3461648.3463848}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android (WIP Paper)
Elliott Wen, Gerald Weber, and Suranga Nanayakkara
(University of Auckland, New Zealand)


@InProceedings{LCTES21p102, author = {Elliott Wen and Gerald Weber and Suranga Nanayakkara}, title = {WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {102-101}, doi = {10.1145/3461648.3463849}, year = {2021}, } Publisher's Version

Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion
David Monniaux and Cyril Six
(Verimag, France; Université Grenoble Alpes, France; CNRS, France; Kalray, France)


@InProceedings{LCTES21p107, author = {David Monniaux and Cyril Six}, title = {Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {107-106}, doi = {10.1145/3461648.3463850}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Data-Flow-Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
Oskar Pusz, Christian Dietrich, and Daniel Lohmann
(Leibniz Universität Hannover, Germany)


@InProceedings{LCTES21p123, author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann}, title = {Data-Flow-Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3461648.3463851}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

HyFM: Function Merging for Free
Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK; Facebook AI Research, USA)


@InProceedings{LCTES21p139, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Kim Hazelwood and Hugh Leather}, title = {HyFM: Function Merging for Free}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {139-138}, doi = {10.1145/3461648.3463852}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
Gabriel Marin, Alexey Alexandrov, and Tipp Moseley
(Google, USA)


@InProceedings{LCTES21p155, author = {Gabriel Marin and Alexey Alexandrov and Tipp Moseley}, title = {Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3461648.3463853}, year = {2021}, } Publisher's Version

ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
Pavan Kumar Paluri, Guangli Dai, and Albert Mo Kim Cheng
(University of Houston, USA)


@InProceedings{LCTES21p171, author = {Pavan Kumar Paluri and Guangli Dai and Albert Mo Kim Cheng}, title = {ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3461648.3463854}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Selective Path-Sensitive Interval Analysis (WIP Paper)
Bharti Chimdyalwar and Shrawan Kumar
(TCS Research, India)


@InProceedings{LCTES21p187, author = {Bharti Chimdyalwar and Shrawan Kumar}, title = {Selective Path-Sensitive Interval Analysis (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {187-186}, doi = {10.1145/3461648.3463855}, year = {2021}, } Publisher's Version

Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators
May Young, Alan J. Hu, and Guy G. F. Lemieux
(University of British Columbia, Canada)


@InProceedings{LCTES21p192, author = {May Young and Alan J. Hu and Guy G. F. Lemieux}, title = {Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {192-191}, doi = {10.1145/3461648.3463856}, year = {2021}, } Publisher's Version

proc time: 0.77