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

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

LCTES 2019 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
LCTES 2019 Organization

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
An Open, Transparent, Industry-Driven Approach to AV Safety (Keynote)
Jack Weast
(Intel, USA)
Publisher's Version

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
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

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
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

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
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

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 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

proc time: 2.88