Proposal list
Nikhil Benesch: schedul4
Oreoluwa Babarinsa, Zach Fogelson, Pulak Goyal, and Alex Liu: VeriServ
Hannah Blumberg, Yihe Huang, Dan King, Paola Mariselli: Real Semantics
Aaron Bembenek, Todd Lubin, and Lily Tsai: Propagation Effects in Event-Driven JavaScript
Anitha Gollamudi and Zehra Naz: Automatic Test Generation for String Manipulation Programs using Symbolic Execution
Jefferson Lee and Korey Tucker: machine learning for concurrency bugs