LCTES 2019 – Proceedings

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)


@InProceedings{LCTES19p1, author = {Rajesh K. Gupta and Jason Koh and Dezhi Hong}, title = {New Models and Methods for Programming Cyber-Physical Systems (Keynote)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3316482.3338093}, year = {2019}, } Publisher's Version

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


@InProceedings{LCTES19p16, author = {Jack Weast}, title = {An Open, Transparent, Industry-Driven Approach to AV Safety (Keynote)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3316482.3338094}, year = {2019}, } 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)


@InProceedings{LCTES19p31, author = {Asif Ali Khan and Norman A. Rink and Fazal Hameed and Jeronimo Castrillon}, title = {Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3316482.3326351}, year = {2019}, } 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)


@InProceedings{LCTES19p46, author = {Sourav Das and R. Harikrishnan Unnithan and Arjun Menon and Chester Rebeiro and Kamakoti Veezhinathan}, title = {SHAKTI-MS: A RISC-V Processor for Memory Safety in C}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3316482.3326356}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{LCTES19p61, author = {Chundong Wang and Sudipta Chattopadhyay and Gunavaran Brihadiswarn}, title = {Crash Recoverable ARMv8-Oriented B+-Tree for Byte-Addressable Persistent Memory}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3316482.3326358}, year = {2019}, } 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)


@InProceedings{LCTES19p76, author = {Yejia Di and Liang Shi and Shuo-Han Chen and Chun Jason Xue and Edwin H.-M. Sha}, title = {1+1>2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3316482.3326359}, year = {2019}, } 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)


@InProceedings{LCTES19p91, author = {Thomas Haywood Dadzie and Jiwon Lee and Jihye Kim and Hyunok Oh}, title = {SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3316482.3326347}, year = {2019}, } 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)


@InProceedings{LCTES19p106, author = {Saad Ahmed and Naveed Anwar Bhatti and Muhammad Hamad Alizai and Junaid Haroon Siddiqui and Luca Mottola}, title = {Efficient Intermittent Computing with Differential Checkpointing}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {106-105}, doi = {10.1145/3316482.3326357}, year = {2019}, } 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)


@InProceedings{LCTES19p121, author = {Vanchinathan Venkataramani and Aditi Kulkarni and Tulika Mitra and Li-Shiuan Peh}, title = {SPECTRUM: A Software Defined Predictable Many-Core Architecture for LTE Baseband Processing}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3316482.3326352}, year = {2019}, } 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)


@InProceedings{LCTES19p136, author = {Saad Ahmed and Abu Bakar and Naveed Anwar Bhatti and Muhammad Hamad Alizai and Junaid Haroon Siddiqui and Luca Mottola}, title = {The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3316482.3326348}, year = {2019}, } Publisher's Version

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


@InProceedings{LCTES19p151, author = {Xuesong Su and Hui Wu and Jingling Xue}, title = {WCET-Aware Hyper-Block Construction for Clustered VLIW Processors}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {151-150}, doi = {10.1145/3316482.3326349}, year = {2019}, } 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)


@InProceedings{LCTES19p166, author = {Wanli Chang and Shuai Zhao and Ran Wei and Andy Wellings and Alan Burns}, title = {From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3316482.3326360}, year = {2019}, } 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)


@InProceedings{LCTES19p181, author = {Xinyi Li and Lei Zhang and Xipeng Shen}, title = {IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3316482.3326350}, year = {2019}, } 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)


@InProceedings{LCTES19p196, author = {Himeshi De Silva and Andrew E. Santosa and Nhut-Minh Ho and Weng-Fai Wong}, title = {ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3316482.3326341}, year = {2019}, } 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)


@InProceedings{LCTES19p211, author = {Luke Hsiao and Sen Wu and Nicholas Chiang and Christopher Ré and Philip Levis}, title = {Automating the Generation of Hardware Component Knowledge Bases}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {211-210}, doi = {10.1145/3316482.3326344}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{LCTES19p226, author = {Kyle Daruwalla and Heng Zhuo and Carly Schulz and Mikko Lipasti}, title = {BitBench: A Benchmark for Bitstream Computing}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {226-225}, doi = {10.1145/3316482.3326355}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{LCTES19p241, author = {Mostafa Mohammed and Haipeng Cai and Na Meng}, title = {An Empirical Comparison between Monkey Testing and Human Testing (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3316482.3326342}, year = {2019}, } 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)


@InProceedings{LCTES19p247, author = {Yongseung Yu and Seokwon Kang and Yongjun Park}, title = {A Compiler-Based Approach for GPGPU Performance Calibration using TLP Modulation (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {247-246}, doi = {10.1145/3316482.3326343}, year = {2019}, } Publisher's Version

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


@InProceedings{LCTES19p253, author = {Greg Stitt and David Campbell}, title = {PANDORA: A Parallelizing Approximation-Discovery Framework (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {253-252}, doi = {10.1145/3316482.3326345}, year = {2019}, } 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)


@InProceedings{LCTES19p259, author = {Andrea Maioli and Luca Mottola and Muhammad Hamad Alizai and Junaid Haroon Siddiqui}, title = {On Intermittence Bugs in the Battery-Less Internet of Things (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {259-258}, doi = {10.1145/3316482.3326346}, year = {2019}, } 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)


@InProceedings{LCTES19p265, author = {Martin Becker and Samarjit Chakraborty and Ravindra Metta and R. Venkatesh}, title = {Imprecision in WCET Estimates Due to Library Calls and How to Reduce It (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {265-264}, doi = {10.1145/3316482.3326353}, year = {2019}, } Publisher's Version

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


@InProceedings{LCTES19p271, author = {S. Bharadwaj Yadavalli and Aaron Smith}, title = {Raising Binaries to LLVM IR with MCTOLL (WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {271-270}, doi = {10.1145/3316482.3326354}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

proc time: 0.83