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

Title Page

Message from the Chairs

LCTES 2019 Organization

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

An Open, Transparent, Industry-Driven Approach to AV Safety (Keynote)
Jack Weast
(Intel, USA)

Publisher's Version

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

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 Artifacts Functional Results Replicated

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

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

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

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

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

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

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

Publisher's Version

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

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

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

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 Artifacts Reusable Results Replicated

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

Publisher's Version Artifacts Functional Results Replicated

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

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

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

Publisher's Version

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

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

Raising Binaries to LLVM IR with MCTOLL (WIP Paper)
S. Bharadwaj Yadavalli and Aaron Smith
(Microsoft, USA)

Publisher's Version Artifacts Functional