A Case Study in Language-Based Security: Building an I/O Library for Wyvern. Jennifer A. Fish, Darya Melicher, and Jonathan Aldrich

A Type-Directed Operational Semantics for a Calculus with a Merge Operator. Xuejing Huang and Bruno C. d. S. Oliveira

Analogy-Making as a Core Primitive in the Software Engineering Toolbox. Matthew Sotoudeh, and Aditya V. Thakur

CAMP: Cost-Aware Multiparty Session Protocols. David Castro-Perez and Nobuko Yoshida

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian. Michael Coblenz, Jonathan Aldrich, Brad Myers, and Joshua Sunshine

Demystifying Dependence. James Koppel and Daniel Jackson

Formulog: Datalog for SMT-Based Static Analysis. Aaron Bembenek, Michael Greenberg, and Stephen Chong

Geometry Types for Graphics Programming. Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson

Gradual Verification of Recursive Heap Data Structures. Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine

Multiparty Session Programming with Global Protocol Combinators. Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen

On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers. Dominik Winterer, Chengyu Zhang, and Zhendong Su

Owicki-Gries Reasoning for C11 RAR. Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim

Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality. Alexandros TasosI, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach

Row and Bounded Polymorphism via Disjoint Polymorphism. Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, and Tom Schrijvers

Static Race Detection and Mutex Safety and Liveness for Go Programs. Julia Gabet and Nobuko Yoshida