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

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 Search
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 Article Search Artifacts Available 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 Article Search
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 Search
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 Search

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 Search
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 Search
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 Search
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
Xuesong Su, Hui Wu, and Jingling Xue
(UNSW, Australia)
Publisher's Version Article Search
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 Search

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 Search
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 Article Search 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 Article Search Artifacts Available 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 Article Search Artifacts Available 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 Article Search
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 Search
PANDORA: A Parallelizing Approximation-Discovery Framework (WIP Paper)
Greg Stitt and David Campbell
(University of Florida, USA)
Publisher's Version Article Search
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 Search
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 Search
Raising Binaries to LLVM IR with MCTOLL (WIP Paper)
S. Bharadwaj Yadavalli and Aaron Smith
(Microsoft, USA)
Publisher's Version Article Search Artifacts Available Artifacts Functional

proc time: 1.31