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)

Article Search

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

Article Search

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)

Article Search

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)

Article Search

ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Yi Zheng , Joshua Fixelle, ‪Nagadastagiri Challapalle‬, Pingyi Huo , Vijaykrishnan Narayanan, Zili Shao, Mircea R. Stan, and Zhaoyan Shen 
(Pennsylvania State University, USA; University of Virginia, USA; Chinese University of Hong Kong, China; Shandong University, China)

Article Search

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)

Article Search

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

Article Search

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)

Article Search

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)

Article Search

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

Article Search

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

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)

Article Search

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

Article Search Info

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)

Article Search

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

Article Search