PLDI 2022 Co-Located Events
43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)
Powered by
Conference Publishing Consulting

23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2022), June 14, 2022, San Diego, CA, USA

LCTES 2022 – Proceedings

Contents - Abstracts - Authors

23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2022)

Frontmatter

Title Page
Message from the Chairs

Papers

Co-mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW Acceleration
Tianyu Wang ORCID logo, Zhaoyan Shen ORCID logo, and Zili Shao ORCID logo
(Chinese University of Hong Kong, China; Shandong University, China)
Publisher's Version Article Search Artifacts Available Artifacts Functional Results Reproduced
Implicit State Machines
Fengyun Liu ORCID logo and Aleksandar Prokopec ORCID logo
(Oracle Labs, Switzerland)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Results Reproduced
JAX Based Parallel Inference for Reactive Probabilistic Programming
Guillaume BaudartORCID logo, Louis Mandel ORCID logo, and Reyyan Tekin
(DI ENS, France; ENS, France; PSL University, France; CNRS, France; Inria, France; IBM Research, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Results Reproduced
TCPS: A Task and Cache-Aware Partitioned Scheduler for Hard Real-Time Multi-core Systems
Yixian Shen ORCID logo, Jun Xiao ORCID logo, and Andy D. Pimentel ORCID logo
(University of Amsterdam, Netherlands)
Publisher's Version Article Search
ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Yi Zheng ORCID logo, Joshua Fixelle, Nagadastagiri Challapalle, Pingyi Huo ORCID logo, Zhaoyan Shen ORCID logo, Zili Shao, Mircea Stan, and Vijaykrishnan Narayanan
(Pennsylvania State University, USA; University of Virginia, USA; Shandong University, China; Chinese University of Hong Kong, China)
Publisher's Version Article Search
Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis
Christof SchlaakORCID logo, Tzung-Han Juang ORCID logo, and Christophe DubachORCID logo
(University of Edinburgh, UK; McGill University, Canada)
Publisher's Version Article Search Artifacts Available Artifacts Functional Results Reproduced
Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors
Yousun Ko ORCID logo, Alex Bradbury ORCID logo, Bernd Burgstaller, and Robert MullinsORCID logo
(Yonsei University, South Korea; lowRISC, UK; University of Cambridge, UK)
Publisher's Version Article Search
An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Zizhan Chen, Siqi Shang, Qihong Wu, Jin Xue, Zhaoyan Shen ORCID logo, and Zili Shao ORCID logo
(Chinese University of Hong Kong, China; Shandong University, China)
Publisher's Version Article Search Artifacts Available Artifacts Functional
RollBin: Reducing Code-Size via Loop Rerolling at Binary Level
Tianao Ge ORCID logo, Zewei Mo, Kan Wu, Xianwei Zhang, and Yutong Lu
(Sun Yat-sen University, China)
Publisher's Version Article Search
Cache-Coherent CLAM (WIP)
Chen DingORCID logo, Benjamin Reber, and Dorin Patru
(University of Rochester, USA; Rochester Institute of Technology, USA)
Publisher's Version Article Search
Scalable Size Inliner for Mobile Applications (WIP)
Kyungwoo Lee ORCID logo, Manman Ren, and Shane Nay
(Meta, USA)
Publisher's Version Article Search
Tighten Rust’s Belt: Shrinking Embedded Rust Binaries
Hudson Ayers, Evan Laufer, Paul Mure, Jaehyeon Park, Eduardo Rodelo, Thea Rossman, Andrey Pronin, Philip Levis, and Johnathan Van Why
(Stanford University, USA; Google, USA)
Publisher's Version Article Search
Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow Graphs
Klaus Schneider ORCID logo, Anoop Bhagyanath ORCID logo, and Julius Roob ORCID logo
(University of Kaiserslautern, Germany)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional Results Reproduced
A Memory Interference Analysis using a Formal Timing Analyzer (WIP)
Mihail Asavoae, Oumaima Matoussi ORCID logo, Asmae Bouachtala, Hai-Dang Vu, and Mathieu Jan
(University of Paris-Saclay, France; CEA LIST, France)
Publisher's Version Article Search
Automated Kernel Fusion for GPU Based on Code Motion
Junji Fukuhara and Munehiro Takimoto
(Tokyo University of Science, Japan)
Publisher's Version Article Search

proc time: 3.12