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

Title Page

Message from the Chairs

Co-mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW Acceleration
Tianyu Wang, Zhaoyan Shen, and Zili Shao
(Chinese University of Hong Kong, China; Shandong University, China)

Publisher's Version Artifacts Functional Results Reproduced

Implicit State Machines
Fengyun Liu and Aleksandar Prokopec
(Oracle Labs, Switzerland)

Publisher's Version Artifacts Reusable Results Reproduced

JAX Based Parallel Inference for Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, and Reyyan Tekin
(DI ENS, France; ENS, France; PSL University, France; CNRS, France; Inria, France; IBM Research, USA)

Publisher's Version Artifacts Reusable Results Reproduced

TCPS: A Task and Cache-Aware Partitioned Scheduler for Hard Real-Time Multi-core Systems
Yixian Shen, Jun Xiao, and Andy D. Pimentel
(University of Amsterdam, Netherlands)

Publisher's Version

ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Yi Zheng, Joshua Fixelle, Nagadastagiri Challapalle, Pingyi Huo, Zhaoyan Shen, 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

Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis
Christof Schlaak, Tzung-Han Juang, and Christophe Dubach
(University of Edinburgh, UK; McGill University, Canada)

Publisher's Version Artifacts Functional Results Reproduced

Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors
Yousun Ko, Alex Bradbury, Bernd Burgstaller, and Robert Mullins
(Yonsei University, South Korea; lowRISC, UK; University of Cambridge, UK)

Publisher's Version

An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Zizhan Chen, Siqi Shang, Qihong Wu, Jin Xue, Zhaoyan Shen, and Zili Shao
(Chinese University of Hong Kong, China; Shandong University, China)

Publisher's Version Artifacts Functional

RollBin: Reducing Code-Size via Loop Rerolling at Binary Level
Tianao Ge, Zewei Mo, Kan Wu, Xianwei Zhang, and Yutong Lu
(Sun Yat-sen University, China)

Publisher's Version

Cache-Coherent CLAM (WIP)
Chen Ding, Benjamin Reber, and Dorin Patru
(University of Rochester, USA; Rochester Institute of Technology, USA)

Publisher's Version

Scalable Size Inliner for Mobile Applications (WIP)
Kyungwoo Lee, Manman Ren, and Shane Nay
(Meta, USA)

Publisher's Version

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

Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow Graphs
Klaus Schneider, Anoop Bhagyanath, and Julius Roob
(University of Kaiserslautern, Germany)

Publisher's Version Info Artifacts Functional Results Reproduced

A Memory Interference Analysis using a Formal Timing Analyzer (WIP)
Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, and Mathieu Jan
(University of Paris-Saclay, France; CEA LIST, France)

Publisher's Version

Automated Kernel Fusion for GPU Based on Code Motion
Junji Fukuhara and Munehiro Takimoto
(Tokyo University of Science, Japan)

Publisher's Version