LCTES 2019 – Proceedings

20th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2019), June 23, 2019, Phoenix, AZ, USA

Frontmatter

Keynotes

New Models and Methods for Programming Cyber-Physical Systems (Keynote)
Rajesh K. Gupta, Jason Koh, and Dezhi Hong
(University of California at San Diego, USA)

Publisher's Version Article: lctes19main-key1-p doi:10.1145/3316482.3338093

Memory Management

Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
Asif Ali Khan, Norman A. Rink, Fazal Hameed, and Jeronimo Castrillon
(TU Dresden, Germany)

Publisher's Version Article: lctes19main-p67-p doi:10.1145/3316482.3326351

SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Sourav Das, R. Harikrishnan Unnithan, Arjun Menon, Chester Rebeiro, and Kamakoti Veezhinathan
(IIT Madras, India; BITS Pilani, India)

Publisher's Version

Published Artifact

Artifacts Available

Artifacts Functional

Results Replicated Article: lctes19main-p91-p doi:10.1145/3316482.3326356

Crash Recoverable ARMv8-Oriented B+-Tree for Byte-Addressable Persistent Memory
Chundong Wang, Sudipta Chattopadhyay, and Gunavaran Brihadiswarn
(Singapore University of Technology and Design, Singapore; University of Moratuwa, Sri Lanka)

Publisher's Version Article: lctes19main-p105-p doi:10.1145/3316482.3326358

1+1>2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
Yejia Di, Liang Shi, Shuo-Han Chen, Chun Jason Xue, and Edwin H.-M. Sha
(East China Normal University, China; Chongqing University, China; Academia Sinica, Taiwan; City University of Hong Kong, China)

Publisher's Version Article: lctes19main-p128-p doi:10.1145/3316482.3326359

SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited Paper)
Thomas Haywood Dadzie, Jiwon Lee, Jihye Kim, and Hyunok Oh
(Hanyang University, South Korea; Kookmin University, South Korea)

Publisher's Version Article: lctes19main-p38-p doi:10.1145/3316482.3326347

Architecture and Compilers

Efficient Intermittent Computing with Differential Checkpointing
Saad Ahmed, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, and Luca Mottola
(Lahore University of Management Sciences, Pakistan; RISE SICS, Sweden; Politecnico di Milano, Italy)

Publisher's Version Article: lctes19main-p99-p doi:10.1145/3316482.3326357

SPECTRUM: A Software Defined Predictable Many-Core Architecture for LTE Baseband Processing
Vanchinathan Venkataramani, Aditi Kulkarni, Tulika Mitra, and Li-Shiuan Peh
(National University of Singapore, Singapore)

Publisher's Version Article: lctes19main-p69-p doi:10.1145/3316482.3326352

The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Saad Ahmed, Abu Bakar, Naveed Anwar Bhatti, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, and Luca Mottola
(Lahore University of Management Sciences, Pakistan; RISE SICS, Sweden; Politecnico di Milano, Italy)

Publisher's Version Article: lctes19main-p39-p doi:10.1145/3316482.3326348

WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
Xuesong Su, Hui Wu, and Jingling Xue
(UNSW, Australia)

Publisher's Version Article: lctes19main-p40-p doi:10.1145/3316482.3326349

From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited Paper)
Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns
(University of York, UK)

Publisher's Version Article: lctes19main-p151-p doi:10.1145/3316482.3326360

Applications

IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
Xinyi Li, Lei Zhang, and Xipeng Shen
(Chang'an University, China; North Carolina State University, USA)

Publisher's Version Article: lctes19main-p66-p doi:10.1145/3316482.3326350

ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, and Weng-Fai Wong
(National University of Singapore, Singapore)

Publisher's Version

Artifacts Functional

Results Replicated Article: lctes19main-p2-p doi:10.1145/3316482.3326341

Automating the Generation of Hardware Component Knowledge Bases
Luke Hsiao, Sen Wu, Nicholas Chiang, Christopher Ré, and Philip Levis
(Stanford University, USA; Gunn High School, USA)

Publisher's Version

Published Artifact

Artifacts Available

Artifacts Reusable

Results Replicated Article: lctes19main-p27-p doi:10.1145/3316482.3326344

Benchmarking and In-Progress Works

BitBench: A Benchmark for Bitstream Computing
Kyle Daruwalla, Heng Zhuo, Carly Schulz, and Mikko Lipasti
(University of Wisconsin-Madison, USA)

Publisher's Version

Published Artifact

Artifacts Available

Artifacts Functional

Results Replicated Article: lctes19main-p78-p doi:10.1145/3316482.3326355

An Empirical Comparison between Monkey Testing and Human Testing (WIP Paper)
Mostafa Mohammed, Haipeng Cai, and Na Meng
(Virginia Tech, USA; Washington State University, USA)

Publisher's Version Article: lctes19main-p15-p doi:10.1145/3316482.3326342

A Compiler-Based Approach for GPGPU Performance Calibration using TLP Modulation (WIP Paper)
Yongseung Yu, Seokwon Kang, and Yongjun Park
(Hanyang University, South Korea)

Publisher's Version Article: lctes19main-p23-p doi:10.1145/3316482.3326343

PANDORA: A Parallelizing Approximation-Discovery Framework (WIP Paper)
Greg Stitt and David Campbell
(University of Florida, USA)

Publisher's Version Article: lctes19main-p34-p doi:10.1145/3316482.3326345

On Intermittence Bugs in the Battery-Less Internet of Things (WIP Paper)
Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui
(Politecnico di Milano, Italy; RISE SICS, Sweden; Lahore University of Management Sciences, Pakistan)

Publisher's Version Article: lctes19main-p36-p doi:10.1145/3316482.3326346

Imprecision in WCET Estimates Due to Library Calls and How to Reduce It (WIP Paper)
Martin Becker, Samarjit Chakraborty, Ravindra Metta, and R. Venkatesh
(TU Munich, Germany; TCS Research, India)

Publisher's Version Article: lctes19main-p75-p doi:10.1145/3316482.3326353