A GPGPU Compiler for Memory Optimization and Parallelism Management Yi Yang (North Carolina State University), Ping Xiang (University of Central Florida), Jingfei Kong (University of Central Florida), Huiyang Zhou (North Carolina State University) Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt (Microsoft Research), Chris Dern (Microsoft), Madanlal Musuvathi (Microso