Static Automated Program Repair for Heap Properties Rijnard van Tonder & Claire Le Goues, Carnegie Mellon University Automated Localization for Unreproducible Builds Zhilei Ren, Dalian University of Technology; et al. Generalized Data Structure Synthesis Calvin Loncaric, University of Washington; et al....