A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra. Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad

Certified and Efficient Instruction Scheduling. Cyril Six, Sylvain Boulmé, and David Monniaux

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files. Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao

Guided Linking: Dynamic Linking without the Costs. Sean Bartell, Will Dietz, and Vikram S. Adve

Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example. Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu

Incremental Predicate Analysis for Regression Verification. Qianshan Yu, Fei He, and Bow-Yaw Wang

Learning Semantic Program Embeddings with Graph Interval Neural Network. Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang

Macros for Domain-Specific Languages. Michael Ballantyne, Alexis King, and Matthias Felleisen

Precise Inference of Expressive Units of Measurement Types. Tongtong Xiang, Jeff Y. Luo, and Werner Dietl

Resolution as Intersection Subtyping via Modus Ponens. Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias

Revisiting Iso-Recursive Subtyping. Yaoda Zhou, Bruno C. d. S. Oliveira, and Jinxu Zhao

SATUNE: Synthesizing Efficient SAT Encoders. Hamed Gorjiara, Harry Xu ,and Brian Demsky

Scaling Exact Inference for Discrete Probabilistic Programs. Steven Holtzen and Guy Van den Broeck, and Todd Millstein

Statically Verified Refinements for Multiparty Protocols. Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida

StreamQL: A Query Language for Processing Streaming Time Series. Lingkun Kong and Konstantinos Mamouras

Towards a Formal Foundation of Intermittent Computing. Milijana Surbatovich, Brandon Lucia, and Limin Jia

Unifying Execution of Imperative Generators and Declarative Specifications. Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric